A general framework for debugging
- 1 May 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 8 (3) , 14-20
- https://doi.org/10.1109/52.88939
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
This publication has 3 references indexed in Scilit:
- Task-wait-for graphs and their application to handling tasking deadlocksPublished by Association for Computing Machinery (ACM) ,1990
- Debugging concurrent programsACM Computing Surveys, 1989
- A Mathematical Framework for the Investigation of TestingIEEE Transactions on Software Engineering, 1983