Verificacion y

vVerificación y Validación

Ingeniería Software Ingeniería software
4º de Físicas 4º Físicas

Verificación y Validación
José M. Drake y Patricia López Computadores y Tiempo Real

Ingeniería de Programación 2009

1

Ingeniería de Programación (4º Físicas)

J.M. Drake

1

Verificación y Validación

Situación dentro del proceso de desarrollo

Verificación de software: Pruebas:•Prueba de unidades •Pruebas de integración. •Pruebas orientadas a fallos •Bancos de pruebas

Identificar practicas corporativas

Mantenimiento

Identificar practicas corporativas

Inspección: •Inspección y prueba •Inspección del software. •Análisis estático automatizado

Integración y validación

Análisis de requisitos

Verificación

Análisis Diseño

Codificación

Ingenieríade Programación 2009

Verificación y Validación

J.M. Drake

2

El objetivo de este tema es introducir la verificación y validación del software con énfasis en las técnicas de verificación estática y en la prueba dinámica de código. Objetivo de este tema son: •Comprender la diferencia entre verificación y validación del software. •Valorar la inspección del software y el análisis estáticocomo métodos de descubrir fallos y mejorar la calidad del software. • Conocer las técnicas de pruebas para descubrir fallos en el código. •Analizar las técnicas específicas para las pruebas de componentes y pruebas de sistemas orientados a objetos. •Importancia de las herramientas CASE para la verificación de software y apoyar el desarrollo de las pruebas.

Ingeniería de Programación (4º Físicas)J.M. Drake

2

Verificación y Validación

Verificación y Validación
Verificación y Validación (V&V): Conjunto de procesos de comprobación y análisis que aseguran que el software que se desarrolla está acorde a su especificación y cumple las necesidades de los clientes.
Existen actividades de V&V en cada etapa del proceso de desarrollo del software

Verificación: ¿Estamosconstruyendo el producto correctamente?
Se comprueba que el software cumple los requisitos funcionales y no funcionales de su especificación.

Validación:

¿Estamos construyendo el producto correcto?
Comprueba que el software cumple las expectativas que el cliente espera

Importante: Nunca se va a poder demostrar que el software está completamente libre de defectos
Ingeniería de Programación 2009Verificación y Validación

J.M. Drake

3

La verificación y validación es el nombre que se da a los procesos de comprobación y análisis que aseguran que el software que se desarrolla está acorde a su especificación y cumple las necesidades de los clientes. La V&V es un proceso de ciclo de vida completo. Inicia con las revisiones de los requerimientos y continúa con las revisiones del diseñoy las inspecciones del código hasta la prueba del producto. Existen actividades de V&V en cada etapa del proceso de desarrollo del software. La verificación y la validación no son la misma cosa , aunque es muy fácil confundirlas, Boehm (1979) expresó la diferencia entre ellas de forma sucinta: •Verificación: ¿Estamos construyendo el producto correctamente? El papel de la verificación comprendecomprobar que el software está de acuerdo con su especificación. Se comprueba que el sistema cumple los requerimientos funcionales y no funcionales que se le han especificado. •Validación: ¿Estamos construyendo el producto concreto? La validación es un proceso mas general. Se debe asegurar que el software cumple las expectativas del cliente. Va mas allá de comprobar si el sistema está acorde con suespecificación, para probar que el software hace lo que el usuario espera a diferencia de lo que se ha especificado. Es importante llevar a cabo la validación de los requerimientos del sistema de forma inicial. Es fácil cometer errores y omisiones durante la fase de análisis de requerimientos del sistema y, en tales casos, el software final no cumplirá la expectativas de los clientes. Sin...