Hat tatsächlich jemand 10.000 Zeilen mit null Defekten verifiziert? IBM hat es getan, und die Methodik ist seltsamer als das Ergebnis.
Cleanroom software engineering versprach inkrementelle Zero-Defect-Releases durch mathematical verification statt Debugging. Wir betrachten die tatsächlichen IBM-Projektdaten, um zu sehen, ob die Behauptung standhielt.
Der Branchendurchschnitt der Softwareindustrie in den 1980er Jahren lag bei 30 bis 60 Defekten pro tausend Codezeilen. Das IBM Cleanroom-Team lieferte einen…