Sala limpia

Enfoque de la ingeniería del software de sala limpia

Es un enfoque formal para el desarrollo del software, que pueda dar lugar a un software con una calidad notablemente alta. Emplea la especificación de estructura de cajas para el modelado de análisis y diseño, haciendo hincapié en la verificación de la corrección, más que en la comprobación, como mecanismo fundamental para encontrar y eliminar errores. Se aplica una comprobación estadística de uso para desarrollar la información relativa a la tasa de fallos necesaria para certificar la fiabilidad del producto software. La filosofía de sala limpia es un enfoque riguroso de la ingeniería del software. Se trata de un modelo del proceso del software que hace hincapié en la verificación matemática de la corrección, y en la certificación de la fiabilidad del software. El resultado final es una tasa de fallo extremadamente baja, que sería difícil o imposible de conseguir empleando métodos menos formales.

La estrategia de Sala Limpia

1) Usa una versión especial del modelo incremental de software.

2) Cuando se certifica cada incremento se integra al todo y la funcionalidad del sistema va creciendo.

3) Planificación de incrementos.

4) Recolección de requisitos.

5) Especificación de la estructura de cajas.

El proceso de Sala Limpia

1) Verificación de corrección.

2) Generación de código, inspección y verificación.

3) Planificación de la comprobación estadística

4) Certificación.

Se utilizan tres tipos de cajas para estudiar el sistema

1)Caja negra: Especifica el comportamiento del sistema, o de una parte de un sistema.

2)Caja de estado: Esta caja encapsula los datos de estados y de servicios de forma análoga a los objetos. En esta vista de especificación, se representan las entradas a la caja de estados y sus salidas.

3) Caja transparente: Las funciones de transición que están implicadas en la caja de estados se definen en la caja transparente.

La ingeniería del software de sala limpia se diferencia de otros métodos o paradigmas por las siguientes razones:

1) Hace uso explícito del control estadístico de calidad.

2) Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas.

3) Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia.