Especificación e inspecciones formales El modelo basado en el estado es un sistema de especificación y el proceso de inspección comprueba el programa contra este modelo. La aproximación a la programación se define de forma que la correspondencia entre el modelo y el sistema sea clara. Los argumentos matemáticos (no pruebas) se utilizan para incrementar la confianza en el proceso de inspección.
Equipo de especificación. Responsable del desarrollo y mantenimiento de la especificación del sistema. Equipo de desarrollo. Responsable de desarrollar y verificar el software. El software NO se ejecuta ni se compila durante este proceso Equipo de certificación. Es responsable de desarrollar un conjunto de pruebas estadísticas para ejercitar el software después de su desarrollo. Los modelos de crecimiento de fiabilidad se utilizan para determinar cuándo es aceptable la fiabilidad. Equipos de proceso de Sala Limpia
El resultado de usar procesos de Sala Limpia ha sido realmente impresionante con los pocos fallos descubiertos en sistemas desarrollados. La valoración independiente muestra que el proceso no es más caro que otras aproximaciones. Hubo muy muchos menos errores que en el proceso de desarrollo «tradicional». Sin embargo, el proceso generalmente no se utiliza. No está claro como puede ser transferida esta aproximación a un entorno con ingenieros de software menos motivados o menos expertos. Evaluación del proceso de Sala Limpia
Puntos clave La verificación y la validación no son lo mismo. La verificación muestra el ajuste con la especificación; La validación muestra que el programa cumple las necesidades del cliente. Los planes de prueba deberían ser preparados para guiar el proceso de prueba. Las técnicas de verificación estática implican el análisis y exámen del programa para la detección de errores.
Puntos clave Las inspecciones del programa son muy efectivas para descubrir errores. El código del programa en las inspecciones es comprobado sistemáticamente por un pequeño equipo para ubicar los fallos de software. Las herramientas de análisis estático pueden descubrir anomalías en el programa que pueden ser una indicación de defectos en el código. El proceso de desarrollo de Sala Limpia depende del desarrollo incremental, la verificación estática y las pruebas estadísticas.
| Página siguiente |