快速理论 Java 8的基于属性的测试。 如果您正在寻找Java的QuickCheck，您会发现它。 与许多其他系统不同，QuickTheories支持自动动态缩小和使用覆盖率数据的针对性搜索。 什么是基于属性的测试 传统的单元测试是通过指定一系列具体示例并声明被测单元的输出/行为来执行的。 基于属性的测试脱离了具体的示例，而是检查某些属性是否适用于所有可能的输入。 它通过从可能的值中自动生成有效输入的随机样本来实现此目的。 这是发现您和您的代码所做的错误假设的好方法。 如果“随机”一