Kategorier: Alle - estrategias - verificación - especificación - certificación

av Javier Alejandro Ramírez Garcia 10 år siden

158

Sala limpia

El enfoque de sala limpia requiere una aplicación rigurosa y se centra en la verificación de calidad en lugar de pruebas unitarias tradicionales. Utiliza la comprobación estadística y el control de calidad para identificar errores y verificar la especificación del diseño mediante métodos matemáticos.

Sala limpia

Sala limpia

Modelo de certificación
Modelo de componentes
Modelo de muestreo

Especificación funcional

Caja limpia
Caja de estado
Caja negra

Estrategias

Certificación
Planificación de la comprobación estadistica
Generación de condigo, inspección y verificación
Verificación de correción
Diseño formal
Especificación de estructuras de cajas
Recolección de requerimientos
Planificación de incrementos

Verificación de diseño

Produce un código mejor para la comprobación unitaria.
Es escalable.
Da lugar a un nivel de defectos próximos a cero.
Permite que los equipos de sala limpia verifiquen todas las líneas de diseño y código.
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.
Se reduce la verificación de un proceso finito

Prueba

Prueba de sala limpia

Factor diferenciador

Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia.
Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas.
Hace uso explicito del control estadístico de la calidad

Filosofia

Aún no hay indicios verídicos sobre la funcionalidad de sala limpia
Requiere una aplicación rigurosa
No promulga pruebas unitarias sino que la sustituye por una verificación de calidad