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…