2026年5月24日 100 次测试运行是个谎言：如何真正确定你的 Property-Based Tests 规模 Property-based testing 中默认的 100 个 example 是一种社会妥协，而非统计策略。以下是如何选择与你的信心需求和 CI 预算相匹配的运行次数。 deep-divesproperty-based-testingtest-coverageshrinking
2026年5月23日 Rust 中的 property-based tests 能找到单元测试漏掉的 bug 基于示例的测试只覆盖你想得到的输入。property-based testing 生成随机数据，检查 invariants，并将失败 shrink 到最小反例。 deep-divesrustproperty-based-testingquickcheckproptest
2026年5月16日 AI 安全栈: types、contracts、property tests 与 mutation gates 如果你想让 AI-generated code 能在生产环境里站得住，光靠 code review 不够。你需要一套从 type constraints 到 mutation testing 与 runtime containment 的分层安全栈。 ai-engineeringsafety-stacktypesdesign-by-contractproperty-based-testingmutation-testing
2026年5月15日 为什么很多优秀的工程策略直到 AI 出现才真正变得划算 Design by contract、property-based testing、mutation testing、model checking 从来不是坏思路。真正的问题是它们长期需要太多专业判断才能维持，而 AI 正在改变这笔账。 ai-engineeringsoftware-reliabilitydesign-by-contractproperty-based-testingmutation-testing
