A Program Error Localization Expert System

Bogdan Korel

doi:10.1117/12.964119

26 March 1986 A Program Error Localization Expert System

Bogdan Korel

Proceedings Volume 0635, Applications of Artificial Intelligence III; (1986) https://doi.org/10.1117/12.964119
Event: 1986 Technical Symposium Southeast, 1986, Orlando, United States

Abstract

Error localization in program debugging is the process of identifying program statements which cause incorrect behavior. This paper describes a prototype of the error localization expert system which guides a programmer during debugging of Pascal programs. 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 rather than the knowledge at the level of symptom-fault rules. The knowledge of program structure is represented by the dependence network which is based on the concept of dependence relationship between program instructions. The inspiration behind using the dependence network is that any instruction in the execution trace from the beginning to a position of incorrectness could conceivably have been responsible for the faulty behavior. Using dependence network, as a guide to which instruction to examine, seems to be an effective way to focus the programmer's attention appropriately. The dependence network is used by the error-locating reasoning mechanism to guide the construction, evaluation, and modification of hypotheses of possible causes of the error. The backtracking reasoning has been implemented in the reasoning mechanism. This type of reasoning is, in some sense, just an abstraction and elaboration of what experienced programmers do intuitively. The expert system frees the programmer from trial-and-error process that is typical during locating the source of an error when using a traditional break-and-examine debugger.

Citation Download Citation

Bogdan Korel "A Program Error Localization Expert System", Proc. SPIE 0635, Applications of Artificial Intelligence III, (26 March 1986); https://doi.org/10.1117/12.964119

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available