属性测试实战：用不变式与自动生成让测试拥有无限边界

Sun, 27 Sep 2026 10:00:00 +0800

传统用例测试是在"回答几个已知的问题"，属性测试则是在"让机器自己生成成千上万个问题"。 你只描述一段代码"必须永远满足的性质"（invariant），工具随机生成数据去攻击它——一旦发现违反性质的输入，自动缩小到最小反例交给你。测试的边界从此不再由你的想象力决定。

Clojure 生成式测试实战：test.check、收缩与 spec 集成

Sat, 26 Sep 2026 12:00:00 +0800

传统单元测试验证「几个手写的示例」，而生成式测试（Property-Based Testing）验证的是程序的数学性质：输入由生成器随机产生，断言「对所有满足条件的输入，输出都满足某个性质」。Clojure 的 test.check 源自 Haskell QuickCheck 思想，配合 clojure.spec 可以自动从 spec 派生生成器，是发现边界缺陷、回归漏洞的最强工具之一。

QuickCheck on PlumePHP

属性测试实战：用不变式与自动生成让测试拥有无限边界

Clojure 生成式测试实战：test.check、收缩与 spec 集成