Ingeniería del Software de Sala Limpia.docx

Ingeniería del Software de Sala Limpia Denominado ingeniería de cleanroom es un acercamiento al desarrollo del software lógico, que mejora la calidad y reduce costos. La ingeniería 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 después de desarrollarlo. 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». Su modelo de proceso incluye la certificación estadística

de calidad de los

incrementos de código, a medida que estos se van acumulando en el sistema. El modelo de métodos formales acompaña a un conjunto de actividades que conducen a la especificación matemática del software. Cuando se usa los métodos formales se eliminan muchos de los problemas que son difíciles de superar con las metodologías habituales. Las ventajas de los métodos formales son: -

Se comprende mejor el sistema. La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario.

-

El sistema se describe de manera precisa.

-

El

sistema

se

asegura

matemáticamente

que

es

correcto

según

las

especificaciones. -

Mayor calidad del software respecto al cumplimiento de las especificaciones.

-

Mayor productividad

Tareas de la sala limpia -

Planificación de Incrementos.- permite calidad temprana y continua interacción con el usuario.

-

Recolección de requisitos.- definir requisitos para el producto de software y obtener un acuerdo con el cliente en los requisitos.

-

Especificación de la estructura de cajas.- Una caja encapsula el sistema con un cierto grado de detalle, tres tipos especiales de funciones matemáticas son importantes en el desarrollo a Sala limpia:

1

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 análoga a los objetos. En esta vista de especificación, se representan las entradas de la caja de estados y sus salidas.

o

Caja Transparente. Las funciones de transición que están implicadas en la caja de estados se definen en la caja transparente.

-

Diseño Formal.- Mediante el uso del enfoque de estructura de cajas, el diseño de sala limpia es una extensión natural y sin discontinuidades de la especificación.

-

Verificación de Corrección.- 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

-

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 la lengua de programación más adecuada.

-

Planificación

de

la

comprobación

estadística.-

El

propósito

del

proceso

estadístico de prueba y de certificación es demostrar la aptitud del software para el uso en un experimento estadístico formal. El diseño que se utiliza en la ingeniería del software de sala limpia hace mucho uso de la filosofía de programación estructurada. La técnica y estrategia de la comprobación de la sala limpia es fundamentalmente distinta de los enfoques convencionales de comprobación. La ingeniería del software de sala limpia se diferencia de otros métodos o paradigmas por las siguientes razones: -

Hace uso explícito del control estadístico de calidad.

-

Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas.

-

Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia.

2