Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97) (1997)
Aug. 11, 1997 to Aug. 15, 1997
Richard A. DeMillo , Bellcore
Hsin Pan , IBM
Eugene H. Spafford , Purdue University
Most studies of software failures and faults have done little more than classifying failures and faults collected from long-term projects. In this paper, we propose a model to analyze failures and faults for debugging purpose. In the model, we define "failure modes" and "failure types" to identify the existence of program failures and the nature of the program failures, respectively. The goal of this research is to achieve a systematic process model to localize faults in debugging. We first examine properties of the proposed model from theoretical point of view, then use the "trityp" program as a simple example to illustrate the possible usage of the model for debugging. Further study on the failure mode, a pilot experiment of applying the proposed model, and the way to employ heuristics according to different situations for fault localization are areas of future work.
R. A. DeMillo, E. H. Spafford and H. Pan, "Failure and Fault Analysis for Software Debugging," Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97)(COMPSAC), Washington, DC, 1997, pp. 515.