属性测试实战：用不变式与自动生成让测试拥有无限边界
深入讲解属性测试（Property-Based Testing）方法论：与传统用例测试的本质区别、不变式与测试性质的设计、Hypothesis/QuickCheck/rapid 等工具实战、反例最小化（shrinking）、状态机属性测试、自定义数据生成策略，以及属性测试的适用边界与团队落地。
tag
QuickCheck
共 2 篇文章。
Clojure 生成式测试实战：test.check、收缩与 spec 集成
深入 Clojure 生成式（属性驱动）测试：test.check 生成器组合（gen/fmap、gen/bind、递归生成器）、随机测试与种子复现、收缩（shrinking）机制与自定义、与 clojure.spec 的 s/def + s/fdef + instrument 集成、在 CI 与 clojure.test 中的集成测试策略。