Ciclo de vida de un software

Ciclo de vida del software

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.

'Confiable, predecible y eficiente.

Objetivos

`Bohem: determinar el orden de las etapas involucradas en el desarrollo del software, establecer el criterio de transición para progresar deuna etapa a la siguiente:

'criterio para determinar la finalización

'criterio para comenzar y elegir la siguiente.

'Así un modelo de proceso apunta a:

'¿Qué debemos hacer a continuación?'¿Por cuánto tiempo debemos hacerlo?

Ingeniería de requerimientos

'¿Qué?

'Identificar y documentar los requerimientos exactos del sistema según las necesidades de los usuarios finales.'Cualidades del sistema.

'Funcionales, no"funcionales, del proceso y del mantenimiento

Estructura

Diseño " Especificación

Función

'¿Cómo?

'Dividir el sistema en partes y establecer lasrelaciones entre ellas.

'Arquitectura y diseño detallado.

'Establecer qué hará exactamente cada parte.

'En esta fase se crea un modelo funcional-estructural de los requerimientos.

'Eldiseño debe permitir implementaciones que verifiquen los requerimientos.

Verificación

'Comprobar que los distintos productos del ciclo de vida del software verifican las propiedades y funcionesestablecidas en los requerimientos.

'Testing vs. Análisis

'Testing funcional y estructural

'Ejecución simbólica

'Verificación & Validación

Modelo de transformaciones Formales

'Ver eldesarrollo de software como una secuencia de pasos que transforman un modelo en implementación.

'La naturaleza formal de la derivación puede proveer una forma de verificación matemático/lógica quedemuestra que un paso es la correcta transformación del anterior.

'Construir la prueba de corrección junto con el sistema a partir de un modelo formal.

... transformaciones formales

'Cada...