efficiency

Cleanroom 实现每千行 0.1 个缺陷。你不需要全盘照搬也能达到这个目标。

Cleanroom software engineering 将 defect rate 降低 100 倍，但全面采用需要独立的 test team 和 formal proof。这里介绍一种 pragmatic subset，无需 overhead 即可捕获大部分收益。