Sala limpia

Lisää tämän kaltaisia

Elementos de mi materia en Blackboard en plataforma

luonut NANCY EMERIT JIMENEZ LOPEZ

Norma iso 22000

luonut ALEJANDRO ESTEBAN MORALES TAMAYO

Relación entre la Fe y la Razón

luonut Rebeca López Pérez

Unidad 1

luonut Fundación Didáctica XXI

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