Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging

• Autores: Josep Francesc Silva Galiana
• Directores de la Tesis: Germán Vidal Oriola (dir. tes.)
• Lectura: En la Universitat Politècnica de València ( España ) en 2007
• Idioma: inglés
• Tribunal Calificador de la Tesis: María Alpuente Frasnedo (presid.) , César Ferri Ramírez (secret.) , Michael Hanus (voc.) , Elvira Albert (voc.) , Rafael Caballero Roldán (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.