Depurador algorítmico para estructuras de control Java

Abstract

Este proyecto presenta un generador de trazas de programas Java destinado a localizar errores en el código. Inicialmente se describe Java Platform Debugger Architecture (JPDA) y Java Debugger Interface (JDI) que son las bases de la aplicación. Más adelante, se profundiza en la estructura de la aplicación, mostrando los detalles más técnicos y también las dificultades encontradas durante el desarrollo del proyecto, y las medidas aplicadas para resolverlas. Además, se muestra el funcionamiento de la aplicación y sus limitaciones. A continuación, se concluye mostrando unos casos de prueba con los que se ha comprobado el correcto funcionamiento. Finalmente un apartado de conclusiones que se han obtenido tras la realización del proyecto y un posible trabajo futuro para la ampliación del mismo.

In the project explained below, we have designed a trace generator for Java programs in order to facilitate the debugging phase. First, we describe the Java Platform Debugger Architecture (JPDA) and the Java Debugger Interface (JDI), which constitute the basis of the application. Second we go into the application structure, showing the technical details and the difficulties found during the project and the measures taken to resolve them. Furthermore, we show the application behaviour and its limitations. Next we present some test cases that confirm the correctness of our approach. Finally, we discuss the conclusions that have been obtained after the completion of the project and possible future extensions of the application.