不变量

结论先行：示例测试（example-based）验证的是"我想到过的输入"，属性测试（property-based）验证的是"对所有输入都该成立的规则"。前者靠枚举，后者靠不变量。这两者补的不是同一块盲区——我上一篇讲变异测试补"断言有没有

«结论先行："造一行数据"和"造一张边界地图"是两件事。前者解决"能跑通"，后者解决"能拦住"。我 8 年测开，经手过 5 起"测试全绿、线上 P2"的复盘，根因没有一起是逻辑写错，全是造数没覆盖到边界。这篇给一份可直接抄进用例评审的"造数