I+D+I en Tecnologías de la Información y las Comunicaciones

URI permanente para esta comunidad

https://hdl.handle.net/10784/7941
El grupo de investigación desarrollo e innovación en Tecnologías de la Información y las Comunicaciones (TIC) es un grupo interdisciplinario con nueve líneas de investigación. Para el logro de su misión, el grupo ejecuta proyectos de investigación y desarrollo; ofrece servicios de asesoría y consultoría; se apoya en alianzas, cooperación técnica y participación activa en redes nacionales e internacionales de investigación; consolidando su liderazgo, experiencia y trayectoria como grupo en el ámbito nacional e internacional.

Líneas de investigación: Gestión de Información y Conocimiento; Gestión tecnológica y Producción de Contenidos Digitales; Informática Educativa; Ingeniería de Software; Lógica y Computación; Realidad Mixta y Videojuegos Sistemas Distribuidos.
Código Minciencias: COL0013281.
Categoría 2019: A.
Escuela: Ingeniería.
Departamento académico: Ingeniería de Sistemas.
Coordinadora: Marta Silvia Del Socorro Tabares Betancur.
Correo electrónico: mtabares@eafit.edu.co

Examinar

Examinando I+D+I en Tecnologías de la Información y las Comunicaciones por Autor "Alpuente, M."

Mostrando 1 - 1 de 1
  • No hay miniatura disponible
    Ítem
    An integrated framework for the diagnosis and correction of rule-based programs
    (ELSEVIER SCIENCE BV, 2010-10-29) Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Alpuente, M.; Ballis, D.; Correa, F.; Falaschi, M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it is possible to debug a program and then correct it automatically. Our methodology is based on the combination (in a single framework) of a semantics-based diagnoser that identifies those parts of the code that contain errors and an inductive learner that tries to repair them, once the bugs have been located in the program. We develop our methodology in several steps. First, we associate with our programs a semantics that is based on a (continuous) immediate consequence operator, TR, which models the answers computed by narrowing and is parametric w.r.t. the evaluation strategy, which can be eager or lazy. Then, we show that, given the intended specification of a program R, it is possible to check the correctness of R by a single step of TR. In order to develop an effective debugging method, we approximate the computed answers semantics of R and derive a finitely terminating bottom-up abstract diagnosis method, which can be used statically. Finally, a bug-correction program synthesis methodology attempts to correct the erroneous components of the wrong code. We propose a hybrid, top-down (unfolding-based) as well as bottom-up (induction-based), correction approach that is driven by a set of evidence examples which are automatically produced as an outcome by the diagnoser. The resulting program is proven to be correct and complete w.r.t. the considered example sets. Our debugging framework does not require the user to provide error symptoms in advance or to answer difficult questions concerning program correctness. An implementation of our debugging system has been undertaken which demonstrates the workability of our approach. © 2010 Elsevier B.V. All rights reserved.