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 el software 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 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.

Objetivos de V&V Descubrir defectos (para corregirlos) Provocar fallas (una forma de detectar 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 El programa 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 es escaleno, 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 = 3 Resultado = 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 otros caos 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 Verifica? Los desarrolladores Verificadores (especialistas en verificación) Depende de los tipos de pruebas que se vallan a aplicar.

Revisiones Informales Semi-formales Formales

Informales No hay procedimientos definidos, por lo que la revisión se realiza de la forma más flexible. Ventajas -> menor coste y esfuerzo, preparación corta, etc. Desventajas ->Detectan menos defectos.

Semi-formales Se definen unos procedimientos mínimos a seguir.

Formales Se define completamente el proceso. Revisión en detalle, por una persona o grupo distintos del autor, para: Verificar si el producto se ajusta a sus especificaciones o atributos de calidad y a los estándares utilizados en la empresa. Señalar las desviaciones sobre los estándares y las especificaciones. Recopilar datos que realimenten inspecciones posteriores (defectos recogidos, esfuerzo empleado, etc.)