Resumen de Depuración estructural: acercando la práctica a la teoría de la programación

Micael Gallego Carrillo , Francisco Gortázar, Jesús Angel Velázquez Iturbide

• Se presenta un nuevo modelo de depuración, denominado estructural, basado en la sintaxis y semántica de los lenguajes imperativos. El objetivo es disponer de una herramienta para las prácticas de programación de primeros cursos y que sea coherente con la teoría de la programación. Este modelo de depuración elimina muchas de las limitaciones de los depuradores actuales orientados a líneas, bien por su complejidad bien porque su semántica está muy lejos de la semántica real del lenguaje. El artículo muestra los fundamentos de la depuración estructural, su implementación para el lenguaje orientado a objetos Java y cómo resuelve algunos de los problemas de los depuradores orientados a líneas.