QuickCheck 1 和 QuickCheck 2 之间的主要区别是什么？通过查看 Haddock 文档，我可以看到它分为更多模块，coarbitrary已被新的取代Fun类型和FunArbitrary类（这对我来说似乎更容易理解），并且现在支持测试单子代码。我还应该注意什么？
我看到了 QuickCheck 2 的一项重大进步，我认为它与单子代码测试一样重要，甚至更重要：
class Arbitrary a where
arbitrary :: Gen a
shrink :: a -> [a]
这是really惊人的。收缩方法是可选的，但是如果您可以提供一个“可能为空”的类型缩减列表，那么当 QuickCheck 发现错误检查时，它会尝试通过收缩来将错误数据减少到最少，然后重新进行重新排序。 -测试一下。只要失败它就会缩小。
一个让你信服的小例子，不缩水：
FormulaPrim deparsing : *** Failed! Falsifiable (after 4 tests):
Poly (Polynome "p" [(CoeffRatio (26 % 25),PolyRest (CoeffRatio (129 % 40))),(CoeffInt 96,PolyRest (CoeffInt 11)),(CoeffInt 29,PolyRest (CoeffRatio (147 % 121))),(CoeffRatio (62 % 9),PolyRest (CoeffRatio (90 % 43))),(CoeffInt 56,PolyRest (CoeffInt 27))])
With :
FormulaPrim deparsing : *** Failed! Falsifiable (after 2 tests and 3 shrinks):
Poly (Polynome "t" [(CoeffInt 14,PolyRest (CoeffInt 126))])
较短的失败示例意味着更快的调试:-)
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
