prueba

PROCESOS DE SALA LIMPIA

Es un enfoque formal para el desarrollo del software, que puede dar lugar a un sotfware con una calidad notablemente alta. Este enfoque hace hincapié en la necesidad deincluir la corrección en el software a medida que éste se desarrolla utilizando argumentos formales que son codificados de acuerdo con su especificación.
Esta filosofía consiste en la edición dedependencias de costosos procesos de eliminación de defectos, 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 elsistema y mediante la verificación de corrección antes de la comprobación. En lugar de fabricar un producto y dedicarse después a eliminar defectos, este enfoque demanda la disciplina necesaria paraeliminar errores en las especificaciones y en el diseño. El desarrollo de software de Sala Limpia se centra en técnicas estáticas para la verificación de programas y pruebas estadísticas para lacertificación de la fiabilidad del sistema. Se ha utilizado con éxito en la producción de sistemas que tienen un alto nivel de fiabilidad.
La técnica y estrategia de la comprobación de la sala limpia esalgo 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 codificación.Propiedades de este enfoque:
1) Hace usos 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.
El enfoque de sala limpia aplica la mayor parte de los principios básicos de ingenieríadel software.

En sala limpia, la comprobación unitaria y la depuración se ven sustituidas por una verificación de corrección y por una comprobación basada estadísticamente en contraste con las...