基于属性的测试

基于属性的测试验证代码是否满足各种自动生成的输入的一般属性或不变量，而不是测试特定的示例。这种方法可以发现基于示例的测试经常遗漏的边缘情况和错误。