AI / 编程与调试

用属性测试覆盖输入空间

手写用例永远列不全输入组合，把不变量写成属性让工具去生成

要测的函数处理 [输入类型]，手工用例只能覆盖十几种情况。请帮我提炼 3 条应该恒成立的属性，例如编码后能解码还原、排序后长度不变且相邻有序、金额拆分后各份之和等于原值；每条写出属性表达式、生成器该覆盖的取值范围，以及被证伪时最可能暴露的实现错误。