2026年8月16日 Metamorphic testing 发现了 147 个编译器 bug 和一个自动驾驶汽车缺陷。它是这样工作的。 Metamorphic testing 在 GCC、LLVM、Vulkan shader 编译器和 ADAS 模拟器中发现了真实 bug。本文用可运行的代码解释这项技术，并说明它在你 test suite 中的定位。 metamorphic-testingcase-studyproduction-bugstesting
2026年7月25日 真的有人验证了 1 万行代码零缺陷吗？IBM 做到了，而且方法比结果更离奇。 Cleanroom software engineering 承诺通过 mathematical verification 而非 debugging 实现零缺陷增量。我们查看 IBM 的实际项目数据，看看这一说法是否成立。 cleanroom-correctnesszero-defectsverificationcase-study
