Title :
A general framework for debugging
Author :
Araki, Keijiro ; Furukawa, Zengo ; Cheng, Jingde
Author_Institution :
Dept. of Comput. Sci. & Commun. Eng., Kyushu Univ., Fukuoka, Japan
fDate :
5/1/1991 12:00:00 AM
Abstract :
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.<>
Keywords :
program debugging; programming; supervisory programs; Eden; debugged process model; debugging methodologies; execution monitor; general debugging framework; support tools; traditional debugging processes; Computer bugs; Computer industry; Error correction; Graphics; History; Logic; Probes; Programming profession; Software debugging; Software tools;
Journal_Title :
Software, IEEE
