La prueba de cuarto limpio es un enfoque formal para el desarrollo de software que busca producir software de alta calidad. Consiste en tres procesos principales: especificación, desarrollo e inspección, y certificación. El objetivo es definir requisitos, diseñar e implementar incrementos de software de forma incremental y verificarlos mediante pruebas estadísticas para prevenir defectos y garantizar la calidad.
2. PRUEBA DE CUARTO LIMPIO
DEFINICIÓN
LA PRUEBA DE CUARTO LIMPIO EN LA INGENIERÍA DEL SOFTWARE ES UN ENFOQUE FORMAL PARA
EL DESARROLLO DEL SOFTWARE, QUE PARA DAR LUGAR A UN SOFTWARE QUE POSEA UNA
CALIDAD NOTABLEMENTE ALTA
3. FLUJO DE PROCESOS DE CUARTO LIMPIO
LOS TRES PROCESOS DE GESTIÓN AFECTAN A TODAS LAS OPERACIONES DE CUARTO LIMPIO Y SE
MUESTRAN EN LA PARTE SUPERIOR
4. PROCESO DE GESTION DE PRUEBA DE CUARTO LIMPIO
PROCESO DE ADMINISTRACIÓN DE PROYECTOS
EL PRINCIPAL OBJETIVO DE ESTE PROCESO ES ASEGURAR QUE LOS PROCESOS DE INGENIERÍA
DE SOFTWARE ESTÉN ADAPTADOS PARA EL PROYECTO Y ESTÉN BIEN DOCUMENTADOS
5. • PROCESO DE MEJORA DEL RENDIMIENTO
EL OBJETIVO PRINCIPAL DEL PROCESO DE GESTIÓN DE PROYECTOS ES ADMINISTRAR EL
PROYECTO QUE SE IMPLEMENTA UTILIZANDO SALAS BLANCAS PARA ENTREGAR EL SOFTWARE
DENTRO DEL CALENDARIO Y DENTRO DEL PRESUPUESTO
6. PROCESO DE ESPECIFICACIÓN DE CUARTO LIMPIO
• PROCESO DE ANÁLISIS DE REQUERIMIENTOS
EL OBJETIVO PRINCIPAL DEL PROCESO DE ANÁLISIS DE REQUISITOS ES DEFINIR LOS REQUISITOS
PARA EL PRODUCTO DE SOFTWARE QUE INCLUYEN LA FUNCIÓN, EL USO, EL ENTORNO Y EL
RENDIMIENTO, ASÍ COMO PARA OBTENER UN ACUERDO CON EL CLIENTE SOBRE LOS REQUISITOS
COMO BASE PARA LA FUNCIÓN Y LA ESPECIFICACIÓN DE USO
7. • PROCESO DE ESPECIFICACIÓN DE FUNCIONES
PARAASEGURARSE DE QUE EL COMPORTAMIENTO DEL REQUISITO DEL SOFTWARE EN TODAS LAS
CIRCUNSTANCIAS POSIBLES DEL USO SE DEFINE Y DOCUMENTA
• PROCESO DE ESPECIFICACIÓN DE USO
EL PRINCIPAL OBJETIVO DEL PROCESO DE ESPECIFICACIÓN DE USO ES IDENTIFICAR Y
CLASIFICAR USUARIOS DE SOFTWARE, ESCENARIOS DE USO Y ENTORNOS DE USO,
ESTABLECER Y ANALIZAR LA ESTRUCTURA DE NIVEL MÁS ALTO Y DISTRIBUCIÓN DE
PROBABILIDAD PARA MODELOS DE USO DE SOFTWARE Y OBTENER ACUERDO CON EL
CLIENTE EN LOS COMO BASE PARA LA CERTIFICACIÓN DE SOFTWARE
8. • PROCESO DE ESPECIFICACIÓN DE ARQUITECTURA
EL OBJETIVO PRINCIPAL DE LA ESPECIFICACIÓN DE LAARQUITECTURA ES DEFINIR LAS 3 DIMENSIONES
CLAVE DE LAARQUITECTURA: ARQUITECTURA CONCEPTUAL, ARQUITECTURA DE MÓDULO Y
ARQUITECTURA DE EJECUCIÓN
• PROCESO DE PLANEAMIENTO INCREMENTAL
EL OBJETIVO PRINCIPAL DEL PROCESO DE PLANIFICACIÓN INCREMENTAL ES ASIGNAR LOS REQUISITOS
DE LOS CLIENTES DEFINIDOS EN LA ESPECIFICACIÓN DE FUNCIONES A UNA SERIE DE INCREMENTOS
DE SOFTWARE QUE SATISFACEN LAARQUITECTURA DEL SOFTWARE Y DEFINIR LAASIGNACIÓN DE
HORARIOS Y RECURSOS PARA EL DESARROLLO Y LA CERTIFICACIÓN DE INCREMENTO
9. PROCESO DE DESARROLLO DE CUARTO LIMPIO
• PROCESO DE REINGENIERÍA DE SOFTWARE
EL OBJETIVO PRINCIPAL DE ESTE PROCESO ES ASEGURARSE DE QUE EL SOFTWARE REINGENIERÍA SATISFACE LOS
REQUISITOS PARA EL PRODUCTO DE SOFTWARE EN EL QUE SE UTILIZA. REINGENIERÍA PERMITE INTERACTUAR SOBRE EL
SOFTWARE REESTRUCTURADO
EL SOFTWARE REUTILIZADO DEBE SATISFACER DOS REQUISITOS:
• LA SEMÁNTICA FUNCIONAL Y LA SINTAXIS DE INTERFAZ DEL SOFTWARE REUTILIZADO DEBEN SER ENTENDIDAS Y
DOCUMENTADAS, Y SI ESTÁN INCOMPLETAS, PUEDEN RECUPERARSE MEDIANTE LAABSTRACCIÓN DE FUNCIONES Y LA
VERIFICACIÓN DE CORRECCIÓN.
• LOS OBJETIVOS DE CERTIFICACIÓN PARA EL PROYECTO DEBEN SER ALCANZADOS DETERMINANDO LAAPTITUD PARA EL
USO DEL SOFTWARE REUTILIZADO A TRAVÉS DE MODELOS DE USO Y PRUEBAS ESTADÍSTICAS.
10. • PROCESO DE DISEÑO INCREMENTAL
EL OBJETIVO PRINCIPAL DE ESTE PROCESO ES DISEÑAR Y CODIFICAR UN INCREMENTO DE SOFTWARE QUE CUMPLA
CON LOS PRINCIPIOS DE DISEÑO DE SALAS BLANCAS. EL INCREMENTO DE SOFTWARE DEBE SATISFACER EL PLAN
DE CONSTRUCCIÓN DE INCREMENTO, ESPECIFICACIÓN DE FUNCIÓN Y ARQUITECTURA DE SOFTWARE
• PROCESO DE VERIFICACIÓN DE CORRECCIÓN
EL OBJETIVO PRINCIPAL DE ESTE PROCESO ES VERIFICAR LA CORRECCIÓN DE UN INCREMENTO DE SOFTWARE
UTILIZANDO TÉCNICAS BASADAS EN MATEMÁTICAS, PARA ENTRAR EN PRUEBAS SIN FALLAS EN EL DISEÑO
IMPLEMENTADO
11. PROCESO DE CERTIFICACIÓN DE PRUEBA DE CUARTO LIMPIO
• MODELADO DE USO Y PROCESO DE PLANIFICACIÓN DE PRUEBAS.
LA TECNOLOGÍA DE DOTACIÓN LÓGICA DE CUARTO LIMPIO ES UN ACERCAMIENTO AL DESARROLLO DEL SOFTWARE
LÓGICO, QUE MEJORA CALIDAD Y REDUCE COSTOS
• PRUEBA ESTADÍSTICA Y PROCESO DE CERTIFICACIÓN
EL PRINCIPAL OBJETIVO DE ESTE PROCESO ES OBTENER ESTIMACIONES ESTADÍSTICAMENTE VÁLIDAS DE LAS
PROPIEDADES TRATADAS POR LOS OBJETIVOS DE CERTIFICACIÓN, PARA EL SOFTWARE.
12.
13. CONCLUSIÓN
• EL LA PREVENCIÓN DE DEFECTOS ES MÁS RENTABLE QUE LA ELIMINACIÓN DE DEFECTOS. POR LO TANTO, EN
EL DESARROLLO DE SOFTWARE, LA METODOLOGÍA CSE (CLEAN ROOM SOFTWARE ENGINEERING) UTILIZA
ESTADÍSTICAS CONTROLADAS Y MENSURABLES PARA ELIMINAR O EVITAR TANTOS DEFECTOS COMO SEA
POSIBLE ANTES DE LA EJECUCIÓN DEL SOFTWARE