Notas
Tarea 2 Métodos de desarrollo de software
Conteúdo das notas (1)
Página 1
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...
Informações
- Descrição
- Tarea 2 Métodos formales de desarrollo de software.
- Criado por
- marisol.zaratef
- Visualizações
- 69
- Tags
- Avaliação