Title :
Using functional models in automatic debugging
Author_Institution :
Inst. Dalle Molle di Studi sull´´Intelligenza Artificiale, Lugano, Switzerland
Abstract :
It is shown that applying functional reasoning to program debugging brings the crisp semantics of programming languages to functional representation. In return, functional reasoning resolves the dispute between plan-based and semantics-based debugging approaches. A description is given of a debugger called DUDU (debugging using device understanding), which identifies correct programs and gives meaningful explanations about why incorrect programs are incorrect. In addition to template information, the representation includes fragments of causal stories at various levels of abstraction.<>
Keywords :
explanation; inference mechanisms; knowledge based systems; program debugging; DUDU; automatic debugging; correct programs; crisp semantics; device understanding; explanations; functional reasoning; plan-based debugging; programming languages; semantics-based debugging; template information; Bridge circuits; Circuit faults; Circuit optimization; Debugging; Electronic circuits; Fault diagnosis; Filters; Inference mechanisms; RF signals; Vocabulary;
Journal_Title :
IEEE Expert
