什么是 Haskell 的 QuickCheck 中的 shrink？
我正在学习QuickCheck >= 2.6的技能，但我不明白shrink是什么意思。从类型签名上看，shrink更像是扩大！请为我解惑 :) (Note: I have retained the HTML tags as instructed.)
QuickCheck 2有哪些新特性？
QuickCheck 1和QuickCheck 2有哪些主要区别？从Haddock文档中可以看到，QuickCheck 2在更多的模块中进行了拆分，coarbitrary被新的Fun类型和FunArbitrary类所取代（这似乎更易于理解），现在还支持测试monadic代码。还有什么需要我注意的吗？
如何为quickcheck生成简单类型的任意实例
我有一个简单的类型定义：data Cell = Cell { x :: Int, y :: Int } deriving (Show) 我无法将Cell用作quickcheck属性的输入，可能是因为quickcheck不知道如何生成Cell值。 我的...
你在真实项目中使用过Quickcheck吗？
Quickcheck 及其变种（甚至包括Java 版本）看起来很有趣。但是，除了学术研究之外，它在实际应用测试中真的有用吗？例如 GUI 应用程序、客户端/服务器或甚至像 StackOverflow 这样的网站？如果您有使用类似测试生成器的经验，请分享。
不变量测试能否替代单元测试？
作为一名程序员，我完全认同“测试驱动开发”的理念，并会为我写的任何非平凡代码编写广泛的单元测试。有时候这条路可能是痛苦的（行为变化导致级联多个单元测试的更改；需要大量的支架），但总的来说，我拒绝在没有可运行测试的情况下进行编程，结果我的代码出现漏洞的概率也少得多。 最近，我一直在尝试Hask...
如何在QuickCheck中得到好的（小的）收缩？
我正在尝试在一些嵌套的列表上运行QuickCheck，类似于这样：type Constraint = Text data Value = Value [Constraint] data Literal = Literal Value [Value] type Formula = [Litera...
QuickCheck：生成平衡样本的嵌套数据结构的任意实例
简而言之：如何编写 Arbitrary 的实例，在允许的嵌套层数过高时不会导致程序崩溃？并且如何确保这些实例产生真正随机的数据结构样本？我想生成随机的树形结构，然后在使用库代码处理这些结构之后测试这些结构的某些属性。（注：我正在编写一个子类型算法的实现，即给定一组类型的层次结构，判断类型 A ...
有没有Java替代Ploeh的AutoFixture用于.Net？
我正在寻找一个Java工具，可以在我的测试中创建匿名变量（我不关心其值的变量），类似于.Net中的AutoFixture。这里有一个链接到AutoFixture的自述文件，其中有很好的示例。 以下是从同一自述文件中摘取的简短示例： [TestMethod] public void Intr...
如何让Haskell QuickCheck 2.4增加测试数量？
好的，通过我的之前的问题，我了解到RWH书对QuickCheck已经过时了。尽管我读了所有告诉我如何使用QuickCheck的帖子，但我找不到任何地方告诉我如何更改要运行的属性测试数。RWH说：handyCheck limit = check defaultConfig { ...