2026年8月16日 Metamorphic testing 發現了 147 個編譯器 bug 與一個自駕車缺陷。以下是它的運作原理。 Metamorphic testing 在 GCC、LLVM、Vulkan shader compiler 與 ADAS 模擬器中發現了真實的 bug。這篇文章用可執行的程式碼解釋這項技術，並說明它適合放在測試套件的哪個位置。 metamorphic-testingcase-studyproduction-bugstesting
2026年7月25日 真的有人驗證了 1 萬行程式碼零缺陷嗎？IBM 做到了，而且方法比結果更離奇。 Cleanroom software engineering 承諾透過 mathematical verification 而非 debugging 實現零缺陷增量。我們查看 IBM 的實際專案資料，看看這一說法是否成立。 cleanroom-correctnesszero-defectsverificationcase-study
