Shrinking on PlumePHPhttps://plumephp.com/tags/shrinking/Recent content in Shrinking on PlumePHPHugozh-CNSat, 26 Sep 2026 12:00:00 +0800Clojure 生成式测试实战：test.check、收缩与 spec 集成https://plumephp.com/clojure-property-testing/Sat, 26 Sep 2026 12:00:00 +0800https://plumephp.com/clojure-property-testing/<p>传统单元测试验证「几个手写的示例」，而<strong>生成式测试</strong>（Property-Based Testing）验证的是<strong>程序的数学性质</strong>：输入由生成器随机产生，断言「对所有满足条件的输入，输出都满足某个性质」。Clojure 的 <strong>test.check</strong> 源自 Haskell QuickCheck 思想，配合 <strong>clojure.spec</strong> 可以自动从 spec 派生生成器，是发现边界缺陷、回归漏洞的最强工具之一。</p>