2. Programación

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á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 prueba.
-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. 
•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 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.
Técnicas de verificación y validacion
Pruebas del Software: „ Se contrasta dinámicamente la respuesta de prototipos ejecutables del sistema con el comportamiento operacional esperado. „ Técnicas de validación dinámicas => El sistema se ejecuta „ Requiere disponer de prototipo ejecutables, por lo que sólo pueden utilizarse en ciertas fases del proceso.
Proceso de depuración
Proceso de depuración: Proceso que localiza y corrige los errores descubiertos durante la verificación y validación. „ Es un proceso complicado pues no siempre los errores se detectan cerca del punto en que se generaron. „ Se utilizan herramientas de depuración, que facilitan el proceso. Después de reparar el error, hay que volver a probar el sistema (pruebas de regresión). „ La solución del primer fallo puede dar lugar a nuevos fallos.Es un proceso independiente que no tiene porqué estar integrado:
 • La verificación y validación establece la existencia de defectos en el programa. 
• La depuración es el proceso que localiza el origen y corrige estos defectos.