Tenology

PRU Pruebas del software
1.Ejercicio previo: Problema del triángulo.......................... 3 2.Introducción........................................................................ 4 2.1 ¿Qué es probar?...................................................... 4 2.2 Ejemplos de errores famosos ................................ 4 2.3 ¿Por qué ocurren los errores?............................... 4 2.4¿Por qué es imposible probar un programa para encontrar TODOS los errores?............................ 6 2.5 Principios de las pruebas [Myers] ........................ 7 3. Técnicas de prueba........................................................... 10 3.1 Caja Blanca .............................................................. 11 3.1.1 Cobertura de sentencias ............................. 123.1.2 Cobertura de decisiones (cobertura de ramas)..................................................................... 12 3.1.3 Cobertura de condiciones ........................... 13 3.1.4 Cobertura de decisión/condición................ 14 3.1.5 Cobertura de múltiple condición ................ 15 3.1.6 Cobertura de bucles [Beizer90] .................. 16 3.1.7 Prueba del camino básico:Complejidad Ciclomática (McCabe)..................... 18 3.2 Caja Negra................................................................ 25 3.2.1 Partición en clases de equivalencia ........... 25 3.2.2 Análisis de valores límite............................. 29 4. Estrategia de prueba del software................................... 32 4.1 Prueba de unidad ....................................................33

Departamento de Informática

PRU-2

4.2 Prueba de integración............................................. 34 4.2.1 Integración descendente (Top-Down) ........ 36 4.2.2 Integración ascendente (Bottom-Up) ......... 36 4.2.3 Comparación entre las pruebas descendentes y ascendentes............................... 37 4.2.4 Prueba de regresión..................................... 38 4.3Prueba de validación............................................... 38 4.4 Prueba del sistema.................................................. 39 4.5 Prueba de aceptación ............................................. 40 5. Criterios de terminación ................................................... 41 6. Planificación de las pruebas ............................................ 42 7. Documentación delas pruebas ....................................... 43 Bibliografía............................................................................. 44

E. Díaz Fdez., M. Fdez. de Arriba

Pruebas del software (2009)

Departamento de Informática

PRU-3

1.Ejercicio previo: Problema del triángulo
Enunciado
Se tiene un programa que
• • •

Lee tres enteros de un fichero (a,b,c) Los tresenteros representan los lados de un triángulo Imprime un mensaje indicando el tipo de triángulo Escaleno Isósceles Equilátero No triángulo

NOTA: Se considera triángulo válido cuando: • Sus 3 lados son mayores que 0 • La suma de dos de sus lados es mayor que el tercero

Problema
Escribir el conjunto de casos de prueba para probar el programa anterior

E. Díaz Fdez., M. Fdez. de ArribaPruebas del software (2009)

Departamento de Informática

PRU-4

2.Introducción
2.1 ¿Qué es probar?
Erróneamente, la mayoría de la gente piensa que: - Probar es el proceso de demostrar que no hay errores. - Probar nos permite demostrar que el programa realiza lo que se supone que debe hacer. DEFINICIÓN CORRECTA “Probar es el proceso de ejecutar un programa con la intención de encontrarerrores” [Myers79]

2.2 Ejemplos de errores famosos
• The First "Computer Bug" (1945) • Therac-25 (1985-1987) • Sistema de Defensa de Misiles Patriot (1991) • El Rey León (1994) • División en punto flotante del Intel Pentium (1994) • NASA Mars Polar Lander (1999)

2.3 ¿Por qué ocurren los errores?

E. Díaz Fdez., M. Fdez. de Arriba

Pruebas del software (2009)

Departamento de Informática...