Ingenieria de software en la sala limpia El uso integrado del modelado convencional de ingenieria del software y es posiblemente los metodos

formales, la verificacion de programas pruebas de correccion y el sqa estadistico se han combinado en una tecnica que puede conducir a software de calidad extremadamente alta. La inteligencia del software de sala limpia es un enfoque que resalta la necesidad de construir la correcion en el software conforme se desarrola. En lugar del clasico ciclo de analisis, diseo, codigo, prueba y depuracion, en el enfoque de sala limpia sugiere un punto de vista diferente En muchos aspectos, el enfoque de sala limpia eleva la ingenineria de software a otro nivel.al igual que los metodos formales presentados en el capitulo 28, el proceso de sala limpia destaca el rigor en la especificacion y el diseo mediante pruebas de correcion con bases matematicas. Al extender enfoque adoptado en los metodos formales, el enfoque de sala limpia tambien resalta las tecnicas para el control estadisticos de la calidad. Incluso pruebas que se basan en el uso anticipado del software por parte de los clientes

La estrategia de la sala limpia El enfonque de la sala limpia utiliza una version especializada del modelo de procesos incrementa. Mediante pequeos equipos de software independientes se desarrola una linea de incrementos de software conforme cada incremento se certifica se integra en el todo. Por ende, la funcionalidad del sistema creece con todo el tiempo metodos de ingenieria del software estudiados en el capitulo 6. La linea incrementos de la sala limpia se inicia una vez que la funcionalidad se ha asignado al elemento de software del sistem. Se producen las siguientes tareas: Planificaion del incremento: se desarrola un plan de proyecto que adopta la estrategia incremental.se crean la funcionalidad de cada incremento, su tamao proyectado y un plan de desarrollo de sala limpia. Se debe tener especial cuidado para asegurar que los incrementos certificados se integraran en forma oportuna Especificacion de la estructura de cajas: se utiliza un metodo de especificacion que emplea estructuras de caja para describir la especificaion funcional. Para ajustarse a los principios de analisis operativo tratados en los capitulos 5y7, las estructuras de cajas aislan y separan la definicion creativa de comportamirnto, datos y procedimientos en casa grado de refinamiento Diseo formal: empleado en el enfoque estructura de cajas el diseo de sala limpia es una extension natural y uniforme de la especificacion. Aunque es posible establecer una distincion clara entre las dos actividades, la especificaiones(llamadas cajas negras) son iterativamente refinadas (dentro de un incremento) para volverse analogas a los diseos aequitectonico y al nivel de componentes(llamados caja de estado y cajas transparente respectivamente) Verificacion de la correccion; el equipo de sala limpia lleva acabo una serie de rigurosas actividades de la correcion en el diseo y luego en el codigo. La verificaion comienza con la estructura de caja de nivel superior (especificacion) y se mueve hacia el detalle de diseo y el codigo. En el primer nivel de verificacion de correcion ocurre al aplicar unconjunto de preguntas

de correcion. Si estas no demuestran que la especificacion es correcta se emplea metodos mas formales (matematicos) en la verificacion Generacion de codigo, inspeccion y verificacion: las especificaciones de estructura de caja. Representadas e un lenguaje especializado, se traducen al lenguaje de progrmacion apropiado. Entonces se utilizan comprobaciones manuales estandar o tecnicas de inspeccion que garantian la conformidad semantica del codigo y las estructuras de cajas asi como la correcion sintactica del codigo, luego se la lleca avabo la verificacion de la correccion para el codigo fuente Planificacion: estadisticas de la utilizacion: como se recordara , la prueba exhaustiva del software de computadoras es imposible por lo que siempre es necesario disear un numero finito de casos de prueba. Las tecnicas estadisticas de utilizacion ejecutan una serie de pruebas derivadas de una muestra estadisticas( la distribucion de probabilidad anotada previamente{9 de todas las posibilidades ejecuciones de programa por parte de todos los usurios a partir de una poblacion objetivo Certificaion: una vez completadas la verificacion, la inspeccion y las pruebas de utilizacion (y de que todos los errores hayan sido corregido), el incremento se certifica listo para la integracion

Que hace diferente a la sala limpia La ingenieria del softwar de sala limpia difiere de los metodos convencionales orientados a objetos de la ingenieria del software porque: 1.emplea en forma explicita el control estadisticos de la calidad 2. verifica las especificaiones del diseo utilizando una prueba de correcion basada matematicamente 3. implementa tecnicas de prueba con una alta probabilidad de describir errores de alto impacto

Obviamente , el enfoque de la sala limpia aplica la mayora, si no todos, los principios y conceptos bsicos de la ingeniera del software presentados a lo largo de este libro Los buenos anlisis y procedimientos de diseo son esenciales si se quiere obtener alta calidad. Pero la ingeniera de la sala limpia difiere de las practicas del software convencional porque le resta importancia la cantidad de pruebas que realiza el desarrollador del software En el desarrollo de software convencional los errores se aceptan como un echo uneludible. Puesto que los errores estn condenados a ser inevitables, cada componente de programa debe probarse en forma individual y luego depurarse cuando finalmente se libera el software. Durante su utilizacin se descubren todava mas defectos y comienza otro ciclo de prueba y depuracin. La reelaboracion asociada con dichas actividades es costosa y consume mucho tiempo peor aun puede resultar degerativa. La concrecin de errores tal vez conduzca a la instruccin de mas errores todava Sim importar el mtodo de anlisis elegido se aplican los principios de anlisis

Operativos presentados La ingeniera del software de sala limpia cumple con los principios de anlisis operativo empleando un mtodo llamado especificacin de estructuras de cajas. Una caja encapsulada al sistema en algn grado de detalle por medio