VIII Jornadas de Enseñanza Universitaria de la Informática Cáceres ...

Depuración de Programas Haskell a partir deEspecificaciones PRE/POST en HaskellJ. M. Burgos, J. Galve, J. García, M. SutilDept. Lenguajes y Sistemas Informáticos (LSIIS)Universidad Politécnica de Madrid28660 Boadilla del Monte - Madride-mail: {jmburgos, jgalve, juliog, msutil}@fi.upm.esResumen 1En la siguiente propuesta 2 se presenta una versióninicial de la herramienta de depuración declarativallamada H4D2 3 , la cual forma parte de unproyecto de investigación aplicado a la innovacióneducativa [8].El objetivo principal de este trabajo es ofrecerherramientas metodológicas e instrumentales quefaciliten el uso de metodos formales en un primercurso de programación en Haskell [5].1. Un depurador de programas a partirde las Especificaciones PRE/POST1.1. Estructura del Depurador H4D2La herramienta H4D2 debe permitir al operar enlos modos depuración / no_depuración. Parahacer esto posible, la implementación incluye unaconstante debug que actúa a modo de flag paradepurar o no. Para pasar de un modo a otro, sedebe cambiar el valor de esta constante(True/False).-- Flag de depuraciondebug :: Booldebug = True1Una versión completa de este trabajo puedeencontrarse en [9].2 Este trabajo ha sido parcialmente financiado por elproyecto español TIC 01-2798.3 Haskell for Declarative Debugging-- Mensaje de error en PRECONDICIONerror_pre :: String -> Stringerror_pre nombreFuncion ="ERROR EN PRECONDICION: " ++ nombreFuncion-- Mensaje de error en POSTCONDICIONerror_post :: String -> Stringerror_post nombreFuncion ="ERROR EN POSTCONDICION: " ++ nombreFuncionEl modo en que opera el depurador declarativoH4D2 sigue la secuencia lógica definida por laestructura de las especificaciones PRE/POST. Así,dada una función Haskell con la estructuradescrita en la sección 3.1, la ejecución de ladepuración seguirá la siguiente secuencia deevaluaciones:DEPURADOR (pre, funcion, post) (x) =Paso 1) EVALUAR pre (x)Paso 2) resultado = EVALUAR funcion (x)Paso 3) EVALUAR post (x, resultado)Para la implementación, se ha optado por ladefinición de una función de orden superiordepurar que actúa sobre las funciones pre, post yfuncion. Se ha añadido, así mismo, un parámetrode tipo cadena de texto que representa el nombrede la función que se quiere depurar. Este últimoparámetro lo utilizaremos más adelante paraasociar los mensajes de depuración a la funciónque se evalúa.