stringtranslate.com

Ingeniería de software para salas limpias.

El proceso de ingeniería de software de sala limpia es un proceso de desarrollo de software destinado a producir software con un nivel certificable de confiabilidad . Los principios centrales son el desarrollo de software basado en métodos formales, la implementación incremental bajo control de calidad estadístico y pruebas estadísticamente sólidas.

Historia

El proceso de sala limpia fue desarrollado originalmente por Harlan Mills y varios de sus colegas, incluido Alan Hevner de IBM . [1]

El proceso de sala limpia se utilizó por primera vez entre mediados y finales de la década de 1980. Los proyectos de demostración dentro del ejército comenzaron a principios de los años 1990. [2] Un trabajo reciente sobre el proceso de sala limpia ha examinado la fusión de la sala limpia con las capacidades de verificación automatizada proporcionadas por las especificaciones expresadas en CSP . [3]

Filosofía

El objetivo del proceso de sala limpia es la prevención de defectos en lugar de su eliminación. El nombre "sala limpia" se eligió para evocar las salas blancas utilizadas en la industria electrónica para evitar la introducción de defectos durante la fabricación de semiconductores .

Principios centrales

Los principios básicos del proceso de sala limpia son

Desarrollo de software basado en métodos formales.
El soporte de herramientas de software basado en cierto formalismo matemático incluye verificación de modelos , álgebras de procesos y redes de Petri . El método de estructura de caja podría ser uno de esos medios para especificar y diseñar un producto de software. [4] La verificación de que el diseño implementa correctamente la especificación se realiza a través de una revisión en equipo, a menudo con soporte de herramientas de software.
Implementación incremental bajo control de calidad estadístico.
El desarrollo de salas blancas utiliza un enfoque iterativo , en el que el producto se desarrolla en incrementos que aumentan gradualmente la funcionalidad implementada. La calidad de cada incremento se mide según estándares preestablecidos para verificar que el proceso de desarrollo avanza de manera aceptable. El incumplimiento de los estándares de calidad da como resultado el cese de las pruebas para el incremento actual y el regreso a la fase de diseño.
Pruebas estadísticamente sólidas
Las pruebas de software en el proceso de sala blanca se llevan a cabo como un experimento estadístico. Con base en la especificación formal, se selecciona y prueba un subconjunto representativo de trayectorias de entrada/salida del software. Luego, esta muestra se analiza estadísticamente para producir una estimación de la confiabilidad del software y un nivel de confianza en esa estimación.

Referencias

  1. ^ Molinos, H .; M. Dyer; R. Linger (septiembre de 1987). "Ingeniería de software para salas limpias" (PDF) . Software IEEE . 4 (5): 19–25. doi :10.1109/MS.1987.231413. S2CID  383170.
  2. ^ Capataz, John (2005). "Referencia de ingeniería de software de salas limpias". Hoja de ruta de tecnología de software . Instituto de Ingeniería del Software (SEI) . Consultado el 27 de abril de 2006 .
  3. ^ Guy H. Broadfoot y PJ Hopcroft (2005). "Introducir métodos formales en la industria utilizando Cleanroom y CSP". Revista electrónica de sistemas dedicados. S2CID  14066854. {{cite journal}}: Citar diario requiere |journal=( ayuda )
  4. ^ Linger, R. (abril de 1994). "Modelo de proceso de sala limpia". Software IEEE . 11 (2): 50–58. CiteSeerX 10.1.1.130.8642 . doi :10.1109/52.268956. S2CID  206447346. 

Otras lecturas

enlaces externos