2026年7月27日 Cleanroom 達到每千行 0.1 個缺陷。你不需要全盤照搬也能達到這個目標。 Cleanroom software engineering 將 defect rate 降低 100 倍,但全面採用需要獨立的 test team 和 formal proof。這裡介紹一種 pragmatic subset,無需 overhead 即可捕獲大部分收益。 cleanroom-correctnessprocessefficiencypragmatism
2026年7月26日 IBM 的 Zero-Defect Process 實現了每 KLOC 0.1 個 Bug。業界還是拋棄了它。 IBM 的 Cleanroom engineering 達到了比業界平均水準好 100 倍的 defect rate,然後消失在歷史中。它的消失與是否有效毫無關係。 cleanroom-correctnesszero-defectssoftware-historyprocess
2026年7月12日 Fagan Inspections 在測試前發現90%的缺陷。然後我們不再使用它。 Michael Fagan 在 IBM 設計的結構化審查流程,能在程式碼進入編譯器之前捕獲幾乎全部缺陷。但它也消耗了專案總工時的15%–20%。本文解釋軟體史上最有效的審查方法為何消失,以及團隊究竟失去了什麼。 fagan-inspectionscode-reviewsoftware-historyprocess