32、软件测试：基于属性测试与变异测试的深度解析

软件测试：基于属性测试与变异测试的深度解析

1. 基于属性的测试与 Hypothesis

在软件开发中，测试是确保代码质量的关键环节。基于属性的测试是一种强大的测试方法，它可以补充传统测试的不足。当引入不同的错误时，Hypothesis 能够展示捕获该错误的不同测试用例。例如：

state = RecommendationChecker()
state.filter_by_price(price_limit=6)
state.filter_by_price(price_limit=6)
state.filter_by_price(price_limit=6)
state.filter_by_price(price_limit=6)
state.filter_by_distance(distance_limit=0)
state.filter_by_price(price_limit=16)
state.teardown()

这种测试方式对于测试复杂算法或具有特定不变量的对象非常方便。Hypothesis 会混合和匹配不同的步骤，不断搜索可能产生错误的步骤顺序。

基于属性的测试并不旨在取代传统测试，而是对其进行补充。当代码具有明确的输入和输出时，使用硬编码的前置条件和预期断言进行测试就足够了。但随着代码变得更加复杂，测试也会变得更加复杂，此时基于属性的测试就可以发挥作用。使用 Hypothesis 进行基于属性的测试很简单，通过 hypothesis.strategies 可以精确控制测试数据的生成，甚至可以使用 hypothesis.st