Las pruebas de sala limpia fueron iniciadas por IBM. este tipo de prueba depende en gran medida de los recorridos, la inspección y la verificación formal. A los programadores no parece que se les permita verificar nada de su código mediante el castigo corporal del código, aparte de hacer una pequeña prueba de sintaxis empleando un compilador. La filosofía de desarrollo del código informático se basa en evitar los defectos del código informático mediante el empleo de un método de examen riguroso. el objetivo de este código informático es el código informático de cero defectos.
El nombre ‘CUARTO LIMPIO’ se derivó de la analogía con las unidades de fabricación de semiconductores. En estas unidades (salas limpias), los defectos de la unidad de área se evitan al producir dentro de la atmósfera ultra limpia. durante este desarrollo razonable, las inspecciones para determinar la consistencia de las piezas con sus especificaciones han reemplazado a las pruebas unitarias.
Según se informa, esta técnica produce documentación y código que es más confiable y reparable que varios métodos de desarrollo que dependen en gran medida de las pruebas basadas en la ejecución del código.
El enfoque de sala limpia para el desarrollo de códigos informáticos se basa en 5 características:
- Especificación formal:
Se da formalmente el código de computadora a desarrollar. Se emplea un modelo de transición de estado que muestra las respuestas del sistema a los estímulos para precisar la especificación. - Desarrollo incremental:
el código de computadora se divide en incrementos que la unidad de área desarrolló y validó de forma individual usando el método de la sala blanca. Esta unidad de área de incrementos se proporciona, con la participación del cliente, en la etapa inicial del Asociado en Enfermería dentro del método. - Programación estructurada:
Solo se utiliza una gama restringida de unidades de área de construcciones de gestión y abstracción de información. El método de desarrollo de programas es el método de refinamiento paso a paso de la especificación. - Verificación estática:
el código de computadora desarrollado se verifica estáticamente en inspecciones rigurosas de código de computadora. no hay un método de prueba de unidad o módulo para las partes del código. - Pruebas estadísticas del sistema:
El incremento del código informático integrado se prueba estadísticamente para determinar su responsabilidad. Esta unidad de área de pruebas de matemáticas aplicadas apoyó el perfil operativo que se desarrolla en paralelo con la especificación del sistema.
Nota: El principal inconveniente de este enfoque es que el esfuerzo de prueba aumenta a medida que los recorridos, la inspección y la unidad de área de verificación son abrumadores.