ingieneria de sala limpia



Ingeniería del Software de sala limpia

La ingeniería del Software de sala limpia es un enfoque formal para el desarrollo del Software, que pueda dar lugar a un Software que posea una calidad notablemente alta. Emplea la especificación de estructura de cajas (o métodos formales) para el modelado de análisis y diseño, y hace hincapié en la verificación de la corrección, más que en lacomprobación, como mecanismo fundamental para hallar y eliminar errores. Se aplica una comprobación estadística de utilización para desarrollar la información de tasa de fallos necesaria para certificar la fiabilidad del Software proporcionado.

La filosofía de sala limpia es un enfoque riguroso de la ingeniería del Software. Se trata de un modelo de proceso del Software que hace hincapié en laverificación matemática de la corrección, y en la certificación de la fiabilidad del Software. El resultado final son unas tasas de fallo extremadamente bajas, que sería difícil o imposible de conseguir empleando unos métodos menos formales.



El 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: setrata 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».La filosofía de sala limpia fue propuesta por primera vez para la ingeniería del software por parte de Mills y sus colegas durante los años 80. Aun cuando las primeras experiencias acerca de este enfoque disciplinado para los trabajos relacionados con el software mostraban promesas significativas, no ha alcanzado una amplia utilización. Henderson sugiere tres posibles razones:

La creenciaen que la metodología de sala limpia es excesivamente teórica, excesivamente matemática y excesivamente radical para utilizarla en el desarrollo de software real.

        * No propugna una comprobación unitaria por parte de los desarrolladores, sino que la sustituye por una verificación de la corrección y por un control estadístico de la calidad estos conceptos que representan una desviaciónfundamental con respecto a la forma en que se desarrolla la mayor parte del software en la actualidad.

         * La madurez de la industria de desarrollo del software. El uso de procesos de sala limpia requiere una aplicación rigurosa de procesos definidos en todas las fases del ciclo de vida. Dado que la mayor parte de la industria funciona todavía en el nivel ad hoc (según se ha definidopor parte del Software Engineering Institute Capability Maturity Model), la industria no ha estado preparada para aplicar estas técnicas.

       *Aun cuando existen ciertos indicios de verdad en todas las indicaciones expresadas anteriormente, los posibles beneficios de la ingeniería del software de sala limpia compensan más que sobradamente la inversión requerida para superar la resistenciacultural que se encuentra en el núcleo de estas objeciones.


Componentes del software
"Un componente de software (CS) es una unidad de composición con interfaces especificadas en forma de contrato y con dependencias de contexto explícitas. Un componente de software puede ser desplegado (deployed) o instalado independientemente y es sujeto a ser composición por terceras entidades".
Vamos loque quiere decir esta definición es que un CS puede ser instalado en algún lugar (llámese software o sistema) pero que tiene que cumplir con ciertas especificaciones (interfaces) o bien bajo cierto contexto (tecnología posiblemente), ejemplos de CS sería por ejemplo, los assemblies de .NET, los EJB's de J2EE, los applets de Java, incluso los Java Beans.
 


Ingeniería de software basada en...