4

テストが失敗したときに (単なるシードではなく) より良いメッセージを表示するようにQuickCheckを拡張したいと考えています。たとえば、次のようなものを作成できるようになりたいと考えています。

eqTest :: Eq a => a -> a -> TestResult
eqTest x y = if x == y
             then HappyResult
             else SadResult $ show x <> " /= " <> show y

または ( でMonoid「停止」しSadResult、 で「続行」するインスタンスで、演算子の forHappyResultに似ています)(&&)TestResult

listEqTest :: Eq a => [a] -> [a] -> TestResult
listEqTest [] [] = HappyResult
listEqTest [] ys = SadResult $ "Ran out of xs to compare to " <> show ys
listEqTest xs [] = SadResult $ "Ran out of ys to compare to " <> show xs
listEqTest (x:xs) (y:ys) = eqTest x y <> listEqTest xs ys

QuickCheck 機能を拡張するにはどうすればよいですか? あるいは、より拡張可能なランダム化されたテスト ライブラリはありますか?

ありがとう！

4

1 に答える 1

5

QuickCheck のドキュメントを読むと、探しているタイプは次のResultとおりです。

data Result
  = MkResult
  { ok          :: Maybe Bool     -- ^ result of the test case; Nothing = discard
  , expect      :: Bool           -- ^ indicates what the expected result of the property is
  , reason      :: String         -- ^ a message indicating what went wrong
  , interrupted :: Bool           -- ^ indicates if the test case was cancelled by pressing ^C
  , abort       :: Bool           -- ^ if True, the test should not be repeated
  , stamp       :: [(String,Int)] -- ^ the collected values for this test case
  , callbacks   :: [Callback]     -- ^ the callbacks for this test case
  }

のおかげで、instance Testable Resultこれを QuickCheck テストの戻り値の型として使用できます。

Prelude Test.QuickCheck Test.QuickCheck.Property> let test xs = if 13 `elem` xs then MkResult (Just False) True "Input contained bad number" False False [] [] else succeeded
Prelude Test.QuickCheck Test.QuickCheck.Property> quickCheck test
*** Failed! Input contained bad number (after 17 tests and 3 shrinks):    
[13]
于 2013-06-30T21:11:22.970 に答える