CleanRoom
La tecnología de dotación lógica de CleanRoom es un acercamiento al desarrollo del Software lógico, que mejora calidad y reduce costos. El acercamiento toma su nombre de los cuartos limpios usados en la fabricación de la precisión, donde las técnicas estadísticas del control de calidad acentúan la prevención del defecto concluido el retiro del defecto.
• La ingeniería del Software de CleanRoom es un
enfoque formal para el desarrollo del Software, que pueda dar lugar a un Software que posea una calidad notablemente alta.
• Emplea la especificación de estructura de cajas (o
métodos formales) para el modelado de análisis y diseño, y hace hincapié en la verificación de la corrección, más que en la comprobación, como mecanismo fundamental para hallar y eliminar errores.
Tareas de la CleanRoom
- PLANIFICACIÓN DE INCREMENTOS - RECOLECCIÓN DE REQUISITOS - ESPECIFICACIÓN DE LA ESTRUCTURA DE CAJAS - DISEÑO FORMAL - VERIFICACIÓN DE CORRECCIÓN - GENERACIÓN DE CÓDIGO, INSPECCIÓN Y
VERIFICACIÓN.
- PLANIFICACIÓN DE LA COMPROBACIÓN
ESTADÍSTICA,
- COMPROBACIÓN ESTADÍSTICA DE UTILIZACIÓN Y