Depurador Declarativo de programas JAVA

Abstract

El objetivo del proyecto que presentamos a continuación es el desarrollo de un depurador declarativo para programas que estén implementados en Java. Recoge las ideas de la depuración declarativa para obtener una herramienta intuitiva y de fácil manejo que consiga encontrar los errores en el código de un programa orientado a objetos. La depuración declarativa es un método de búsqueda de errores en el código de un programa basado en la semántica del lenguaje en el que está escrito dicho código. Es decir, se centra en el significado del código que estamos ejecutando, no en su estructura ni tampoco en la manera en la que está implementado. La aplicación tiene cómo objetivo el de obtener un árbol de ejecución a partir del cómputo del programa y depurar dicho árbol. En el árbol, los nodos representan las llamadas a funciones que encontramos en el código. El proceso de depuración se lleva a cabo evaluando cada nodo del árbol. Éstos se validan o invalidan en función de si el comportamiento de la llamada asociada es el pretendido o no. Hemos obtenido una herramienta útil e innovadora que permite depurar programas orientados a objetos y que facilita la incorporación de nuevas estrategias de recorridos de árboles. [ABSTRACT] The goal of the project we are presenting in this document is the development of a declarative debugger for programs that are implemented in Java. It gathers the ideas of the declarative debug process to obtain an intuitive and easy managed tool which finds code errors in an object orientated program. The debugging declarative process is a method to find mistakes on a program. It is based on the semantic of the language. This means that, it looks for the meaning of the code that we are executing, instead of looking for the way that it is implemented. Our application obtains an execution tree from the program trace, and debugs it. In the tree, the nodes represent the calls to functions that we can find in the code. The declarative debug process consists on evaluating these tree nodes. These nodes are correct or incorrect depending on the result that we obtain from the function call. Finally, we have implemented a useful and innovative tool that allows debug object orientated programs or even the incorporation of new navigator strategies for trees.