pragmatism

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

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