verificacion y validacion
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...
Regístrate para leer el documento completo.