Issue No. 03 - May/June (1991 vol. 8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.88939
<p>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.</p>
debugged process model; general debugging framework; traditional debugging processes; support tools; debugging methodologies; execution monitor; Eden; program debugging; programming; supervisory programs
J. Cheng, K. Araki and Z. Furukawa, "A General Framework for Debugging," in IEEE Software, vol. 8, no. , pp. 14-20, 1991.