Tesis doctoral de Josep Francesc Silva Galiana
La depuración de programas puede ser una tarea ardua. Esto se debe fundamentalmente a que los errores pueden ser evidentes al primer vistazo, o pueden estar escondidos en las zonas más profundas y ocultas de nuestros programas. Sin embargo, sorprendentemente, la depuración es uno de los procesos software que ha sido menos tratado por la comunidad científica; de hecho, las mismas técnicas de depuración que se usaban hace veinte años, continúan utilizándose en la actualidad. La situación no es diferente en el contexto de los lenguajes declarativos. O es incluso peor, porque estos lenguajes suelen presentar dificultades adicionales a la hora de depurarlos debido, por ejemplo, al mecanismo de evaluación perezosa. En esta tesis se revisan los métodos actuales de depuración para lenguajes declarativos y se desarrollan nuevos métodos y técnicas basadas en el cómputo de costes, la fragmentación de programas y la depuración algorítmica. Brevemente, las principales contribuciones de la tesis son: – la definición de un esquema de cómputo de costes para programas lógico funcionales que está basado en el uso de centros de coste y que permite medir diferentes tipos de costes simbólicos. – la formulación de una nueva técnica de fragmentación dinámica de programas basada en redex trails, su aplicación a la depuración y su adaptación para la especialización de programas declarativos multi-paradigma modernos. – la introducción de un nuevo esquema de depuración algorítmica que combina la depuración algorítmica convencional con la fragmentación de programas. – la definición de tres nuevas estrategias para depuración algorítmica. – el desarrollo de un estudio comparativo y una posterior clasificación de técnicas de fragmentación de programas y estrategias de depuración algorítmica.
Datos académicos de la tesis doctoral «Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging«
- Título de la tesis: Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging
- Autor: Josep Francesc Silva Galiana
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 29/06/2007
Dirección y tribunal
- Director de la tesis
- Vidal Oriola Germán Francisco
- Tribunal
- Presidente del tribunal: María Alpuente frasnedo
- elvira Albert albiol (vocal)
- michael Hanus (vocal)
- Rafael Caballero roldan (vocal)