Nombre del estudiante: Marisol Zarate Ferrer

Materia: Ingeniería en Soporte Lógico.

Nombre del trabajo: Tarea 2

Fecha de entrega: 11 de julio de 2015

Campus: Querétaro

Proceso de sala limpia.

Es un método de ingeniería de software propuesto en los años 80 por Harlan Mills, es una técnica que puede dar lugar a un software de calidad extremadamente alta. Es un resultado de la combinación del modelo convencional de ingeniería de software, métodos formales, demostraciones de corrección y estadística de especificaciones para el aseguramiento de calidad (SQA).

Emplea la especificación de estructura de cajas para el modelado de análisis y diseño, haciendo hincapié en la verificación de la corrección, más que en la comprobación, como mecanismo fundamental para encontrar y eliminar errores. 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. 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, y en la certificación de la fiabilidad del software. El resultado final es una tasa de fallo extremadamente baja, que sería difícil o imposible de conseguir empleando métodos menos formales.

En la aplicación de este método se realizan las siguientes tareas:

Planificación de Incrementos. Permite calidad temprana y continúa interacción con el usuario. Facilita mejoras de proceso mientras el desarrollo progresa.

Recolección de requisitos. Su propósito es:

· Definir requisitos para el producto de software, incluyendo función, uso, ambiente, y funcionamiento.

· Obtener un acuerdo con el cliente en los requisitos como la base para la función y especificación del uso.

Especificación de la estructura de cajas. Tres tipos especiales de funciones matemáticas son importantes en el desarrollo a Sala limpia, estas funciones son conocidas como caja negra, de estado y caja limpia. En la estructura de las cajas se pueden aplicar una variedad de estrategias de descomposición, además se puede incluir funcionabilidad y orientación a objeto.

Diseño Formal. Dan los objetivos, los participantes, los criterios de entrada, las tareas, la verificación, las medidas y los criterios comunes de la salida en los procesos, así como elementos de proceso común.

Verificación de Corrección. El equipo de sala limpia lleva a cabo una serie de rigurosas actividades de verificación de corrección aplicadas primero al diseño y después al código. El propósito del proceso de la verificación de la corrección, es verificar la corrección del incremento del software usando técnicas matemáticas.

Generación de Código, inspección y verificación. Las especificaciones de estructura de caja que se representan mediante un lenguaje especializado se traducen la lengua de programación más adecuada.

Planificación de la comprobación estadística, Comprobación estadística de utilización y Certificación. El propósito del proceso estadístico de prueba y de 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, primero establecidas en el plan de medida y refinadas en el plan de prueba de incremento, se pueden expresar en términos tales como índice de confiabilidad del software.

Desventajas.

· La creencia de que es muy teórica y radical para aplicarla en un proyecto de software real.

· No promueve una revisión unitaria (modular o por clases) sino un control estadístico de calidad.

· Requiere revisiones muy rigurosas en cada etapa del ciclo, y la industria del software no ha alcanzado tal madurez.

Método B.

En el método B, una especificación formal se transforma en un programa a través de una serie de transformaciones que preservan la corrección.

El método B es un método de desarrollo de software basado en B, una herramienta basada en una notación máquina abstracta utilizada en el desarrollo de software. Originalmente fue desarrollado por Jean-Raymond Abrial en France y UK. B está relacionada con la notación Z y soporta el desarrollo del código del lenguaje de programación desde sus especificaciones. B ha sido utilizado mayormente en sistemas de misión crítica en Europa (como la línea 14 del metro de París).

Comparado con Z, B es de más bajo nivel y más enfocado en el refinamiento del código que en solo la especificación formal, es más fácil implementar correctamente una especificación escrita en B que en Z.

Recientemente, se ha desarrollado otro método formal llamado Evento-B, que se considera como una evolución de B. Es más fácil de aprender y usar que B.

Componentes principales:

· Máquina abstracta. El diseñador debe especificar el objetivo del diseño.

· Refinamiento.

o El diseñador puede completar la especificación con el fin de clarificar el objetivo o volver la máquina abstracta más concreta agregando más detalles acerca de las estructuras de datos y algoritmos que explican cómo puede lograrse la meta.

o La nueva versión, que se llama Refinamiento, debe ser probada en coherencia e incluir todas las propiedades de la máquina abstracta.

o El diseñador puede utilizar muchas librerías de B para ver la estructura de los datos, incluir o importar algunos componentes.

· Implementación.

o El refinamiento, en su momento, puede ser refinado una o muchas veces para obtener una versión determinante que se llama Implementación.

o Durante todos los pasos de desarrollo la misma notación de utiliza y la última versión puede traducirse a Ada, C o C++.

Características.

· Utiliza el mismo lenguaje en especificación, diseño y programación.

· El mecanismo incluye encapsulación y ubicación de datos.

· Una introducción más clara y cercana al concepto de refinamiento.

· Ha sido utilizado en aplicaciones de misión crítica en Europa, como la línea 14 del metro de París y Ariane 5.

RUP.

RUP (Proceso Unificado Racional), es un proceso de desarrollo de software. Es un conjunto de metodologías adaptables al contexto y necesidades de cada organización.

El ciclo de vida RUP es una implementación del Desarrollo en Espiral. Fue creado ensamblando los elementos en secuencias semi-ordenadas. El ciclo de vida organiza las tareas en fases e iteraciones.

El RUP divide el proceso de desarrollo en ciclos, teniendo un producto final al culminar cada una de ellos, estos a la vez se dividen en fases que finalizan con un hito donde se debe tomar una decisión importante:

· Concepción: se hace un plan de fases, se identifican los principales casos de uso y se identifican los riesgos

· Elaboración: se hace un plan de proyecto, se completan los casos de uso y se eliminan los riesgos

· Construcción: se concentra en la elaboración de un producto totalmente operativo y eficiente y el manual de usuario

· Transición: se Instala el producto en el cliente y se entrena a los usuarios. Como consecuencia de esto suelen surgir nuevos requisitos a ser analizados.

· Mantenimiento: una vez instalado el producto, el usuario realiza requerimientos de ajuste, esto se hace de acuerdo a solicitudes generadas como consecuencia del interactuar con el producto.

Fuentes.

Luis Fajardo. (2012). Ingeniería del software de sala limpia. Julio 2015, de Blogspot Sitio web: http://ingsoftluisf.blogspot.mx/2012/11/sala-limpia.html

Jpbowen. (2005). B-Method. Julio 2015, de Wikipedia Sitio web: https://en.wikipedia.org/wiki/B-Method

Eréndira Miriam Jiménez Hernández y Sandra Dinora Orantes Jiménez. (2012). Metodologías híbridas para desarrollo de software: una opción factible para México. Julio 2015, de Dirección General de Cómputo y de Tecnologías de Información y Comunicación -UNAM Sitio web: http://www.revista.unam.mx/vol.13/num1/art16/art16.pdf

Carlos Galindo González. (2012). La estructura estática del RUP y las iteraciones solapadas. Julio 2015, de Monografias.com Sitio web: http://www.monografias.com/trabajos67/estructura-estatica-rup-iteraciones-solapadas/estructura-estat...

	Created by marisol.zaratef almost 9 years ago

Tarea 2 Métodos formales de desarrollo de software.