A database model of debugging

Abstract

Debugging a program can be viewed as performing queries and updates on a database that contains both program source and execution state information. This model of debugging simplifies a "debugger" to a database interface for runtime information and allows the debugger to be easily integrated into a programming environment.

We are currently designing a programming environment in which all program information is stored in a relational database system. This system will include debugging capabilities to provide the programmer a simple yet powerful mechanism for describing debugging requests

References

1. {Eswaran 76} Eswaran, K., "Specifications, Implementations, and Interactions of a Trigger Subsystem in a Integrated Database System", IBM Research, RJ 1820, San Jose, Ca., August 1976.]]
2. {Johnson 77} Johnson, M. S., "The Design of a High-Level, Language Independent Symbolic Debugging System", Proc. of the ACM 1977 Annual Conference, Seattle, Wash., October 17--19, 1977, pp. 315--321.]]
3. {Katseff 79} Katseff, H., "Sdb: A Symbolic Debugger", Bell Laboratories, Holmdel, New Jersey.]]
4. {Linton 81} Linton, M., "A Debugger for the Berkeley Pascal System", Master's Report, Comp. Sci. Div., Dept. of EECS, Univ. of Calif. at Berkeley, June 1981.]]
5. {Powell and Linton 83} Powell, M., and Linton, M., "Database Support for Programming Environments", Proceedings of the ACM SIGMOD International Conference on Databases for Engineering Design, San Jose, CA, May 1983.]]
6. {Stonebraker 82} Stonebraker, M., "Application of Artificial Intelligence Techniques to Database Systems", Electronics Research Laboratory, University of California, Berkeley, Ca., Memo 82/31, May 1982.]]
7. {Stonebraker, Wong, and Kreps 76} Stonebraker, M., Wong, E., and Kreps, P., "The Design and Implementation of INGRES", ACM Transactions on Database Systems, Vol. 1, No. 3, September 1976.]]

Index Terms

• Information systems

  • Data management systems

    • Database design and models

      • Relational database model

    • Query languages

      • Relational database query languages

• Software and its engineering

  • Software creation and management

    • Software verification and validation

      • Software defect analysis

        • Software testing and debugging

  • Software notations and tools

    • Development frameworks and environments