Desarrollo de una herramienta de escritorio para depuración de programas basada en fragmentación de trazas

Abstract

[ES] El concepto de aplicación web está relacionado con el almacenamiento en la nube y el acceso a la información vía Internet, quedando una copia temporal dentro de nuestro dispositivo. Sin embargo, las aplicaciones web no pueden garantizar ciertos beneficios en cuanto a programas grandes se refiere. Las aplicaciones de escritorio, también llamadas aplicaciones desktop, suelen estar desarrolladas acorde a un sistema operativo, pudiendo acceder más fácilmente al hardware del equipo y así tener un mejor tiempo de respuesta. Sin embargo, los lenguajes utilizados en la programación online suelen ser interpretados o pseudointerpretados, por lo que tienen como inconveniente un peor rendimiento. También requieren de un menor tiempo de desarrollo y, por consiguiente, menor coste, dado que las herramientas de desarrollo y depuración para la programación tradicional están más desarrolladas. ANIMA es un depurador de programas escritos en lenguaje Maude, que implementa eficientemente la lógica de reescritura (RWL). La técnica de depuración implementada en ANIMA se basa en la fragmentación de trazas (trace slicing) y en técnicas de visualización, habiendo sido desarrollada como una aplicación on-line que despliega interactivamente el árbol de computación del programa que se pretende depurar. Este trabajo de fin de grado se ha centrado en el desarrollo de la aplicación dANIMA (desktop ANIMA), una versión de escritorio y multiplataforma de la aplicación online ANIMA. dANIMA ha sido implementada utilizando Java como lenguaje principal de manera que pueda ejecutarse en diferentes sistemas operativos (p. ej., Windows, OS X, Linux) y al mismo tiempo beneficiarse de la eficiencia característica que las tradicionales aplicaciones de escritorio ofrecen frente a las aplicaciones online, limitadas en muchas ocasiones por el propio navegador.

[CA] El concepte d’aplicació web està relacionat amb l’emmagatzemament en el núvol i l’accés a la informació via Internet, quedant una còpia temporal dins del nostre dispositiu. No obstant això, les dites aplicacions no poden garantir certs beneficis quant a programes grans es referix. Les aplicacions d’escriptori solen estar desenvolupades d’acord amb un sistema operatiu, podent accedir mes fàcilment al maquinari de l’equip i així tindre un millor temps de resposta. No obstant això, els llenguatges utilitzats en la programació online solen ser interpretats o pseudointerpretats, per la qual cosa tenen com a inconvenient un pitjor rendiment. També requerixen d’un menor temps de desenvolupament i, per consegüent, menor cost, atés que les ferramentes de desenvolupament i depuració per a la programació tradicional estan mes desenvolupades. ANIMA és un depurador de programes escrits en llenguatge Maude, que implementa eficientment la lògica de reescriptura (RWL). La tècnica de depuració implementada en ANIMA es basa en la fragmentació de traces (trace slicing) i en tècniques de visualització, havent sigut desenvolupada com una aplicació online que desplega interactivament l’arbre de computació del programa que es pretén depurar. Este treball de fi de grau s’ha centrat en el desenvolupament de l’aplicació dANIMA (desktop ANIMA), una versió d’escriptori i multiplataforma de l’aplicació online ANIMA. dANIMA ha sigut implementada utilitzant Java com a llenguatge principal de manera que puga executar-se en diferents sistemes operatius (p. ex., Windows, OS X, Linux) i al mateix temps beneficiar-se de l’eficiència característica que les tradicionals aplicacions d’escriptori oferixen enfront de las aplicacions online, limitades en moltes ocasions pel propi navegador.

[EN] Web applications o!er involve the storage of information in the cloud and access to it through the Internet, keeping a temporary copy inside the user’s computer. Unfortunately, for the case of large programs, web applications cannot guarantee some important demands. Desktop applications are usually developed according to an operating system, being able to more easily access the hardware, and this way they o!er better performance. The languages used in online programming are usually interpreted or pseudointerpreted. They require less development time and, consequently, less cost, since also the development hardware and tools are more sophisticated for traditional programming. ANIMA is a debugger for programs written in the Maude language that e"ciently implements Rewriting Logic (RWL). The debugging techniques implemented in ANIMA are based on trace slicing and visualization techniques, having been developed as an online application that interactively displays the computation tree for the considered program we want to debug. This Final Degree Project has focused on developing the dANIMA (desktop ANIMA) application, a desktop and cross-platform online version of the original application ANIMA. dANIMA has been implemented using Java as the main language so that it runs on di!erent operating systems (e.g., Windows, OS X, Linux) and at the same time benefits from the characteristic e"ciency o!ered by traditional desktop applications in comparison to online applications limited in many occasions by the browser itself.