Quelqu'un a-t-il vraiment vérifié 10 000 lignes avec zéro défaut ? IBM l'a fait, et la méthodologie est plus étrange que le résultat.
Cleanroom software engineering promettait des incréments zero-defect grâce à la mathematical verification au lieu du debugging. Nous examinons les données réelles du projet IBM pour voir si l'affirmation tenait debout.
La moyenne de l'industrie logicielle dans les années 1980 était de 30 à 60 défauts par millier de lignes de code. L'équipe Cleanroom d'IBM a livré un incrément…