Question

当一个值未通过QuickCheck测试时，我想用它进行调试。有什么方法可以做我喜欢的事情：

let failValue = quickCheck' myTest
in someStuff failValue

如果我的数据能够read，那么我可能会以某种方式从IO获取它，但事实并非如此。

Answer 1

我在QuickCheck API中找不到任何方法以很好的方式执行此操作，但这是我使用monadic QuickCheck API一起攻击的东西。它在IORef中拦截并记录您的财产的输入，并假设如果失败，最后一个是罪魁祸首并将其返回Just。如果测试通过，则结果为Nothing。这可能会有所改进，但对于简单的单参数属性，它应该可以完成这项工作。

import Control.Monad
import Data.IORef
import Test.QuickCheck
import Test.QuickCheck.Monadic

prop_failIfZero :: Int -> Bool
prop_failIfZero n = n /= 0

quickCheck' :: (Arbitrary a, Show a) => (a -> Bool) -> IO (Maybe a)
quickCheck' prop = do input <- newIORef Nothing
                      result <- quickCheckWithResult args (logInput input prop)
                      case result of
                         Failure {} -> readIORef input
                         _ -> return Nothing
  where
    logInput input prop x = monadicIO $ do run $ writeIORef input (Just x)
                                           assert (prop x)
    args = stdArgs { chatty = False }

main = do failed <- quickCheck' prop_failIfZero
          case failed of
              Just x -> putStrLn $ "The input that failed was: " ++ show x
              Nothing -> putStrLn "The test passed"

Answer 2

一种方法是使用sample'方法，手动运行测试并找到失败的值。例如，测试错误的双重功能：

import Test.QuickCheck

double :: Int -> Int
double x | x < 10 = 2 * x
         | otherwise = 13

doubleTest :: Int -> Bool
doubleTest x = x + x == double x

tester :: IO ()
tester = do
  values <- sample' arbitrary
  let failedValues = filter (not . doubleTest) values
  print failedValues

唯一的问题是sample'只生成11个测试值，这可能不足以触发错误。

找到快速检查失败的值

2 个答案: