読者です 読者をやめる 読者になる 読者になる

taketoncheir.log

Like the Decatoncheir by Poseidon Industrial, This blog is Yet Another Storage for My Long Term Memories.

QuickCheck

QuickCheckのコード読んでみた

QuickCheckでtestデータがgenerateされる仕組み 実際に定義したデータ型に対してデータを生成する方法はこちら ここではQuickCheckのソースコードについて記します。 実際に読み取った順に書いているので分かりにくいです、すいませんm(__)m 登場人物 class …

QuickCheckでデータ型に対するテストを書く

QuickCheckで自分で定義したデータ型のテストを書く QuickCheckです。 QuickCheckはIntやStringについてデータを生成はしてくれますが、自分で定義したデータ型についてはそのままでは生成してくれません。 データ型に対してArbitraryのinstanceを定義すれば…

QuickCheckテストの信頼度チェック

この記事はHaskell Advent Calendar 2012用の記事です。今年はテストに関わる記事が多いように思います。 継続的な開発を行う上でテストは必要なので、テスト手法をキャッチアップしたいと思っていたところでした。まるで渡りに船、いや、ほむらにまどかです…