5、测试属性与自定义生成器：提升代码质量的有效方法

测试属性与自定义生成器：提升代码质量的有效方法

一、属性测试基础

1.1 排序属性测试

排序属性测试能够确保排序函数的正确性。例如，通过运行 rebar3 proper 可以对多个排序相关的属性进行测试，如 prop_sort 、 prop_same_size 、 prop_no_added 和 prop_no_removed 。这些属性虽然单个看起来简单，但组合起来能对几乎任何排序函数进行可靠测试。

$ rebar3 proper
«build output»
===> Testing prop_sort:prop_sort()
........................................................................
............................
OK: Passed 100 test(s).
===> Testing prop_sort:prop_same_size()
........................................................................
............................
OK: Passed 100 test(s).
===> Testing prop_sort:prop_no_added()
...................................