1

Ingeniera del Software de Sala Limpia

Denominado ingeniera de cleanroom es un acercamiento al desarrollo del
software lgico, que mejora la calidad y reduce costos. La ingeniera de software de
sala limpia es un enfoque de desarrollo de software que da lugar a un producto de alta
calidad, evitando as tener que corregir errores despus de desarrollarlo. El enfoque de
sala limpia demanda la disciplina necesaria para eliminar errores en las
especificaciones y en el diseo, fabricando entonces el producto de forma limpia.
Su modelo de proceso incluye la certificacin estadstica de calidad de los
incrementos de cdigo, a medida que estos se van acumulando en el sistema. El
modelo de mtodos formales acompaa a un conjunto de actividades que conducen a
la especificacin matemtica del software. Cuando se usa los mtodos formales se
eliminan muchos de los problemas que son difciles de superar con las metodologas
habituales.
Las ventajas de los mtodos formales son:
- Se comprende mejor el sistema.
- La comunicacin con el cliente mejora ya que se dispone de una descripcin
clara y no ambigua de los requisitos del usuario.
- El sistema se describe de manera precisa.
- El sistema se asegura matemticamente que es correcto segn las
especificaciones.
- Mayor calidad del software respecto al cumplimiento de las especificaciones.
- Mayor productividad
Tareas de la sala limpia
- Planificacin de Incrementos.- permite calidad temprana y continua interaccin
con el usuario.
- Recoleccin de requisitos.- definir requisitos para el producto de software y
obtener un acuerdo con el cliente en los requisitos.
- Especificacin de la estructura de cajas.- Una caja encapsula el sistema con un
cierto grado de detalle, tres tipos especiales de funciones matemticas son
importantes en el desarrollo a Sala limpia:



2

o Caja Negra. Especifica el comportamiento del sistema, o de una parte de
un sistema.
o Caja de Estado. Esta caja encapsula los datos de estados y de servicios
(operaciones) de forma anloga a los objetos. En esta vista de
especificacin, se representan las entradas de la caja de estados y sus
salidas.
o Caja Transparente. Las funciones de transicin que estn implicadas en
la caja de estados se definen en la caja transparente.
- Diseo Formal.- Mediante el uso del enfoque de estructura de cajas, el diseo
de sala limpia es una extensin natural y sin discontinuidades de la
especificacin.
- Verificacin de Correccin.- Lleva a cabo una serie de rigurosas actividades de
verificacin de correccin aplicadas primero al diseo y despus al cdigo
- Generacin de Cdigo, inspeccin y verificacin.- Las especificaciones de
estructura de caja que se representan mediante un lenguaje especializado se
traducen la lengua de programacin ms adecuada.
- Planificacin de la comprobacin estadstica.- El propsito del proceso
estadstico de prueba y de certificacin es demostrar la aptitud del software
para el uso en un experimento estadstico formal.
El diseo que se utiliza en la ingeniera del software de sala limpia hace mucho
uso de la filosofa de programacin estructurada. La tcnica y estrategia de la
comprobacin de la sala limpia es fundamentalmente distinta de los enfoques
convencionales de comprobacin.
La ingeniera del software de sala limpia se diferencia de otros mtodos o
paradigmas por las siguientes razones:
- Hace uso explcito del control estadstico de calidad.
- Verifica la especificacin del diseo empleando una demostracin de correccin
basada en las matemticas.
- Hace mucho uso de la comprobacin estadstica de utilizacin para descubrir
errores de especial incidencia.