Ciclo de vida del software

Objetivos
Bohem: determinar el orden de las etapas involucradas en el desarrollo del software, establecer el criterio de transición para progresar de una etapa a la siguiente:
criterio paradeterminar la finalización criterio para comenzar y elegir la siguiente.

Ciclo de vida del software

Así un modelo de proceso apunta a:
¿Qué debemos hacer a continuación? ¿Por cuánto tiempo debemoshacerlo?
Estudio de factibilidad

Definición
El proceso que se sigue para construir, entregar y hacer evolucionar el software, desde la concepción de una idea hasta la entrega y el retiro delsistema.

Modelo de cascada
Prototipación

Ingeniería de requerimientos

Flujo secuencial entre las fases. Cada etapa tiene un input y un output. Se supone que para comenzar con una etapa deben haberfinalizado las anteriores. Contribuciones: El proceso debe ser disciplinado, planeado y gerenciado La implementación debe posponerse hasta que los objetivos se hayan comprendido

DiseñoEspecificación

Codificación

Confiable, predecible y eficiente.

Verificación

Entrega y mantenimiento

Ingeniería de requerimientos
¿Qué? Identificar y documentar los requerimientos exactos delsistema según las necesidades de los usuarios finales. Cualidades del sistema. Funcionales, no−funcionales, del proceso y del mantenimiento

Verificación
Comprobar que los distintos productos del ciclode vida del software verifican las propiedades y funciones establecidas en los requerimientos. Testing vs. análisis Testing funcional y estructural Ejecución simbólica Verificación & ValidaciónEstructura

Diseño − Especificación
Función

Modelo de transformaciones formales
Ver el desarrollo de software como una secuencia de pasos que transforman un modelo en implementación. La naturalezaformal de la derivación puede proveer una forma de verificación matemático/lógica que demuestra que un paso es la correcta transformación del anterior. Construir la prueba de corrección junto con...