¿Alguien realmente verificó 10.000 líneas con cero defectos? IBM lo hizo, y la metodología es más extraña que el resultado.
Cleanroom software engineering prometió incrementos zero-defect mediante mathematical verification en lugar de debugging. Analizamos los datos reales del proyecto de IBM para ver si la afirmación se sostuvo.
El promedio de la industria del software en la década de 1980 era de 30 a 60 defectos por mil líneas de código. El equipo Cleanroom de IBM entregó un…