Alguém realmente verificou 10.000 linhas com zero defeitos? A IBM fez isso, e a metodologia é mais estranha que o resultado.
Cleanroom software engineering prometeu incrementos zero-defect através de mathematical verification em vez de debugging. Analisamos os dados reais do projeto da IBM para ver se a afirmação se sustentou.
A média da indústria de software na década de 1980 era de 30 a 60 defeitos por mil linhas de código. A equipe Cleanroom da IBM entregou um incremento de…