Ingenieria De Software Sala Limpia

Resumen de la ingeniería de software de sala limpia

La ingeniería del Software de sala limpia es un enfoque formal para el desarrollo del Software, que pueda dar lugar a un Software que posea una calidad notablemente alta. En lugar de fabricar un producto y dedicarse después a eliminar defectos, el enfoque de sala limpia demanda la disciplina necesaria para eliminar errores en lasespecificaciones y en el diseño, fabricando entonces el producto de forma «limpia».
Su modelo de proceso incluye la certificación estadística de calidad de los incrementos de código, a medida que estos se van acumulando en el sistema.
Henderson sugiere tres posibles argumentos:
1) La creencia que la metodología es excesivamente teórica, matemática y radical para utilizarla en el desarrollo de softwarereal.
2) No propugna una comprobación unitaria por parte de los desarrolladores, sino que la sustituye por una verificación de la corrección y por un control estadístico de la calidad. (Distinto al modo convencional)
3) El uso de procesos de sala limpia requiere una aplicación rigurosa de procesos definidos en todas las fases del ciclo de vida. La industria no está preparada para estoTareas de sala limpia
* 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
* Certificación

Se utilizan tres tipos de cajas:
1)Caja Negra
2) Caja de Estado
3) Caja Transparente
Diferencias de la sala limpia
* Hace uso explícito del control estadístico de calidad.
* Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas.
* Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia.
Refinamiento yverificación del diseño
Las funciones básicas de procesamiento se refinan ahora utilizando una “expansión progresiva de funciones matemáticas en estructuras de conectivas lógicas y sub funciones, en donde la expansión se efectúa hasta que todas lasfunciones identificadas pudieran ser  enunciada directamente en el lenguaje de programación utilizado para la implementación”.
Ventajas de la verificacióndel diseño
* Se reduce la verificación de un proceso finito
* Permite que los equipos de sala limpia verifiquen todas las líneas de diseño y código
* Da lugar a un nivel de defectos próximo a cero
* Es escalable
* Produce un código mejor que la comprobación unitaria
Comprobación de la sala limpia
Es algo fundamentalmente distinto de los enfoques convencionales de comprobación.Los métodos convencionales derivan de un conjunto de casos de prueba para descubrir errores de diseño y decodificación. El objetivo de comprobación de sala limpia es validar los requisitos de software mediante la demostración de que una muestra estadística de casos prácticos se ha ejecutado con éxito.
Pruebas estadísticas de casos prácticos
* La prueba estadística de casos «equivale a probarel software en la forma en que los usuarios tienen intención de utilizarlo».
* Para lograr esto, los equipos de prueba de sala limpia (también llamados equipos de certificación) deben determinar la distribución de probabilidad de utilización correspondiente al software.
* Los casos prácticos se generan para cada uno de los estímulos de acuerdo con la distribución deprobabilidad de utilización.

Certificación
En el contexto del enfoque de la ingeniería del software de sala limpia, la certificación implica que la fiabilidad (medida por el tiempo mínimo entre fallos) podrá ser especificada para cada componente.
Cada uno de los componentes dispondrá de una fiabilidad certificada dentro del escenario de utilización y dentro del régimen de comprobación descrito....