verificacion y validacion

Verificació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

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

1

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

Identificar practicas

Mantenimiento

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

Integración
y validación

corporativas

Verificación

Análisis de requisitos

Análisis

CodificaciónDiseño

Ingeniería de 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 elanálisis estático como 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 deProgramació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 softwareVerificación:
¿Estamos construyendo 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 defectosIngeniería de Programación 2009

Verificació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 ycontinúa con las revisiones del diseño y 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?
Elpapel de la verificación comprende comprobar 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á decomprobar si el
sistema está acorde con su especificació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...