1Universidad Nacional de Pilar - Facultad Ciencias Aplicadas1. Objetivos.Generales. Hacer conocer la funcin de la ingeniera del software de sala limpia. Demostrarlaimportanciaquecumpleeneldiseodeunsistemaatravsdelaingeniera del software de sala limpiaEspecficos. Establecer el funcionamientodeestaingenieraenlas fases del diseodeunprograma. Conocer las caractersticas que conlleva este tipo de ingeniera con su aplicacin enel desarrollo del proyecto del software Comprender el proceso que atraviesa la ingeniera al aplicarla en el desarrollo delproyecto del softwareIngeniera del software2Universidad Nacional de Pilar - Facultad Ciencias Aplicadas2. Introduccin.ala limpia es un mtodo de ingeniera de software propuesto en los aos !" porHarlan #ills$ es una tcnica que puede dar lugar a un software de calidad e%tremadamentealta. Es un resultado de la combinacin del modelo convencional de ingeniera de software$mtodos formales$ demostraciones de correccin y estadstica de especificaciones para elaseguramientodecalidad&'().*oserroresllevanmuc+otiempoparaquesepuedarevisarycorregir$yestoimplicatraba,ardoble$ cosaque+aceperdermuc+otiempoyeconmicamente es m-s oneroso. i un software falla en el mundo real puede aparecerdistintos peligros a corto$ medio y largo pla.o$ por lo que puede llevar a afectar todo elsistema. *a ingeniera del software de sala limpia es un modelo de proceso que elimina losdefectosantesdequepuedandarlugar ariesgosgraves. Emplealaespecificacindeestructura de ca,as para el modelado de an-lisis y diseo$ +aciendo +incapi en laverificacin de la correccin$ m-s que en la comprobacin$ como mecanismo fundamentalparaencontrar yeliminar errores. eaplicaunacomprobacinestadsticadeusoparadesarrollar la informacin relativa a la tasa de fallos necesaria para certificar la fiabilidaddel producto softwareIngeniera del software3Universidad Nacional de Pilar - Facultad Ciencias Aplicadas3. Ingeniera del software de sala limpia.*a ingeniera del software de sala limpiaes un enfoque que +ace +incapi en lanecesidad de incluir la correccin en el software a medida que ste se desarrolla. En lugardel ciclocl-sicodean-lisis$ diseo$ pruebas ydepuracin$ el enfoquedesalalimpiasugiere un punto de vista distinto.*a filosofa que subyace tras la ingeniera del software de sala limpia consiste enevitarladependencia de costosos procesos de eliminacin de defectos$ mediante laescritura de incrementos de cdigo desde un primer momento$ y mediante la verificacinde su correccin antes de las pruebau modelo de proceso incluye la certificacinestadstica de calidad de los incrementos de cdigo$ a medida que estos se van aadiendoen el sistema.En muc+os aspectos$ el enfoque de sala limpia eleva la ingeniera del software aotro nivel. (l igual que las tcnicas de mtodos formales$ el proceso de sala limpia +ace+incapi en el rigor en la especificacin y en el diseo$ y en la verificacin formal de cadaunodeloselementosdel modelodediseo/esultantemedianteel usodepruebasdecorreccin basadas en fundamentos matem-ticos. (l e%tender el enfoque adoptado en losmtodos formales$ el enfoque de sala limpia +ace +incapi tambin en tcnicas de controlestadsticodecalidad$ incluyendolascomprobacionesbasadasenel usoanticipadodelsoftware por parte de los clientes.3.1. El enfoue de sala limpia.*afilosofadelasalalimpianenlastcnicasdefabricacinde+ardwareesenrealidad algo bastante sencillo0 se trata de una forma rentable y eficiente$ en trminos detiempo$ de establecer un enfoque de fabricacin que impida la introduccin de defectos deproduccin. En lugar de fabricar un producto y dedicarse despus a eliminar defectos$ elenfoquedesalalimpiademandaladisciplinanecesariaparaeliminar errores enlasespecificaciones y en el diseo$ fabricando entonces el producto de forma limpia.Ingeniera del software4Universidad Nacional de Pilar - Facultad Ciencias Aplicadas*afilosofadesalalimpiafuepropuestaporprimerave.paralaingenieradelsoftware por parte de #ills y sus colegas 123*!45 durante los aos !". (un cuando lasprimeras e%periencias acerca de este enfoque disciplinado para los traba,os relacionadoscon el software mostraban promesas significativas 1H(6785$ no +a alcan.ado una ampliautili.acin. Henderson 1HE97:53.2. !ugiere tres posibles ra"ones# *a creencia en que la metodologa de sala limpia es e%cesivamente terica$ e%cesivamentematem-tica y e%cesivamente radical para utili.arla en el desarrollo de software real. 9opropugnaunacomprobacinunitariapor partedelosdesarrolladores$ sinoquelasustituye por una verificacin de la correccin y por un control estadstico de la calidad;estos conceptos que representan una desviacin fundamental con respecto a la forma enque se desarrolla la mayor parte del software en la actualidad. *a madure. de la industria de desarrollo del software. El uso de procesos de sala limpiarequiere una aplicacin rigurosa de procesos definidos en todas las fases del ciclo de vida.Dado que la mayor parte de la industria funciona todava en el nivel ad +oc &seg