Diseño e implementación de una herramienta para determinar la cobertura de las pruebas en Prolog

Abstract

[ES] Este Trabajo Fin de Grado aborda el diseño e implementación de una herramienta para medir la cobertura de las consultas realizadas en un programa Prolog. A diferencia de las herramienta existentes, este trabajo aporta como novedad la instrumentación del código para ofrecer una mayor portabilidad, medidas de cobertura mejoradas y una mayor facilidad de uso.

En el ámbito de Prolog, la secuencia de ejecución hace que sea un desafío determinar si las pruebas diseñadas para validar el comportamiento de un programa están cubriendo adecuadamente todo el código. Es esencial medir la cobertura en este contexto para entender cuánto del código está respaldado por casos de prueba y garantizar así la calidad del software desarrollado.

En la formulación del proyecto, se exploran diversas soluciones para el problema, profundizando en los posibles entornos, herramientas y en el diseño que la aplicación final podría tomar. La elección de una técnica de instrumentación se debe a que permite aprovechar las herramientas propias del lenguaje sin la necesidad de utilizar un entorno separado durante su uso.

El proceso de desarrollo adopta la metodología Scrum, adaptada específicamente para este problema. Esta metodología define un enfoque iterativo, en el que se realizan pequeños avances que facilitan la adaptabilidad ante los cambios y la nueva información adquirida durante el desarrollo.

En definitiva, este Trabajo Fin de Grado integra las herramientas del lenguaje Prolog en el proceso de instrumentación, proponiendo una alternativa mejorada a los métodos existentes de medición de cobertura de código. Esta herramienta destaca la capacidad de los lenguajes de programación lógica en la resolución de problemas complejos, y subraya la importancia de herramientas que fomenten la creación de software de calidad.

[EN] This undergraduate thesis addresses the design and implementation of a tool to measure the coverage of queries made in a Prolog program. Unlike existing tools, this work introduces the novelty of instrumenting the code to provide greater portability, improved coverage measurements, and ease of use.

Within Prolog, the sequence of execution makes it challenging to determine whether the tests designed to validate a program's behavior adequately cover all the code. It is essential to measure coverage in this context to understand how much of the code is backed by test cases, ensuring the quality of the developed software.

In the project's formulation, various solutions to the problem are explored, delving into potential environments, tools, and the design the final application might take. The choice of an instrumentation technique is made because it allows leveraging the language's inherent tools without the need to use a separate environment during its use.

The development process adopts the Scrum methodology, specifically adapted for this problem. This methodology defines an iterative approach, in which small advances are made that facilitate adaptability in the face of changes and new information acquired during development.

In conclusion, this undergraduate thesis integrates the tools of the Prolog language into the instrumentation process, proposing an enhanced alternative to existing code coverage measurement methods. This tool highlights the capability of logic programming languages in solving complex problems and emphasizes the importance of tools that promote the creation of quality software.