Knowledge-based fault localization in debugging

Fault localization in program debugging is the process of identifying program statements which cause anomalous behavior. We have developed a prototype, knowledge-based model of the fault localization process. Novel features of the model include the integration of prototypic and causal reasoning about faults and a recognition-based mechanism for program abstraction. An explicit division of knowledge from the applications, programming, and language domains facilitate model tuning within as well as across applications domains. We describe model structure and performance for a class of faults associated with master file update programs.

[1]  John D. Gould,et al.  An Exploratory Study of Computer Program Debugging1 , 1974 .

[2]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[3]  Drew McDermott,et al.  ARBY: Diagnosis With Shallow Causal Models , 1982, AAAI.

[4]  Peter Grogono.  Programming in PASCAL , 1980 .

[5]  Michael R. Levy.  Modularity and the sequential file update problem , 1982, CACM.

[6]  B. Chandrasekaran,et al.  Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving , 1982, Int. J. Man Mach. Stud..

[7]  Barry Dwyer.  One more time — how to update a master file , 1981, CACM.

[8]  Jean-Pierre H. Laurent,et al.  LAURA, A System to Debug Student Programs , 1980, Artif. Intell..

[9]  Gregory R. Ruth.  Intelligent Program Analysis , 1976, Artif. Intell..

[10]  Lance A Miller.  Behavioral Studies of the Programming Process. , 1978 .

[11]  Harald Uertz.  Automatic program debugging , 1979, IJCAI 1979.

[12]  Randall Davis,et al.  Diagnosis Based on Description of Structure and Function , 1982, AAAI.

[13]  Mark David Weiser,et al.  Program slices: formal, psychological, and practical investigations of an automatic program abstraction method , 1979 .

[14]  Meilir Page-Jones,et al.  The practical guide to structured systems design , 1980 .

[15]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[16]  John A. Gould,et al.  Some Psychological Evidence on How People Debug Computer Programs , 1975, Int. J. Man Mach. Stud..