Edge-Pair Coverage: herramienta para la medición de cobertura de código mediante la técnica de caminos con profundidad de nivel 2 en Java

Abstract

La técnica de diseño de pruebas basada en la estructura denominada caminos con profundidad de nivel 2 pretende diseñar un conjunto de casos de prueba que asegure que todos los pares de aristas adyacentes del grafo de control de flujo asociado al código objeto de pruebas se ejecuten al menos una vez. Esta técnica es muy exhaustiva y no existen herramientas de medición de cobertura que comprueben que las pruebas diseñadas con esta técnica están cubriendo todos los caminos deseados. Este trabajo presenta una herramienta para Java que automatiza el proceso de medición de cobertura de pruebas diseñadas con esta técnica, ofreciendo un informe de cobertura de código tras la ejecución de las pruebas. Para ello, se ha desarrollado un agente en Java que, mediante instrumentación, analiza el código de un método, genera su grafo de control de flujo asociado, identifica las situaciones de prueba y registra de manera dinámica las situaciones de prueba que se van ejecutando cuando se ejecuta un juego de pruebas sobre ese código. Se ha implementado también un plugin para el entorno de desarrollo integrado IntelliJ que utiliza este agente y facilita el uso de la herramienta con una configuración simple por parte de los programadores y testeadores.