zero-defects

3 posts

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…

真的有人验证了 1 万行代码零缺陷吗?IBM 做到了,而且方法比结果更离奇。

Cleanroom software engineering 承诺通过 mathematical verification 而非 debugging 实现零缺陷增量。我们查看 IBM 的实际项目数据,看看这一说法是否成立。

1980 年代软件行业的平均水平是每千行代码 30 到 60 个缺陷。IBM 的 Cleanroom 团队交付了一个 2 万行的编译器增量,在测试中发现了 53 个缺陷。也就是每 KLOC 2.6 个。一些 1 万行的独立增量在进入系统测试时,没有发现任何缺陷。 最离奇的部分?程序员被禁止运行自己的代码。…

IBM 禁止开发者运行自己的代码,从而交付了每千行代码 0.1 个缺陷的软件

IBM 的 Cleanroom 工程流程通过预防而非发现缺陷,实现了比行业平均水平好 100 倍的缺陷率。以下是它的工作原理、为何几乎无人使用,以及你今天可以借鉴什么。

IBM 交付了一套 NASA 卫星控制系统,每千行代码仅有 0.1 个缺陷。当时的行业平均水平在 10 到 50 之间。他们并非依靠招聘更聪明的工程师或延长工作时间来达成这一目标。他们靠的是禁止开发者运行自己的代码。 这就是 Cleanroom 软件工程,由 IBM 的 Harlan Mills 于 1970…