IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Fri, 29 Aug 2014 14:03:30

Kamkar, M. and Fritzson, P. (1990). Focusing the Bug Localization Process in Algorithmic Debugging through Program Slicing. Technical Report LiTH-IDA-R-90-04, Department of Computer and Information Science, Linköping University, Sweden. Also in Proc. of PLILP'90, Linköping, Augusti 1990, LNCS 456, Springer-Verlag 1990. (bibtex),

Abstract: Algorithmic debugging is a technique for semi-automatic bug localization. The original proposal for this technique [Shapiro-83] , is however limited to Prolog programs without side-effects. Another drawback of the original method is the large number of interactions with the user, except for very small programs.In this paper we present a new improved version of algorithmic debugging, which eliminates many irrelevant questions to the user during the bug localization process. This focusing of the localization process is achieved by using program slicing, a data flow analysis technique, to dynamically compute which parts of the program are relevant for the search. This improved method is also applicable to imperative programs with side-effects, since we use a version of algorithmic debugging which has been generalized to imperative languages [Shahmehri, Fritzson-89] .


Goto (at Linköping University): CS Dept TR Overview
<webmaster@ida.liu.se>