QuickCheck 勉強してみよう 最初の一歩の前段階 - いたわさににほんしゅ

プログラムを書く際には、ユニットテストも書くでしょう。まぁどっちを先に書くか、という話は置いといて。テストの自動化は品質面でもコスト面でもプラスになるため、できるだけ網羅的にやりたい。しかし網羅は無理なので適当なところで切り上げます。 そこで、前から名前だけは知ってて気になっていた QuickCheck を調べてみようという気になりました。なんと ja.Wikipedia に項目がない、en でもなんかさっぱり短い説明です。Further Reading と External Links が有用そう。まぁ読んでませんが。 QuickCheck - Wikipedia, the free encyclopedia ざっとまとめるとこんなかんじ。 テストケースを「生成」する。 テスト対象の関数が持つ「論理的性質」を確認する。 Haskell が本家。GHC と HUGS で動く。 その他、いろ