Cleanroom Software Engineering

Cleanroom Software Engineering

El proceso de limpiar de Ingeniería de Software es un proceso de desarrollo de software destinado a producir software con un nivel certificable de fiabilidad.
El proceso de limpiar fue desarrollado originalmente por Harlan Mills y varios de sus colegas incluyendo a Alan Hevner IBM [1].
EL objetivo del proceso de limpiar esta en prevención de defectos, en lugar de la eliminación de defectos.
El nombre de limpiar fue elegido para evocar las limpias utilizadas en la industria electrónica para evitar la introducción de defectos en la fabricación de circuitos integrados.
El proceso de limpiar se vio por primera vez en uso a fines de los años 80. Proyectos de demostración dentro de los militares comenzó en el decenio de 1990.
Los últimos trabajos sobre el proceso de limpiar ha examinado la fusión limpia con la capacidad de verificación automatizada proporcionada por las especificaciones expresadas en CSP.
Los principios básicos del proceso de limpiar son:
1. Desarrollo de software basado en métodos formales:

El proceso de Limpiar de desarrollo hace uso de la caja Estructura Método para especificar y diseñar un producto de software. Verifica que el diseño se aplique correctamente y la especificación se realiza a través de equipo de revisión.

2. Incrementar la ejecución, en el marco estadístico de control de calidad

El proceso de Limpiar utiliza un desarrollo interactivo enfocado en la que el producto ha sido desarrollado en incrementos para aumentar gradualmente la aplicación de la funcionalidad. La calidad de cada incremento se mide contra lo pre-establecido por las normas para verificar que el proceso de desarrollo se está llevando a cabo aceptablemente. Un incumplimiento de normas de calidad de los resultados en la cesación de los ensayos para el actual incremento, y un retorno a la fase de diseño.

Software de pruebas en el proceso de limpiar se lleva a cabo como un experimento estadístico. Sobre la base de la especificación formal, un subconjunto representativo de software de entrada / salida de las trayectorias está seleccionado y probado. Esta muestra es entonces analizada estadísticamente para producir una estimación de la fiabilidad del software, y un nivel de confianza en esa estimación.