Diseño de una nueva herramienta para la depuración de código Erlang

Abstract

[ES] Erlang es un lenguaje de programación funcional que integra facilidades para la concurrencia. A diferencia de la mayoría de lenguajes concurrentes, Erlang sigue el modelo basado en paso de mensajes, consiguiendo así que la creación de procesos sea más eficiente que en otros lenguajes concurrentes. Por ello, Erlang se ha convertido en un lenguaje cada vez más popular, empleándose en la implementación de los aspectos concurrentes de aplicaciones como Twitter o Whatsapp.

En la actualidad, el lenguaje de programación Erlang ya dispone de un cierto número de herramientas de depuración. En particular, podemos encontrar desde una herramienta de depuración basada en trazas y "break points", a otras más avanzadas basadas en las técnicas de "model checking" o la generación de casos de prueba mediante ejecución simbólica. En este proyecto, se pretende diseñar e implementar una herramienta con interfaz gráfica que combine algunas de las características de los diferentes modelos de depuración, lo que esperamos que de lugar a una nueva herramienta que resulte de interés para desarrolladores de distintos niveles de código Erlang.

[CA] Erlang és un llenguatge de programació funcional que integra facilitats per a la concurrència. A diferència de la majoria de llenguatges concurrents, Erlang seguix el model basat en pas de missatges, aconseguint així que la creació de processos siga més eficient que en altres llenguatges concurrents. Per això mateixa, Erlang s’ha convertit en un llenguatge cada vegada més popular, emprant-se en la implementació dels aspectes concurrents d’aplicacions com Twitter o Whatsapp. En l’actualitat, el llenguatge de programació Erlang ja disposa d’un cert nombre de ferramentes de depuració. En particular, podem trobar des d’una ferramenta de depuració basada en traces i “break points”, a altres més avançades basades en les tècniques de “model checking” o la generació de casos de prova mitjançant execució simbòlica. En este projecte, es pretén dissenyar e implementar una ferramenta amb interfície gràfica que combine algunes de les característiques dels diferents models de depuració, la qual cosa esperem que done lloc a una nova ferramenta que resulte d’interés per a desenvolupadors de distints nivells de codi Erlang.

[EN] Erlang is a functional programming language that integrates facilities to concurrency. Unlike most concurrent languages, Erlang follows the message passing model, consequently delivering a more efficient process creation compared to other concurrent languages. Thus, Erlang has become increasingly popular, being employed for the implementation of the concurrent aspects of applications like Twitter or Whatsapp. Currently, Erlang developers already have a number of debugging tools available. In particular, one can find debugging tools based on traces and break points, but also some more advanced tools based on model checking techniques or test case generators based on symbolic execution. The aim of this project is to design and implement a new GUI-based tool that combines several features from different debugging models. We hope it will result in a new useful tool for Erlang developers.