Especificaciones y Verificaciones de Software

Study Notes

Especificaciones y Verificaciones de Software

La ingeniería de software es una disciplina que se centra en todos los aspectos de la producción de software.
Los procesos de software son una serie de actividades relacionadas para la creación de un producto de software.
Las actividades en el proceso de SW incluyen la especificación, el diseño e implementación, la validación y la evolución del software.
Modelos de proceso de SW:
- Modelo en Cascada: Un modelo secuencial con fases como definición de requerimientos, diseño, implementación, prueba de unidad e integración.
- Desarrollo Incremental: Se desarrollan versiones del software en incrementos, con validación de cada una.
- Reutilización: Diseño de sistemas a partir de componentes preexistentes.
Especificación de SW:
- Estudio de factibilidad: Analiza la viabilidad de implementar nuevos requerimientos.
- Obtención y análisis de requerimientos: Recopilación y análisis de las necesidades.
- Especificación de requerimientos: Definición clara y precisa de los requerimientos del software.
- Validación de requerimientos: La comprobación de la exactitud de los requerimientos.
Diseño e implementación del SW:
- Diseño arquitectónico: Estructura general del software.
- Diseño de interfaz: Interacción del usuario con el programa.
- Diseño de componentes: Modulos individuales.
- Diseño de la base de datos: Almacenamiento de información.
Validación de SW:
- Prueba de desarrollo: Pruebas en etapas tempranas;
- Pruebas del sistema: Pruebas en el sistema completo.
- Pruebas de aceptación: Aprobación final.
Evolución del SW: Los sistemas de software son cada vez más flexibles, lo cual reduce la separación entre desarrollo y mantenimiento.
Cambio: Gestión y manejo de cambios en el software, incluye:
- Definición de requerimientos
- Valoración de sistemas existentes
- Propuesta de cambios al sistema
- Modificación de sistemas
- Sistemas Existentes
- Nuevo Sistema
Formas de enfrentar el cambio:
- Prototipo de sistema: Versión inicial para probar los requerimientos.
- Entrega incremental: Entrega de versiones parciales y mejoramiento progresivo.
Modelo en espiral de Boehm: Un marco de proceso de software dirigido por el riesgo. Cada ciclo representa una fase del proceso.
El Proceso Unificado Racional: Proceso iterativo con fases: Concepción, Elaboración, Construcción y Transición.
Ingeniería de requerimientos:
- Requerimientos del Usuario: Necesidades del usuario final.
- Requerimientos del Sistema: Especificaciones del sistema para cumplir esos requerimientos;
Requerimientos Funcionales: Funciones especificas del Sistema
Requerimientos No Funcionales: Caracteristicas del sistema (ejemplos: rendimiento, seguridad)
Especificación de Requerimientos:
- Lenguaje Natural: Descripción de requerimientos con palabras.
- Lenguaje Natural Estructurado: Descripción de requerimientos en forma estructurada.
- Especificaciones Matemáticas: Descripción con formulas o expresiones.
- Notaciones Gráficas: Diagramas para representar los requerimientos.
Ejemplos de Lenguaje Natural:
- Medición de azúcar (cada 10 minutos)
- Rutina de autoevaluación (cada minuto)
Ejemplos de Lenguaje Natural Estructurado:
- Descripción de la dosis de insulina a suministrar cuando el azúcar esta entre 3 y 7 unidades.
Ejemplos de Especificaciones Matemáticas:
- Nivel de azúcar en descenso
- Nivel de azúcar estable.
- Nivel de azúcar Creciente.
Notaciones Gráficas: Diagramas de flujo para representar la interacción de los componentes de un sistema.