快速检查 QuickCheck是一种使用随机生成的输入进行基于属性的测试的方法。 此板条箱具有随机生成和收缩整数，浮点数，元组，布尔值，列表，字符串，选项和结果的功能。 QuickCheck的所有需求都是一个属性函数-然后它将随机生成该函数的输入，并为每组输入调用该属性。 如果属性失败（无论是由于运行时错误（如索引越界还是不满足您的属性）），输入都会“缩小”以查找较小的反例。 列表和数字的缩小策略使用二进制搜索来快速覆盖输入空间。 （它应该与使用的策略相同）。 MIT或双重许可。 文献资料