多値ディジタル無線方式における伝搬ひずみの影響

概要

論文の詳細を見る
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 found during program exection into five types : variable-value errors, allocation errors, control-flow errors, omission errors and functional errors. It then presents errors-cause-chasing methods that chase the cause of 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 of 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-15