Mantenimiento Avanzado De Sistemas De Información Pruebas Del Software
Información
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
1.01.1
Pruebas de requisitos ............................................................ 4
1.01.2
Pruebas del diseño ................................................................ 5
1.01.3
Revisiones e inspecciones del código fuente......................... 6
1.02
2.
Automatización de las pruebas ..................................................... 7Pruebas estructurales o de caja blanca ............................................... 8
2.01
Criterios de cobertura.................................................................... 8
2.01.1
Cobertura de sentencias ........................................................ 8
2.01.2
Cobertura de decisiones ........................................................ 9
2.01.3Cobertura de condiciones ...................................................... 9
2.01.4
Cobertura de condiciones múltiples ....................................... 9
2.01.5
Cobertura de condiciones/decisiones .................................... 9
2.01.6
Cobertura de caminos............................................................ 9
2.01.7
Cobertura defunciones.......................................................... 9
2.01.8
Cobertura de llamadas........................................................... 9
2.01.9
Cubrimiento de bucles ......................................................... 10
2.01.10
Cubrimiento de carrera ........................................................ 10
2.01.11
Cobertura de operadores relacionales................................. 10
2.01.12
Cobertura de tablas.............................................................. 10
2.02
Mutación...................................................................................... 10
2.02.1
Proceso de pruebas basado en mutación............................ 11
2.02.2
Operadores demutación...................................................... 12
2.03
Generación de casos de prueba con algoritmos de minimización
14
2.03.1
2.03.2
Algoritmos Genéticos (I)....................................................... 16
2.03.3
3.
Búsqueda Tabú.................................................................... 14
Algoritmos Genéticos (II)...................................................... 17
Pruebas funcionales ode caja negra ................................................. 17
3.01
Generación de casos de prueba ................................................. 17
3.01.1
Secuencias de métodos ....................................................... 17
3.01.2
Especificaciones formales o semiformales .......................... 18
1
3.01.3
Método ASTOOT................................................................. 21
3.01.4
Obtención automática de especificaciones algebraicas....... 24
3.02
Pruebas a partir de modelos ....................................................... 25
3.02.1
Diagramas de clases UML ................................................... 25
3.02.2
Criterios de cobertura de pruebas para diseños UML.......... 28
3.02.3Diagramas de estados ......................................................... 29
3.02.4
En otros diagramas .............................................................. 29
3.03
Pruebas de componentes ........................................................... 31
3.03.1
Uso de BIT wrappers ........................................................... 31
3.03.2
Mutación de...
Regístrate para leer el documento completo.