WEKO3
-
RootNode
アイテム
Beautiful Programming Language and Beautiful Testing
https://ipsj.ixsq.nii.ac.jp/records/95399
https://ipsj.ixsq.nii.ac.jp/records/95399fdd5accd-1c1d-4b7c-a610-da45ad33d5b5
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SPRO2012004.pdf (3.8 MB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-01-11 | |||||||
| タイトル | ||||||||
| タイトル | Beautiful Programming Language and Beautiful Testing | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Beautiful Programming Language and Beautiful Testing | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | セッション1 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 株式会社IIJイノベーションインスティテュート | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| IIJ Innovation Institute Inc. | ||||||||
| 著者名 |
山本, 和彦
× 山本, 和彦
|
|||||||
| 著者名(英) |
Kazuhiko, Yamamoto
× Kazuhiko, Yamamoto
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 純粋関数型プログラミング言語 Haskell に対して、三つのテスト基盤を統合したテスト手法を提案する。ライブラリのユーザに見せるべき振る舞いの記述には、Python から移植した doctest を用いる。doctest では、利用例、設計、および自動テストが実現できる．ユーザに見せるべきでない振る舞いの記述には、Ruby の rspec をヒントに実装したhspec を使用する。hspecでは、設計および自動テストが実現できる。Haskellでは、純粋なコードと副作用のあるコードが型システムにより明確に分離される。純粋なコードは、性質をテストしやすいことが知られている。我々は、性質テストツールである QuickCheckをdoctestと hspecに統合した。 | |||||||
| 書誌情報 |
夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集 p. 27-34, 発行日 2013-01-11 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
