Ingeniería del Software de Sala Limpia

La ingeniería del software designa el conjunto de técnicas destinadas a la producción de un producto software, más allá de la sola actividad de programación. Forman parte de esta disciplina las ciencias computacionales y el manejo de proyectos, entre otros campos, propios de la rama más genérica denominada ingeniería informática. A su vez el software es el conjunto de instrucciones que permite al hardware de la computadora desempeñar trabajo útil. En los primeros años del presente siglo, las reducciones de costo en hardware llevaron a que el software fuera un componente que participa en muchos de los dispositivos usados por las sociedades industrializadas. Asimismo, se considera parte del software a la documentación generada durante el desarrollo del proyecto. El modelo de métodos formales acompaña a un conjunto de actividades que conducen a la especificación matemática del software. Los métodos formales permiten que un ingeniero especifique, desarrolle y verifique un sistema aplicando una notación rigurosa y matemática. Hay una variación, que se utiliza por algunos ingenieros del software conocida como: “ingeniería del software de sala limpia”. Cuando se utilizan métodos formales, se eliminan muchos de los problemas que son difíciles de superar con las metodologías habituales: la ambigüedad, la completitud y la inconsistencia se descubren y se corrigen de manera más sencilla, mediante la aplicación del análisis matemático.

Las ventajas de los métodos formales son: (1) Se comprende mejor el sistema. (2) La comunicación con el cliente mejora ya que se dispone de una descripción clara y no ambigua de los requisitos del usuario. (3) El sistema se describe de manera precisa. (4) El sistema se asegura matemáticamente que es correcto según las especificaciones. (5) Mayor calidad del software respecto al cumplimiento de las especificaciones. (6) Mayor productividad. La falta de madurez en la práctica de los métodos formales es la causa de la imposibilidad de utilizar los métodos formales a nivel industrial tal y como se utilizan otros métodos de la ingeniería del software. Algunas de estas causas son las siguientes: (1) El desarrollo de herramientas que apoyen la aplicación de métodos formales es complicado y los programas resultantes son incómodos para los usuarios. (2) Los investigadores por lo general, obviamente con salvadas excepciones, no conocen la realidad industrial. (3) Es escasa la colaboración entre la industria y el mundo académico, que en ocasiones se muestra demasiado dogmático. (4) Se considera que la aplicación de métodos formales encarece los productos y ralentiza su desarrollo.

además se puede incluir funcionalidad y orientación a objeto. El resultado final es una tasa de fallo extremadamente baja. El acercamiento toma su nombre de los cuartos limpios usados en la fabricación de la precisión. la caja de estado y caja limpia. como mecanismo fundamental para encontrar y eliminar errores. Mediante el uso del enfoque de estructura de . en términos significativos para el cliente. y en la certificación de la fiabilidad del software. y funcionamiento. se manifiesta mediante los requerimientos globales del producto que se van desarrollando empleando los métodos de la ingeniería de sistemas. Una vez asignada la funcionalidad al elemento de software del sistema. Tres tipos especiales de funciones matemáticas son importantes en el desarrollo de sala limpia. (4) Diseño formal. El propósito del proceso del análisis de requerimientos consiste. en definir requisitos para el producto software. Estas funciones son conocidas como la caja negra. por una parte.La tecnología de dotación lógica de sala limpia es un acercamiento al desarrollo del software lógico. haciendo hincapié en la verificación de la corrección. más que en la comprobación. ambiente. que mejora calidad y reduce costos. (2) Recolección de requisitos. En la tecnología de dotación lógica de sala limpia. debido a su correspondencia y correlación en el proceso de descomposición y verificación. La planificación incremental permite calidad temprana y continua interacción con el usuario. incluyendo función. La sucesión de tareas de sala limpia para cada incremento. la parte complementara constituye el obtener un acuerdo con el cliente en los requisitos como base para la función y especificación de uso. uso. que pueda dar lugar a un software con una calidad notablemente alta. En la estructura de las cajas se pueden aplicar una variedad de estrategias de descomposición. Las mismas prácticas se pueden aplicar al desarrollo del producto software. El acercamiento incremental evita los riesgos inherentes a la integración tardía en el ciclo de desarrollo. Emplea la especificación de estructura de cajas para el modelado de análisis y diseño. 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 la verificación matemática de la corrección. Los equipos de la prueba utilizan control de calidad estadístico para certificar la calidad del sistema. que sería difícil o imposible de conseguir empleando métodos menos formales. Se aplica una comprobación estadística de uso para desarrollar la información relativa a la tasa de fallos necesaria para certificar la fiabilidad del producto software. (3) Especificación de la estructura de cajas. donde las técnicas estadísticas del control de calidad acentúan la prevención del defecto concluido el retiro del defecto. el desarrollo incremental permite la mejora continua del proceso. obteniendo productos que son casi sin defecto incluso antes de realizar las respectivas pruebas. el tubo de la sala limpia comienza sus incrementos y se producen las siguientes tareas: (1) Planificación de incrementos. Facilita mejoras de proceso mientras progresa el desarrollo. Los equipos de diseño aplican el desarrollo y las técnicas de revisión basadas en métodos formales a los sistemas. La ingeniería del software de sala limpia es un enfoque formal para el desarrollo del software.

primero establecidas en el plan de medida y refinadas en el plan de prueba de incremento. las que se refinan utilizando una expansión progresiva de funciones matemáticas en estructuras de conectivas lógicas. Esta caja encapsula los datos de estados y de servicios de forma análoga a los objetos. La “aptitud para el uso” se define con respecto a los modelos de uso y a las metas de la certificación empleados en el proceso de prueba. El equipo de sala limpia lleva a cabo una serie de rigurosas actividades de verificación de corrección. Especifica el comportamiento del sistema. La ingeniería del software de sala limpia se diferencia de otros métodos o paradigmas por las siguientes razones: (1) Hace uso explícito del control estadístico de calidad. 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. al interior de la ingeniería del software de sala limpia. (3) Hace mucho uso de la comprobación estadística de utilización para descubrir errores de especial incidencia. En esta vista de especificación. el diseño de sala limpia es una extensión natural y sin discontinuidades de la especificación. los criterios de entrada. o de una parte de un sistema. . Las especificaciones de estructura de caja que se representan mediante un lenguaje especializado se traducen en un lenguaje de programación adecuado. (2) Verifica la especificación del diseño empleando una demostración de corrección basada en las matemáticas. (2) Caja de estado. Una caja encapsula el sistema con un cierto grado de detalle. La técnica y estrategia de la comprobación de la sala limpia es fundamentalmente distinta de los enfoques convencionales de comprobación. Mediante un proceso de refinamiento progresivo. El propósito del proceso estadístico de uso y certificación es demostrar la aptitud del software para el uso en un experimento estadístico formal. Los participantes proporcionan los objetivos. inspección y verificación. las tareas. Los métodos convencionales derivan de un conjunto de casos de prueba para descubrir errores en el diseño y codificación del producto software. la verificación. (6) Generación de código. El propósito del proceso de verificación de la corrección. las cuales se aplican primero al diseño y después al código. (5) Verificación de corrección. se van refinando las cajas para formar una jerarquía en la cual cada caja tiene una transferencia. las medidas y los criterios comunes de la salida en los procesos. Se refiere a la comprobación estadística de uso y certificación. se utilizan tres tipos de cajas: (1) Caja negra. Esta filosofía contiene las funciones básicas de procesamiento. así como elementos de proceso común. se representan las entradas a la caja de estados y sus salidas.cajas. Las metas de certificación. (3) Caja transparente. se pueden expresar en términos tales como el índice de confiabilidad del software. (7) Planificación de la comprobación estadística. Las funciones de transición que están implicadas en la caja de estados se definen en la caja transparente. Para esto. es verificar la corrección del incremento asociado al producto software utilizando técnicas matemáticas.

Sign up to vote on this title
UsefulNot useful