This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A General Framework for Debugging
May/June 1991 (vol. 8 no. 3)
pp. 14-20

The state of the art of debugging is examined. A debugged process model that serves as the basis of a general debugging framework is described. The relationship of the model to traditional debugging processes and support tools is discussed. A minimal set of requirements for a general debugging framework is described in terms of both the theory behind debugging methodologies and the support tools. An execution monitor, Eden, that serves as a debugging tool within this general framework is described.

Index Terms:
debugged process model; general debugging framework; traditional debugging processes; support tools; debugging methodologies; execution monitor; Eden; program debugging; programming; supervisory programs
Citation:
Keijiro Araki, Zengo Furukawa, Jingde Cheng, "A General Framework for Debugging," IEEE Software, vol. 8, no. 3, pp. 14-20, May-June 1991, doi:10.1109/52.88939
Usage of this product signifies your acceptance of the Terms of Use.