zero-defects

3 posts

IBM 的 Zero-Defect Process 實現了每 KLOC 0.1 個 Bug。業界還是拋棄了它。

IBM 的 Cleanroom engineering 達到了比業界平均水準好 100 倍的 defect rate,然後消失在歷史中。它的消失與是否有效毫無關係。

IBM 的 Cleanroom software engineering process 實現了每千行程式碼 0.1 個 defect。當時的業界平均水準在 10 到 50 之間。該 process 被文件化,在多個專案和語言之間 replicate,並經過獨立驗證。然後它消失了。 不是因為更好的 method…

真的有人驗證了 1 萬行程式碼零缺陷嗎?IBM 做到了,而且方法比結果更離奇。

Cleanroom software engineering 承諾透過 mathematical verification 而非 debugging 實現零缺陷增量。我們查看 IBM 的實際專案資料,看看這一說法是否成立。

1980 年代軟體業的平均水平是每千行程式碼 30 到 60 個缺陷。IBM 的 Cleanroom 團隊交付了一個 2 萬行的編譯器增量,在測試中發現了 53 個缺陷。也就是每 KLOC 2.6 個。一些 1 萬行的獨立增量在進入系統測試時,沒有發現任何缺陷。 最離奇的部分?程式設計師被禁止執行自己的程式碼。…

IBM 禁止開發者執行自己的程式碼,從而交付了每千行程式碼 0.1 個缺陷的軟體

IBM 的 Cleanroom 工程流程透過預防而非發現缺陷,達成了比業界平均好 100 倍的缺陷率。以下是它的運作方式、為何幾乎無人使用,以及你今天可以借鏡什麼。

IBM 交付了一套 NASA 衛星控制系統,每千行程式碼僅有 0.1 個缺陷。當時的業界平均水準在 10 到 50 之間。他們並非依靠招聘更聰明的工程師或延長工作時間來達成這項目標。他們靠的是禁止開發者執行自己的程式碼。 這就是 Cleanroom 軟體工程,由 IBM 的 Harlan Mills 於 1970…