Plan de pruebas
Pruebas del Software
Dr. Macario Polo Usaola Departamento de Informática Paseo de la Universidad, 4 13071-Ciudad Real macario.polo@uclm.es
Índice
1. Introducción.......................................................................................... 3 1.01 El proceso de pruebas en el ciclo de vida .....................................3 Pruebas de requisitos ............................................................ 4 Pruebas del diseño ................................................................ 5 Revisiones e inspecciones del código fuente......................... 6
1.01.1 1.01.2 1.01.3 1.02 2.
Automatización de las pruebas ..................................................... 7
Pruebas estructurales o de cajablanca ............................................... 8 2.01 Criterios de cobertura.................................................................... 8 Cobertura de sentencias ........................................................ 8 Cobertura de decisiones ........................................................ 9 Cobertura de condiciones...................................................... 9 Cobertura de condiciones múltiples ....................................... 9 Cobertura de condiciones/decisiones .................................... 9 Cobertura de caminos............................................................ 9 Cobertura de funciones.......................................................... 9 Cobertura dellamadas........................................................... 9 Cubrimiento de bucles ......................................................... 10 Cubrimiento de carrera ........................................................ 10 Cobertura de operadores relacionales ................................. 10 Cobertura de tablas.............................................................. 10
2.01.1 2.01.2 2.01.3 2.01.4 2.01.5 2.01.6 2.01.7 2.01.8 2.01.92.01.10 2.01.11 2.01.12 2.02
Mutación...................................................................................... 10 Proceso de pruebas basado en mutación............................ 11 Operadores de mutación...................................................... 12
2.02.1 2.02.2 2.03
Generación de casos de prueba con algoritmos de minimización 14
2.03.1 2.03.2 2.03.3 3.Búsqueda Tabú.................................................................... 14 Algoritmos Genéticos (I)....................................................... 16 Algoritmos Genéticos (II)...................................................... 17
Pruebas funcionales o de caja negra ................................................. 17 3.01 Generación de casos de prueba................................................. 17 Secuencias de métodos ....................................................... 17 Especificaciones formales o semiformales .......................... 18
3.01.1 3.01.2
1
3.01.3 3.01.4 3.02
Método ASTOOT ................................................................. 21 Obtención automática de especificaciones algebraicas....... 24
Pruebas a partir de modelos....................................................... 25 Diagramas de clases UML ................................................... 25 Criterios de cobertura de pruebas para diseños UML.......... 28 Diagramas de estados ......................................................... 29 En otros diagramas .............................................................. 29
3.02.1 3.02.2 3.02.3 3.02.43.03
Pruebas de componentes ........................................................... 31 Uso de BIT wrappers ........................................................... 31 Mutación de interfaces ......................................................... 33
3.03.1 3.03.2 4. 5.
Resultados experimentales ................................................................ 34 Referencias...
Regístrate para leer el documento completo.