P. 1
Ingenieria Del Software de Sala Limpia

Ingenieria Del Software de Sala Limpia

|Views: 8|Likes:

More info:

Published by: José Esteban Hernández on Jan 08, 2014
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/19/2014

pdf

text

original

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.

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->