著者

山本 和彦

雑誌

夏のプログラミング・シンポジウム2012「ビューティフルコード」報告集

巻号頁・発行日

pp.27-34, 2013-01-11

---

純粋関数型プログラミング言語 Haskell に対して、三つのテスト基盤を統合したテスト手法を提案する。ライブラリのユーザに見せるべき振る舞いの記述には、Python から移植した doctest を用いる。doctest では、利用例、設計、および自動テストが実現できる.ユーザに見せるべきでない振る舞いの記述には、Ruby の rspec をヒントに実装したhspec を使用する。hspecでは、設計および自動テストが実現できる。Haskellでは、純粋なコードと副作用のあるコードが型システムにより明確に分離される。純粋なコードは、性質をテストしやすいことが知られている。我々は、性質テストツールである QuickCheckをdoctestと hspecに統合した。