Universidad Tecnológica Israel

Administración de el Modelado y
Verificación Formal

CALIDAD DE SOFTWARE
Integrantes: Jonathan Barrera,
Darwin Obando,
Kevin Zurita
ESTRATEGIA DE CUARTO LIMPIO

• Usa una versión especializada del modelo de

software incremental. Pequeños equipos de
software independientes desarrollan una tubería
de incrementos de software, los cuales una vez
certificados se integran al resto del sistema.
Tareas tubería de incrementos:
• Planeación del incremento
• Recopilación de requerimientos
• Especificación de estructura de caja
• Diseño formal
• Verificación de exactitud
• Generación, inspección y verificación del código
• Planeación de prueba estadística
• Prueba de uso estático
• Certificación
ESPECIFICACIÓN FUNCIONAL
• Dentro de la ingeniería de software se encuentra
un método llamado especificación de la
estructura de caja.
• Una caja se encarga de encapsular el sistema o
un aspecto de este a través de un proceso de
refinamiento por pasos.
Para ello se utilizan tres tipos de cajas
• CAJA NEGRA
Especifica el comportamiento de un sistema o una
parte del sistema.
• CAJA DE ESTADO
Encapsula los datos y servicios de una forma
análoga a los objetos.
• CAJA CLARA
Contiene el diseño de procedimientos para la caja de
estado
• REFINAMIENTO DEL DISEÑO
En cada nivel de refinamiento el equipo de cuarto
limpio realiza una verificación formal de exactitud
DISEÑO DE CUARTO LIMPIO
• Se aplica la programación estructurada de una
manera rigurosa.

• Los datos e información del programa son

encapsulados, ocultos y escritos para crear el
diseño de datos.
PRUEBAS DE CUARTO LIMPIO
• La estrategia y táctica de las pruebas de cuarto
limpio son diferentes de las pruebas
convencionales. Debido a que su meta es validar
los requerimientos de software demostrando que
la muestra estadística de casos de uso se ejecuta
exitosamente.
PRUEBAS DE USO ESTADÍSTICO
• El usuario de un programa de computadora rara vez
necesita entender los detalles técnicos del software.

• ¿Qué subconjunto de casos de uso verificara de

manera adecuada el comportamiento del programa.

• Las pruebas de uso estadístico equivalen a examinar

el software de la forma en que los usuarios
pretenden usarlo.
 CERTIFICACION
• La certificación indica que la confiabilidad
puede especificarse para cada componente.

• Los componentes del software puede ser

reutilizables y se almacenan juntos con sus
escenarios de uso, estímulos de programa y
distribuciones de probabilidad.
EL ENFOQUE DE LA DISTRIBUCION
INVOLUCRA 5 PASOS
• Se crea los escenarios de uso.
• Se especifica el perfil de uso.
• Se genera casos de uso a partir del perfil.
• Las pruebas se ejecutan y los datos de fallo se
registran y analizan.
• Se calcula la confiabilidad y se certifica.