Sala limpia

No promulga pruebas unitarias sino que la sustituye por una verificación de calidad

Requiere una aplicación rigurosa

Aún no hay indicios verídicos sobre la funcionalidad de sala limpia

Hace uso explicito del control estadístico de la calidad

Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas.

Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia.

Prueba de sala limpia

Se reduce la verificación de un proceso finito

Es posible asociar una importancia excesiva al efecto positivo que posee sobre la calidad de reducción de la verificación a un proceso finito.

Permite que los equipos de sala limpia verifiquen todas las líneas de diseño y código.

Da lugar a un nivel de defectos próximos a cero.

Es escalable.

Produce un código mejor para la comprobación unitaria.

Planificación de incrementos

Recolección de requerimientos

Especificación de estructuras de cajas

Diseño formal

Verificación de correción

Generación de condigo, inspección y verificación

Planificación de la comprobación estadistica

Certificación

Caja negra

Caja de estado

Caja limpia

Modelo de muestreo

Modelo de componentes

Modelo de certificación