Issue No. 09 - September (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6169
<p>Error localization in program debugging is the process of identifying program statements which cause incorrect behavior. A prototype of the error localization assistant system which guides a programmer during debugging of Pascal programs is described. The system is interactive: it queries the programmer for the correctness of the program behavior and uses answers to focus the programmer's attention on an erroneous part of the program (in particular, it can localize a faulty statement). The system differs from previous approaches in that it makes use of the knowledge of program structure, which is derived automatically. The knowledge of program structure is represented by the dependence network which is used by the error-locating reasoning mechanism to guide the construction, evaluation, and modification of hypothesis of possible causes of the error. Backtracking reasoning has been implemented in the reasoning mechanism.</p>
knowledge based system; knowledge representation; PELAS; program error-locating assistant system; program debugging; error localization assistant; Pascal programs; program structure; dependence network; reasoning; interactive systems; knowledge based systems; knowledge representation; Pascal; program debugging; program verification; software tools
B. Korel, "PELAS-Program Error-Locating Assistant System," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1253-1260, 1988.