基于属性的测试与代码安全实践
1. 基于属性的测试简介
在编写函数时，我们通常会编写单元测试，基于对测试对象的了解，考虑可能出现问题的典型情况。然而，如果编写原始代码和测试的是同一人，可能会在代码和测试中都表达出错误的假设。为了解决这个问题，我们可以采用基于属性的测试方法，让计算机在不带有我们先入为主观念的情况下进行测试。
1.1 契约、不变量和属性
代码有其需要满足的契约，即输入满足条件时，代码会对输出做出一定的保证。同时，还有代码不变量，即数据经过函数处理后某些状态保持不变。例如，对列表进行排序后，列表的元素数量不变，这就是一个不变量。我们将契约和不变量统称为属性，利用这些属性可以实现测试自动化，这就是基于属性的测试。
1.2 使用基于属性的测试验证假设
以排序列表为例，我们可以建立一些测试。已知排序后的列表与原列表大小相同，且结果中没有元素大于其后的元素。以下是使用 Python 的 Hypothesis 工具和 pytest 进行测试的代码：
from hypothesis import given import hypothesis.strategies as some @given(some.lists(some.integers())) def test_list_size_is_invariant_across_sorting(a_list): original_length = len(a_list) a_list.sort() assert len(a_list) == original_length @
