quickcheckでテストプロパティが失敗した理由を表示するには？

Question

QuickCheckでテストしたときにプロパティテストが失敗した理由を表示するにはどうすればよいですか？

例えば考えてみましょう：

prop a b = res /= [] 
    where 
     (res, reason) = checkCode a b 

その後のセッションは次のようになります。

> quickCheck prop 
Falsifiable, after 48 tests: 
42 
23 

しかし、デバッグのために、quickCheck falsifableの一環として、失敗の理由を示すために、本当に便利です報告する。

私はこのようにそれをハッキングしています

prop a b = if res /= [] then traceShow reason False else True 
    where 
     (res, reason) = checkCode a b 

はそれを行うためのより良い/よりよい以上quickcheckish方法はありますか？

Answer 1

あなたの「理由」変数には、何が問題になったかに関するテスト固有のデータが含まれていると仮定します。代わりに、成功/失敗/無効条件と何が間違っているかを説明する文字列を含む "結果"を返すことができます。結果を返すプロパティは、Boolを返すプロパティとまったく同じ方法でQuickCheckで処理されます。このよう

（編集）：それはあなたが望むTest.QuickCheck.P​​ropertyで定義された "結果" タイプであることを

module QtTest where 

import Test.QuickCheck 
import Test.QuickCheck.Property as P 


-- Always return success 
prop_one :: Integer -> P.Result 
prop_one _ = MkResult (Just True) True "always succeeds" False [] [] 


-- Always return failure 
prop_two :: Integer -> P.Result 
prop_two n = MkResult (Just False) True ("always fails: n = " ++ show n) False [] [] 

注意。

な

prop_three :: Integer -> Property 
prop_three n = printTestCase ("always fails: n = " ++ show n) False 

としてあなたではなく、直接コンストラクタを呼び出すよりも、検索結果を構成する手助けTest.QuickCheck.P​​ropertyで定義されたいくつかのコンビネータ、私はそれらを使用するより良いスタイルだろうと思いもあります。

Answer 2

QuickCheckは関数への入力を提供するので、テスト対象のコードは純粋です（正しいですか？）ので、関数に入力して結果を得ることができます。これらの入力では、元の関数の調整が間に合わなくなるまで繰り返しテストすることができるので、これはより柔軟です。