K12 用性质测试寻找你没想到的边界

类型：测试方法 · 关联章节：M04/M09 · 阅读方式：先做下面的推演，再看参考讨论。

原文在说什么

原文讨论在模型辅助软件工程中使用性质测试的价值：关注一类输入上的不变量，而非只有少量手选例子。

对本课程的具体启发（课程推论）

本课程的幂等、金额、缓存和租户边界适合写性质。即使不引入测试框架，也可以用固定seed生成小规模输入来验证。

两分钟推演

为运费函数与幂等退款各写一条性质，并说明随机测试发现失败后如何最小化反例。

参考讨论

运费非递减，非负整数输入按千克向上取整；同意图同参数重复提交不增加账本条数。保留失败seed并收缩至最小输入，转成固定回归测试。

不能从这里推出什么

性质写错会稳定地验证错误需求；随机测试也不是对所有输入的形式化证明。

原始来源

• S12 · Finding bugs across the Python ecosystem with Claude and property-based testing（Anthropic；核查 2026-10-27）

本卡是原创中文概括与教学延伸，不是全文翻译，也不表示原作者认可本课程。不要把原文中的结果替换成本项目实测结果。