1 1 Contextualizacic3b3n De La Verificacic3b3n Y Validacion

Verificación y Validación
de Software
1.1 Contextualización de la Verificación y
Validación

Verificación y Validación v&v

 Conjunto de procesos de comprobación y

análisis que aseguran que elsoftware que se
desarrolla está acorde a su especificación y
cumple las necesidades de los clientes.

Verificación
 ¿Estamos construyendo el producto

correctamente?
 Se prueba que el software cumplelos

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 clienteespera.

Importante

 Nunca se va a poder demostrar que el

software está completamente libre de
defectos.

Objetivos de V&V
 Descubrir defectos (para corregirlos)



Provocar fallas (una forma dedetectar
defectos)
Revisar los productos

 Evaluar la calidad de los productos


El probar o revisar el software da una idea de
la calidad del mismo.

Identificación y Corrección de
Defectos
Identificación de defectos


Es el proceso de determinar que defecto o
defectos causaron la falla.

 Corrección de defectos


Es el proceso de cambiar el sistema para
remover los defectos.

Ejemplo
 Elprograma lee tres números enteros, los

que son interpretados como
representaciones de las longitudes de los
lados de un triángulo. El programa escribe un
mensaje que informa si el triángulo esescaleno, isósceles o equilátero.
 Quiero detectar defectos probando el
programa

 Posibles casos a probar:






Lado1 = 0, lado2 = 1, lado3 = 0
Resultado = error
Lado1 = 2, lado = 2, lado3 = 3Resultado = isósceles

 Estos son Casos de Prueba

 Después se compara el resultado esperado con el

obtenido.


Si son distintos probablemente haya fallado el
programa.

 Intuitivamente que otroscaos sería bueno probar.
 Lado1 = 2, lado2 = 3, lado3 = 4
 Resultado = escaleno
 Casos de prueba para cada posible respuesta del

programa (error, escaleno, isósceles, equilátero.)

¿Quién...