ヒビルテ(2008-10-14)

λ. SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values. Colin Runciman, Matthew Naylor and Fredrik Lindblad. in Haskell '08: Proceedings of the first ACM SIGPLAN symposium on Haskell を読んだ。 QuickCheck がランダムテストなのに対して、SmallCheck は指定した上限までの範囲の網羅的な検査を行う*1。 QuickCheckでは値が適切に分散するように値の生成機を書くのは簡単ではないが、Sm

[ruicc]

ランダムテストのQuickCheckと範囲内網羅テストのSmallCheck。Lazy SmallCheckはデータ構造の一部に⊥を含む値をテストの入力として与える。なるほど。

[sshi]

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small values/ これはおもしろそげ

[kgbu]

Smallcheckという手法についての論文の話らしい。網羅的なテストを、順序付けて行うことで、最小の反例が得られるというもの。もちろん、時間はかかる。失敗するのが分かっているときに、反例探しに使えるのかも。