Automatic generation of test cases to improve code coverage in Java

Abstract

[EN] Given a test case and a program, there exist multiple tools that observe and analyze the execution of the program, determine which sentences have been executed and follow the value of the different variables. This Bachelor thesis allows, from such analysis, determine which blocks of code have not been executed and find the conditional expression or guard that controls its execution (assuming that it is reachable). Once located, it aims to find the input for which the guard is true, so that the block is executed. The goal is to help the programmer generate a better set of test cases, in order to maximize code coverage.

[ES] Dado un caso de prueba y un programa, existen múltiples herramientas que nos permiten analizar y observar la ejecución del programa y determinar qué sentencias han sido ejecutadas y seguir el valor de las distintas variables involucradas. Esta tesis pretende, a partir de este análisis, determinar qué bloques de código no han sido ejecutados y encontrar la expresión condicional que controla su ejecución (asumiendo que no es código muerto). Una vez localizada, se pretende encontrar la entrada necesaria para que dicho programa ejecute el bloque de código. El objetivo es ayudar al programador a generar casos de prueba para maximizar la cobertura de código.