Universidad Catlica de Honduras Nuestra Seora Reina de la Paz Campus Dios Espritu Santo Catedrtico: Ing.

Oscar Pineda Ctedra: Desarrollo de Software Integrantes: Blanca Susana Cruz Cinthia Sarahi Romero Geovanny Francisco Rocha Gustavo Rene Galindo Lourdes Izamar lvarez Choluteca 13 de Febrero del 2012

TABLA DE CONTENIDO

INTRODUCCION ............................................................................................. 2 INGENIERIA DE SOFTWARE DE SALA LIMPIA ....................................... 3 EL ENFOQUE DE SALA LIMPIA ................................................................ 5 TAREAS DE SALA LIMPIA ......................................................................... 5 CAJAS DE SALA LIMPIA ............................................................................ 7 DIFERENCIA DE LA SALA LIMPIA ........................................................... 8 REFINAMIENTO Y VERIFICACIN DEL DISEO ................................. 9 VENTAJAS DE LA VERIFICACIN DEL DISEO .................................................. 10 COMPROBACION DE LA SALA LIMPIA ................................................ 11 COMPROBACIN DE ESTADSTICA DE CASOS PRCTICOS ................................ 11 CERTIFICACIN .............................................................................................. 11 CONCLUSIONES ........................................................................................... 12

INTRODUCCION

En el siguiente informe trataremos acerca de la ingeniera de software de sala limpia, ya que es un enfoque formal para el desarrollo de software, que pueda dar lugar a un software que posea una calidad alta. Esta ingeniera realiza una serie de tareas, emplea la estructura de cajas o mtodos formales y se basa ms en la verificacin de la correccin para encontrar los errores.

INGENIERIA DE SOFTWARE DE SALA LIMPIA

La ingeniera 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 especificacin de estructura de cajas (o

mtodos formales) para el modelado de anlisis y diseo, y hace hincapi en la verificacin de la correccin, ms que en la comprobacin, como mecanismo fundamental para hallar y eliminar errores. Se aplica una comprobacin estadstica de utilizacin para desarrollar la informacin de tasa de fallos necesaria para certificar la fiabilidad del Software proporcionado.

La filosofa de sala limpia es un enfoque riguroso de la ingeniera del Software. Se trata de un modelo de proceso del Software que hace hincapi en la verificacin matemtica de la correccin, y en la certificacin de la fiabilidad del Software. El resultado final son unas tasas de fallo extremadamente bajas, que sera difcil o imposible de conseguir empleando unos mtodos menos formales. Este enfoque hace hincapi en la necesidad de incluir la correccin en el software a medida que ste se desarrolla. En lugar del ciclo bsico del anlisis, diseo, comprobacin y depuracin, el enfoque de sala limpia sugiere un punto de vista distinto: La filosofa que subyace a la ingeniera del software de sala limpia consiste en la edicin de dependencias de costosos procesos de eliminacin de defectos, mediante la escritura de incrementos de cdigo desde un primer momento y mediante la verificacin de correccin antes de la comprobacin. Su modelo de proceso incluye la certificacin estadstica de calidad de los incrementos de cdigo, a medida que estos se van acumulando en el sistema. El proceso de sala limpia hace hincapi en el rigor, en la especificacin y en el diseo, y en la verificacin formal de cada uno de los elementos del modelo de diseo resultante mediante el uso de pruebas de correccin basadas en fundamentos matemticos. Al extender el enfoque adoptado en los mtodos formales, el enfoque de sala limpia hace hincapi tambin en tcnicas de control estadstico de calidad, incluyendo las comprobaciones basadas en el uso anticipado del software por parte de los clientes. La ingeniera del software de sala limpia es un modelo de proceso que elimina los defectos antes de que pueda andar lugar a riesgos graves. Hace hincapi en la

necesidad de producir unos modelos de anlisis y de diseo de muy alta calidad.

EL ENFOQUE DE SALA LIMPIA

La filosofa de la sala limpia en las tcnicas de fabricacin de hardware es la siguiente: Se trata de una forma efectiva y eficiente en trminos de tiempo de establecer un enfoque de fabricacin que impida la introduccin de defectos de produccin. En lugar de fabricar un producto y dedicarse despus a eliminar defectos, este enfoque demanda la disciplina necesaria para eliminar errores en las especificaciones y en el diseo. Este enfoque no ha alcanzado gran difusin. Henderson sugiere tres posibles argumentos: 1. La creencia que la metodologa es excesivamente terica, matemtica y radical para utilizarla en el desarrollo de software real. 2. No propugna una comprobacin unitaria por parte de los desarrolladores, sino que la sustituye por una verificacin de la correccin y por un control estadstico de la calidad. (Distinto al modo convencional)

3. El uso de procesos de sala limpia requiere una aplicacin rigurosa de procesos definidos en todas las fases del ciclo de vida. La industria no est preparada para esto.

TAREAS DE SALA LIMPIA

En el enfoque de sala limpia se desarrolla un tubo de incrementos de software por parte de equipos de ingeniera del software pequeo e independiente. A

medida que se va certificando cada incremento, se integra en el todo. La funcionalidad del sistema va creciendo con el tiempo. La sucesin de tareas de sala limpia para cada incremento, se manifiesta mediante unos requisitos globales del sistema o producto que se van desarrollando empleando los mtodos de ingeniera de sistemas. Una vez que se han asignado una funcionalidad al elemento de software del sistema el tubo de la sala limpia comienza sus incrementos y se producen las siguientes tareas. Planificacin de Incrementos: Se desarrolla un plan de proyecto que adopta la estrategia incremental. Recoleccin de requisitos: Mediante el uso de tcnicas, se desarrolla una descripcin ms detallada del nivel del usuario. Especificacin de la estructura de cajas: Se utiliza un mtodo de especificacin que hace uso de estructuras de caja para describir la especificacin funcional. Diseo Formal: Mediante el uso del enfoque de estructura de cajas, el diseo de sala limpia es una extensin natural y sin discontinuidades de la especificacin. Verificacin de Correccin: El equipo de sala limpia lleva a cabo una serie de rigurosas actividades de verificacin de correccin aplicadas primero al diseo y despus al cdigo. Generacin de Cdigo, inspeccin y verificacin: Las especificaciones de estructura de caja que se representan mediante un lenguaje especializado se traducen la lengua de programacin mas adecuado. Planificacin de la comprobacin estadstica.: La utilizacin estimada del software se analiza y se planifica y se disea un conjunto de casos de prueba que ejerciten la distribucin de probabilidad. Comprobacin estadstica de utilizacin: Ejecutan una coleccin de pruebas derivadas de una muestra estadstica.

 Certificacin: Es la inspeccin y la comprobacin de utilizacin.

CAJAS DE SALA LIMPIA

Independientemente del modelo de anlisis seleccionado. Se modelan los datos, la funcin y el comportamiento. Los modelos resultantes deben ser desglosados para proporcionar un grado de detalle cada vez ms elevado. El objetivo global consiste en pasar de una especificacin que captura la esencia de un problema a una especificacin que proporciona una cantidad de detalle sustancial para su implementacin. Emplea un mtodo llamado Estructura de Cajas: Una caja encapsula el sistema con cierto grado de detalle. Mediante un proceso de refinamiento progresivo, se van refinando las cajas para formar una jerarqua en la cul cada caja tiene transferencia referencial: El contenido de informacin de cada especificacin de caja basta para definir su refinamiento, sin depender de la implementacin de ninguna otra caja. Esto capacita al analista para desglosar jerrquicamente el sistema. Se utilizan tres tipos de cajas:

Caja Negra: Especifica el comportamiento del sistema, o de una parte de un sistema. Especificacin: Es una abstraccin que describe la forma en que un sistema responde a unos estmulos. Las abstracciones de datos, las operaciones que manipulan estas abstracciones, se ven encapsuladas por la caja negra. Al igual que una jerarqua de clases, la especificacin de caja negra puede mostrara las jerarquas de utilizacin en que las cajas de nivel inferior heredan las propiedades de las cajas de nivel inferior dentro de la estructura de rbol. Caja de Estado: Esta caja encapsula los datos de estados y de servicios (operaciones) de forma anloga a los objetos. En esta vista de

especificacin, se representan las entradas de la caja de estados y sus salidas. Especificacin: Es una generalizacin sencilla de una mquina de estado. Un estado es algn modo observable de comportamiento del sistema. A medida que se produce el procesamiento, el sistema va respondiendo a sucesos (estmulos) efectuando una transicin que parte del estado actual y llega a algn nuevo estado. A medida que se efecta la transicin, puede producirse una accin. Utiliza una abstraccin de datos para determinar la transicin al estado siguiente, y la accin (respuesta) que se producir como consecuencia de la transicin. La caja de estado contiene una caja negra. Caja Transparente: Las funciones de transicin que estn implicadas en la caja de estados se definen en la caja transparente. Especificacin: Est ntimamente relacionada con el diseo de procedimientos y con la programacin estructurada. Es importante tener en cuenta que la especificacin de procedimientos descrita en la jerarqua de caja transparente se puede demostrar a efectos de correccin.

DIFERENCIA DE LA SALA LIMPIA

Existen diversos mtodos o paradigmas que nos reflejan la diferencia notoria de que sea sala limpia. Hace uso explcito del control estadstico de calidad. Verifica la especificacin del diseo empleando una demostracin de correccin basada en las matemticas. Hace mucho uso de la comprobacin estadstica de utilizacin para descubrir errores de especial incidencia.

El enfoque de sala limpia aplica la mayor parte de los principios bsicos de ingeniera del software. Prcticas convencionales: quita importancia al papel de la comprobacin y depuracin de unitarios y al reducir mucho las comprobaciones que son realizadas por quien desarrolla el software. En sala limpia, la comprobacin unitaria y la depuracin se ven sustituidas por una verificacin de correccin y por una comprobacin basada estadsticamente.

REFINAMIENTO Y VERIFICACIN DEL DISEO

El enfoque del diseo que se utiliza en la ingeniera del software de sala limpia hace mucho uso de la filosofa de programacin estructurada. Pero dicha programacin se aplica mucho ms rigurosa. Las funciones bsicas de procesamiento se refinan ahora utilizando una expansin progresiva de funciones matemticas en estructuras de conectivas lgicas y sub funciones, en donde la expansin se efecta hasta que todas las funciones identificadas pudieran ser enunciada directamente en el lenguaje de programacin utilizado para la implementacin. Los datos de programa se encapsulan con un conjunto de abstracciones a las cuales prestan servicio las sub funciones. Los conceptos de encapsulamiento de datos, ocultamiento de informacin y los tipos de datos se utilizan entonces para crear el diseo de datos. Cada especificacin de caja transparente representa el diseo de un procedimiento necesario para efectuar una transicin de caja de estado. Mediante la caja transparente, se utilizan las estructuras de programacin estructurada y de refinamiento progresivo. En cada nivel de refinamiento, el equipo de sala limpia lleva a cabo una verificacin formal de correccin. Para lograr esto, se asocia un conjunto de condiciones genricas de correccin a las estructuras de programacin estructurada.Es importante tener en cuenta que la utilizacin de estructuras de programacin estructurada restringe el nmero de comprobaciones de correccin que es preciso efectuar. Se verifica una sola condicin en busca de sucesiones; se verifican dos condiciones para los si-entonces-sino; y se verifican tres condiciones para los bucles.

Ventajas de la verificacin del diseo

La verificacin de correccin rigurosa de cada uno de los refinamientos del dis eo de cajatransparente posee un cierto nmero de ventajas evidentes: Se reduce la verificacin de un proceso finito La forma anidada y secuencial, en que se organizan las estructuras de control en una caja transparente, define de manera natural una jerarqua que revela las condiciones de correccin que es preciso verificar. Un axioma de sustitucin nos permite remplazar las funciones objetivo por sus refinamientos de estructura de control dentro de la jerarqua de sub demostraciones. Permite que los equipos de sala limpia verifiquen todas las lneas de diseo y cdigo A parte se pueden realizar pruebas escritas cuando se necesite una confianza adicional. Da lugar a un nivel de defectos prximo a cero El requisito de acuerdo unnime basado en las verificaciones individuales de resultados da lugar a un software que posee pocos o ningn defecto antes de su primera ejecucin. Es escalable Produce un cdigo mejor que la comprobacin unitaria Porque la unitaria solamente comprueba los efectos de ejecutar vas de pruebas seleccionadas de entre muchas vas posible. Al basar la verificacin en la teora de funciones, el enfoque de sala limpia puede verificar todos y cada uno de los posibles efectos sobre los datos, porque aun cuando un programa pueda tener mltiples vas de ejecucin, solamente posee una funcin.

10

COMPROBACION DE LA SALA LIMPIA

Es algo fundamentalmente distinto de los enfoques convencionales de comprobacin. Los mtodos convencionales derivan de un conjunto de casos de prueba para descubrir errores de diseo y decodificacin. El objetivo de comprobacin de sala limpia es validar los requisitos de software mediante la demostracin de que una muestra estadstica de casos prcticos se ha ejecutado con xito.

Comprobacin de estadstica de casos prcticos

La primera cuestin que aborda la comprobacin estadstica de casos prcticos es la siguiente: Cul es el subconjunto de casos prcticos que verifica adecuadamente el comportamiento del programa? La comprobacin estadstica de casos prcticos equivale a comprobar el software en la forma en que los usuarios tienen intencin de utilizarlo. Para lograr es to, los equipos de comprobacin de sala limpia deben determinar la distribucin de probabilidad de utilizacin correspondiente al software. La especificacin (caja negra) de cada incremento del software se analiza para definir un conjunto deestmulos (entradas o sucesos) que pueden dar lugar a que el software modif ique suscomportamiento. Basndose en entrevistas con usuarios potenciales, en la creacin de escenarios de utilizacin, y en una comprensin general del dominio de la aplicacin, se asigna una probabilidad de utilizacin a cada uno de los estmulos. Los casos prcticos se generan para cada uno de los estmulos de acuerdo con la distribucin de probabilidad de utilizacin.

Certificacin

11

Las tcnicas de verificacin y comprobacin descritas anteriormente en este captulo dan lugar a componentes de software (y a incrementos completos) que se pueden certificar. En el contexto del enfoque de la ingeniera del software de sala limpia, la certificacin implica que la fiabilidad (medida por el tiempo mnimo entre fallos, TMEF) podr ser especificada para cada componente. El enfoque de certificacin implica cinco pasos:1)es preciso crear escenarios de utilizacin2)se especifica un perfil de utilizacin3)se generan casos de prueba a partir del perfil4)se ejecutan pruebas y los datos de los fallos se registran y se analizan5)se calcula y se certifica la fiabilidad. La Certificacin Requiere la creacin de tres modelos:

1. Modelo de muestreo La comprobacin de software ejecuta m casos de prueba aleatorios y queda certificada si no se produce ningn fallo o si se produce un nmero de fallos inferior al especificado. El valor de m se deriva matemticamente para asegurar que se alcance la fiabilidad necesaria. 2. Modelo de componentes Es preciso certificar un sistema compuesto por n componentes. El modelo de componentes capacita al analista para determinar la probabilidad de que falle el componente i antes de finalizar el programa. 3. Modelo de certificacin Se estima y certifica la fiabilidad global del sistema.

CONCLUSIONES

12

 El enfoque de sala limpia comienza por unos modelos de anlisis y diseo que hacen uso de una representacin de estructura de cajas. Si se satisfacen todas y cada una de las condiciones de salida, entonces el diseo debe ser correcto. La filosofa de sala limpia es un enfoque riguroso de la ingeniera del software. El resultado final son unas tasas de fallo extremadamente bajas.

13