Prueba De Software
Pruebas del Software
Dr. Macario Polo Usaola Departamento de Tecnologías y Sistemas de Información Paseo de la Universidad, 4 13071-Ciudad Real macario.polo@uclm.es Ciudad Real, febrero de 2006
Índice
1.Introducción.......................................................................................... 3 1.01 1.02 El proceso de pruebas en el ciclo de vida ..................................... 3 Modelos de procesos para pruebas .............................................. 4 Las pruebas en el CMM ......................................................... 4 El MTPF (Minimal Test Practice Framework)......................... 5
1.02.1 1.02.2 1.03 2. 3. 4. 5.
Automatización delas pruebas ..................................................... 7
Pruebas de requisitos........................................................................... 8 Pruebas del diseño............................................................................... 8 Revisiones e inspecciones de código fuente........................................ 9 Pruebas estructurales o de cajablanca.............................................. 10 5.01 Criterios de cobertura de código ................................................. 10 Cobertura de sentencias ...................................................... 10 Cobertura de decisiones ...................................................... 10 Cobertura de condiciones .................................................... 11 Cobertura decondiciones múltiples ..................................... 11 Cobertura de condiciones/decisiones .................................. 11 Cobertura de caminos.......................................................... 11 Cobertura de funciones ........................................................ 11 Cobertura de llamadas......................................................... 11 Cubrimiento de bucles......................................................... 11 Cubrimiento de carrera ........................................................ 12 Cobertura de operadores relacionales ................................. 12 Cobertura de tablas.............................................................. 12 La mutación como criterio de cobertura ............................... 12
5.01.1 5.01.2 5.01.35.01.4 5.01.5 5.01.6 5.01.7 5.01.8 5.01.9 5.01.10 5.01.11 5.01.12 5.01.13 5.02
Criterios de cobertura de casos de prueba ................................. 16 Cada uso (each-used, o 1-wise) .......................................... 16 pair-wise (o 2-wise) .............................................................. 16t-wise.................................................................................... 16 N-wise .................................................................................. 16
5.02.1 5.02.2 5.02.3 5.02.4 6.
Estrategias de combinación para la generación de casos de prueba 16 6.01 No deterministas ......................................................................... 17 AETG: Automatic efficient test generator ............................. 17
6.01.11
6.01.2 6.01.3 6.02
Simulated annealing............................................................. 18 Algoritmos Genéticos ........................................................... 18
Estrategias deterministas ............................................................ 22 Each choice.......................................................................... 22 Basechoice.......................................................................... 22 All combinations ................................................................... 22 Anti-random.......................................................................... 22 k-bound ................................................................................ 22
6.02.1 6.02.2 6.02.3 6.02.4 6.02.5 6.03
Estrategias...
Regístrate para leer el documento completo.