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，并禁止…