Automatización y Gestión De Pruebas De Software
Macario Polo Usaola Grupo Alarcos Departamento de Tecnologías y Sistemas de Información Universidad de Castilla-La Mancha Macario.Polo@uclm.es
1/51Contenidos
• Introducción • Generación de casos de prueba • Metodologías/modelos de proceso
– MTPF – TMAP
2/51
Objetivo de las pruebas
• Encontrar errores en el SUT (System Under Test) •Para ello, intentamos ejecutar el SUT de “todas” las maneras posibles. • De alguna manera, tenemos que poder medir “cuánto sistema” se ha ejecutado • Conceptos importantes:
– – – – – Criterios decobertura Valores de prueba (test data) Ejecución de servicios Combinación de valores Existen, además, diferentes “niveles de prueba”
3/51
Niveles de prueba
4/51
Pruebas de desarrollo y desistema
• Caja blanca
• Caja negra
5/51
Criterios de cobertura
• • • • • • • • • • Sentencias Decisiones Condiciones Todos los usos Caminos Funciones Llamadas Bucles Mutantes … • • • • •Casos de uso Escenarios Carga máxima Valores de prueba …
6/51
Diseño de pruebas: valores de prueba o valores “interesantes”
• • • • Clases de equivalencia Valores límite Conjetura de erroresExperiencia del tester
Se proponen valores y, luego, se mezclan o combinan de alguna manera
7/51
Líneas de automatización
• Tareas de generación de casos
– A partir del código – A partir delconocimiento del programa – A partir de una especificación formal
• Tareas mecánicas
– Ejecución y control – Facilidades de reejecución
• Tareas administrativas
– Registro de especificaciones –Obtención de informes de resultados
8/51
Generación de casos
• Los valores de prueba se combinan para obtener buenos casos de prueba • Estrategias de combinación:
– Todas las combinaciones (allcombinations) – Each choice – Pairwise – n-wise – Random – Antirandom
9/51
Estrategias de combinación (I)
• Supongamos {0, 1, 2, 3, 4, 5, 6} como valores de prueba para los tres lados del...
Regístrate para leer el documento completo.