Generación automática de casos de test para EPAs : un enfoque basado en algoritmos genéticos

• Autores: Antonio, Pablo Oscar
• Año de publicación: 2017
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: Galeotti, Juan Pablo
• Materia: TESTING DE SOFTWARE; GENERACION DE CASOS DE TEST; PROTOCOLOS; API; EVO-SUITE
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

Hay ciertos tipos de programas que poseen requerimientos no triviales con respecto al orden en que se ejecutan las distintas partes de su código para producir determinados resultados; APIs, interfaces gráficas o servidores web son ejemplos de estos. Además, existen formas de representar los distintos estados de estos componentes y las acciones que deben ocurrir para que estos pasen de un estado a otro, como las EPAs (Enabledness Preserving Abstractions). Existe investigación previa que sugiere que la alta cobertura de la EPA de un componente, por parte de una test suite, es un buen predictor del número de fallas que el test suite puede llegar a encontrar[1]. El mismo trabajo sugiere que la obtención de mayores coberturas de EPA no implica, necesariamente, test suites más grandes. Estos resultados invitan a pensar que una herramienta de generación automática de casos de test que tuviera en cuenta la EPA del componente a probar podría ser muy efectiva y útil. En esta tesis nos proponemos adaptar la herramienta EvoSuite para que esta tenga en cuenta la EPA asociada al componente a la hora de generar casos de test para el mismo. A partir de esta herramienta adaptada, nos proponemos realizar experimentos con diferentes sujetos (clases) con el fin de evaluar la eficiencia y la eficacia de esta en generar conjuntos de test con alta cobertura de EPA, y su impacto en otras métricas como la cobertura de código (líneas y ramas). Además, buscaremos corroborar la hipótesis de que altas coberturas de EPA se condicen con una mayor efectividad en la detección de fallas. Como último objetivo, nos proponemos explorar el uso de esta herramienta en la detección de incongruencias entre el código y su modelo de EPA asociado.
Fil: Antonio, Pablo Oscar. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.