Bug Localization Based on Error-Cause-Chasing Methods

概要

論文の詳細を見る
In program debugging, when programmers find errors during program execution, they hypothesize the error causes and then verify their hypotheses. By repeating this process, they trace error causes one by one and eventually find a bug, that is, the fundamental cause of an error. This paper first classifies errors commonly round during program execution into five types: variable-value errors, allocation errors, control-flow errors, omission errors and functional errors. It then presents error-cause-chasing methods that chase the causes or each type of error. These methods help programmers to examine error causes and eventually locate bugs. The paper also describes a bug-locating assistant system CHASE that has been developed based on these error-cause-chasing methods. This system identifies the locations at which these errors are caused and restores the program state there. It can further localize the error causes by analyzing the common cause or multiple variable-value errors, and for omission errors, by chasing the conditional statements that might have caused the errors through the use of path analysis.
一般社団法人情報処理学会の論文
1993-03-31