process

3 posts

cleanroom-correctnessprocessefficiencypragmatism

Cleanroom 達到每千行 0.1 個缺陷。你不需要全盤照搬也能達到這個目標。

Cleanroom software engineering 將 defect rate 降低 100 倍，但全面採用需要獨立的 test team 和 formal proof。這裡介紹一種 pragmatic subset，無需 overhead 即可捕獲大部分收益。

Cleanroom software engineering 每千行程式碼僅產生 0.1 個缺陷。業界平均水準是 10 到 50。問題是，完整的 Cleanroom 要求你將團隊拆分為 author 和 verifier，在每個 module 之前編寫 formal specification，並禁止…
cleanroom-correctnesszero-defectssoftware-historyprocess

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…
fagan-inspectionscode-reviewsoftware-historyprocess

Fagan Inspections 在測試前發現90%的缺陷。然後我們不再使用它。

Michael Fagan 在 IBM 設計的結構化審查流程，能在程式碼進入編譯器之前捕獲幾乎全部缺陷。但它也消耗了專案總工時的15%–20%。本文解釋軟體史上最有效的審查方法為何消失，以及團隊究竟失去了什麼。

1976年，Michael Fagan 在 IBM Systems Journal 上發表了一篇論文，描述了一種審查流程，其有效性使之成為軟體品質的金標準。Fagan Inspections 在尚未執行任何測試之前，就能捕獲全部缺陷的60%到90%。NASA…