Edgar Nava de la Fuente Ingeniera en Tecnologas.

6to A
La ingeniera del software de sala limpia es un enfoque formal para el desarrollo del software, que pueda dar lugar a un software con una calidad notablemente alta. Emplea la especificacin de estructura de cajas para el modelado de anlisis y diseo, haciendo hincapi en la verificacin de la correccin, ms que en la comprobacin, como mecanismo fundamental para encontrar y eliminar errores. Se aplica una comprobacin estadstica de uso para desarrollar la informacin relativa a la tasa de fallos necesaria para certificar la fiabilidad del producto software. El resultado final es una tasa de fallo extremadamente baja, que sera difcil o imposible de conseguir empleando mtodos menos formales. Una vez asignada la funcionalidad al elemento de software del sistema, el proceso de la sala limpia comienza sus incrementos y se producen las siguientes tareas:

Planificacin de incrementos.-Permite la calidad temprana y contina interaccin con el usuario. Facilita mejoras de proceso mientras progresa el desarrollo. El acercamiento incremental evita los riesgos inherentes a la integracin tarda en el ciclo de desarrollo. Recoleccin de requisitos.- Define requisitos para el producto software, incluyendo funcin, uso, ambiente, y funcionamiento; la parte complementaria constituye el obtener un acuerdo con el cliente en los requisitos como base para la funcin y especificacin de uso. Especificacin de la estructura de cajas.- Tres tipos especiales de funciones matemticas son importantes en el desarrollo de sala limpia, debido a su correspondencia y correlacin en el proceso de descomposicin y verificacin. Estas funciones son conocidas como la caja negra, la caja de estado y caja limpia. En la estructura de las cajas se pueden aplicar una variedad de estrategias de descomposicin, adems se puede incluir funcionalidad y orientacin a objeto. 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. Los participantes proporcionan los objetivos, los criterios de entrada, las tareas, la verificacin, las medidas y los criterios comunes de la salida en los procesos, as como elementos de proceso comn. Verificacin de correccin.- El equipo de sala limpia lleva a cabo una serie de rigurosas actividades de verificacin de correccin, las cuales se aplican primero al diseo y despus al cdigo. El propsito del proceso de verificacin de la correccin, es verificar la correccin del incremento asociado al producto de software utilizando tcnicas matemticas. Generacin de cdigo, inspeccin y verificacin.- Las especificaciones de estructura de caja que se representan mediante un lenguaje especializado se traducen en un lenguaje de programacin adecuado. Planificacin de la comprobacin estadstica.- El propsito es demostrar la aptitud del software para el uso en un experimento estadstico formal. Se la define con respecto a los modelos de uso y a las metas de la certificacin empleados en el proceso de prueba.

Edgar Nava de la Fuente Ingeniera en Tecnologas. 6to A

Mediante un proceso de refinamiento progresivo, se van refinando las cajas para formar una jerarqua en la cual cada caja tiene una transferencia. Para esto, al interior de la ingeniera del software de sala limpia, se utilizan tres tipos de cajas:

Caja negra.- Especifica el comportamiento del sistema, o de una parte de un sistema. Caja de estado.- Esta caja encapsula los datos de estados y de servicios de forma anloga a los objetos. En esta vista de especificacin, se representan las entradas a la caja de estados y sus salidas. Caja limpia (transparente).- Las funciones de transicin que estn implicadas en la caja de estados se definen en la caja transparente.

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.