Ingeniería del Software Sala Limpia

ENFOQUE DE SALA LIMPIA

La filosofía de la sala limpian en las técnicas de fabricación de hardware es en realidad algo bastante sencillo: se trata de una forma rentable y eficiente, en términos de tiempo, de establecer un enfoque de fabricación que impida la introducción de defectos de producción. En lugar de fabricar un producto y dedicarse después a eliminar defectos, el enfoque de sala limpia demanda la disciplina necesaria para eliminar errores en las especificaciones y en el diseño, fabricando entonces el producto de forma limpia.

Aun cuando las primeras experiencias acerca de este enfoque disciplinado para los trabajos relacionados con el software mostraba promesas significativas , no ha alcanzado una amplia utilización.

La estrategia de sala limpia

El enfoque de sala limpia hace uso de una versión especializada del modelo incremental de software. Se desarrolla un cauce de incrementos de software por parte de equipos de ingeniería del software pequeños e independientes. A medida que se va certificando cada incremento, se integra en el todo. Consiguientemente, la funcionalidad del sistema va creciendo con el tiempo.

Planificación de incrementos. Se desarrolla un plan de proyecto que adopta la estrategia incremental. Se van estableciendo las funcionalidades de cada uno de los incrementos, su tamaño estimado y un plan de desarrollo de sala limpia. Es preciso tener especial cuidado para asegurar que los incrementos certificados se vayan integrando de forma temporalmente oportuna.

Recolección de requisitos. Se desarrolla una descripción más detallada de requisites del nivel del usuario (para cada incremento).

Especificación de la estructura de cajas. Se utiliza un método de especificación que hace uso de estructuras de caja para describir la especificación funcional.

Diseño formal. Mediante el uso del enfoque de estructura de cajas, el diseño de sala limpia es una extension natural y sin discontinuidades de la especificación. Aun cuando es posible efectuar una distinción clara entre estas dos actividades, las especificaciones (que se denominan cajas negras) se refinan iterativamente (dentro de cada incremento) para transformarse en diseños análogos a la arquitectura y a los procedimientos (que se denominan cajas de estado y cajas trasparentes, respectivamente).

Verificación de corrección. El equipo de sala limpia lleva a cabo una serie de rigurosas actividades de verificación de corrección aplicadas primero al diseño y después al código. La verificación comienza con la estructura de cajas del más alto nivel (la especificación) y avanza hacia el detalle de diseño y el código. El primer nivel de verificación de corrección se lleva a cabo aplicando un conjunto de cuestiones de corrección. Si este conjuntode preguntas no demuestra que la especificación es correcta, se utilizan métodos más formales (matemáticos) de verificación.

Generación de código, inspección y verificación.

Las especificaciones de estructura de caja, que se representan mediante un lenguaje especializado, se traducen al lenguaje de programación adecuado. Se utilizan entoncestécnicas estándar de recorrido o de inspección para asegurar el cumplimiento sernántico de las estructuras de código y de cajas, y la corrección sintáctica de código. A continuación, se efectúa una verificación de corrección para el código fuente.

Planificación de la comprobación estadística. Lautilización estimada del software se analiza, se planificay se diseña un conjunto de casos de prueba queejerciten la distribución de probabilidad de esa utilización. Esta actividad de sala limpia se realiza en paralelo con la especificación, la verificación y la generación de código.

Comprobación estadística de utilización. Recordando que es imposible una comprobación exhaustive del software de computadora (Capítulo I7), siempre resulta necesario diseñar un conjunto finito de casos de prueba. Las técnicas estadísticas de utilización [PO0881 ejecutan una colección de pruebas derivadas de una muestra estadística (la distribución de probabilidad indicada anteriormente) de todas las posibles ejecuciones del programa por parte de todos los usuarios de una cierta población objetivo.

Certificación. Una vez que se ha finalizado la verificación, la inspección y la comprobación de utilización (y después de corregir todos los errores) se certifica el incremento como preparado para su integración.Al igual que otros modelos de proceso del software descritos en otras partes de este libro, el proceso de sala limpia hace especial hincapié en la necesidad de conducir unos modelos de análisis y de diseño de muy alta calidad. Según se verá posteriormente en este capítulo, la notación de estructura de

cajas no es más que otra forma para que el ingeniero del software pueda representar los requisitos y el diseño. La distinción real del enfoque de sala limpia consiste en que se aplica la verificación formal a los modelos de ingeniería.