Ingenieria de software - sala limpia

SALA LIMPIA

Introducción
Modelo de proceso de software que resalta la necesidad de construir la corrección en el software conforme se desarrolla.

Se destaca la verificación matemática de la corrección y la certificación de la fiabilidad del software.

Comentarios:
El ciclo clásico es: análisis , diseño, código, prueba y depuración. ----- Pruebas al final
Se trata de evitar loscostosos procesos de eliminación de defectos al escribir los incrementos de código correctos la primera vez y verificar su corrección antes de ponerlo a prueba (incluso antes de que comience la construcción del programa).
Manejo de probabilidad de casos de uso

Características
Enfoque formal

Utiliza una versión especializada del modelo de proceso incremental

Se obtiene software con calidad altaUtiliza especificación de estructuras por cajas

Características (cont.)
Utiliza la filosofía de programación estructurada

Resalta la verificación de la corrección en lugar de las pruebas

Se aplican pruebas estadísticas de utilización

Pruebas de corrección con bases matemáticas

Comentarios:
Resalta la verificación de la corrección en lugar de las pruebas al final: (comomecanismo principal para detectar y eliminar los errores)
Se aplican pruebas estadísticas de utilización: para desarrollar la información necesaria de tasas de fallas con que certificar la fiabilidad del software entregado

Comentarios:
Mediante pequeños equipos de software independientes se desarrolla una línea de incrementos de software. Conforme cada incremento se certifica se integra en eltodo. Por ende la funcionalidad del sistema crece con el tiempo.
TAREAS:
- Planificación del incremento: Se adopta la estrategia incremental.
- Recopilación de Requisitos: Para cada incremento.
- Especificación de la estructura de cajas: Aíslan y separan la definición creativa de comportamiento, datos y procedimientos en cada grado de refinamiento.
Diseño Formal:
Dan los objetivos, losparticipantes, los criterios de entrada, las tareas, la verificación, las medidas y los criterios comunes de la salida en los procesos, así como elementos de proceso común.
- Verificación de la corrección: Verificación de la corrección en el diseño y luego en el código. .. Esto se logra anexando un conjunto de condiciones de corrección genéricas a las estructuras de programación estructurada
Cadaespecificación de caja transparente representa el diseño de un procedimiento (subfuncion) necesario para lograra una transición de caja de estado.
- Generación de código, inspección y verificación: Las especificaciones de estructuras de caja se traducen al leng de programación. Entonces se utilizan comprobaciones manuales o técnicas de inspección que garantizan la conformidad semántica del código yestr de cajas, así como la corrección sintáctica del código. Luego se lleva a cabo la verificación de la corrección para el código fuente.
Planificación de Pruebas estadísticas: Se planifica y diseña un conjunto de casos de prueba que ejercitan una distribución de probabilidad de utilización. Se lleva en paralelo con las otras actividades. : Como no es posible realizar pruebas exhaustivas delsoftware, es necesario diseñar un numero finito de casos de prueba
Es tratar de probar el software en la forma que los usuarios intentarían usarlo.
En base a entrevistas con los usuarios potenciales, creación de escenarios de uso y comprensión general del dominio de la aplicación se asigna una probabilidad de uso a cada estimulo.
Los casos de prueba se generan para cada conjunto de estímulos deacuerdo con la distribución de probabilidad de uso.
Se lleva registro del tiempo de pruebas sin fallas, si el mismo es bajo, es probable que la fiabilidad del software sea alta.
- Prueba Estadística de la utilización: Se ejecutan una serie de pruebas derivadas de una muestra estadística (la distribución de probabilidad anotada previamente) de todas las posibles ejecuciones de programa por...