Skip to main content

Trace-based debugging

  • Knowledge-Based Debugging and Trace-Based Debugging
  • Conference paper
  • First Online:
Automated and Algorithmic Debugging (AADEBUG 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 749))

Included in the following conference series:

Abstract

This paper describes the beginnings of a research project aimed at trace-based debugging. We plan to build a practical debugger that incorporates the notion of time to allow users to easily navigate over the execution of their systems. Tracing will also provide a framework for integrating intelligent debugging capabilities into the debugger. We have already implemented a mechanism for automatically collecting trace data from an arbitrary binary. This has been used to implement a memory type-state checking tool. We are currently working on efficiently storing and retrieving large trace files and on developing an appropriate debugger user interface.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Marc H. Brown and Steven P. Reiss, “Debugging in the BALSA-PECAN integrated environment,” ACM SIGPLAN-SIGSOFT Symposium on Debugging (1983).

    Google Scholar 

  2. Bernd Bruegge and Peter Hibbard, “Generalized path expressions: a high-level debugging mechanism,” Journal of Systems and Software Vol. 3(4) pp. 265–276 (December 1983).

    Google Scholar 

  3. Peter Fritzson, Tibor Gyimothy, Mariam Kamkar, and Nahid Shahmehri, “Generalized algorithmic debugging and testing,” SIGPLAN Notices Vol. 26(6) pp. 317–326 (June 1991).

    Google Scholar 

  4. W. Hseush and G. Kaiser, “Data path debugging: Data-orieinted debugging for a concurrent programming language,” SIGPLAN Notices Vol. 24(1) pp. 236–247 (January 1989).

    Google Scholar 

  5. W. Hseush and G. E. Kaiser, “Modeling concurrency in parallel debugging,” Second ACM SIGPLAN Symp. on PPOPP, pp. 11–20 (March 1990).

    Google Scholar 

  6. Pure Software Inc., Purify 2 User's Guide, Pure Software Inc. (1993).

    Google Scholar 

  7. James R. Larus, “Abstract Execution: A technique for efficiently tracing programs,” U. Wisc.-Madison Computer Sci. Dept. TR 912 (February 1990).

    Google Scholar 

  8. A. Malony, D. Hammerslag, and D. Jablonowski, “Traceview: A trace visualization tool,” IEEE Software Vol. 8(5) pp. 19–28 (September 1991).

    Google Scholar 

  9. Robert H.B. Netzer and Barton P. Miller, “Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs,” Supercomputing '92, Minneapolis, MN, (November 1992).

    Google Scholar 

  10. Douglas Z. Pan and Mark A. Linton, “Supporting reverse execution of parallel programs,” SIGPLAN Notices Vol. 24(1) pp. 124–129 (January 1989).

    Google Scholar 

  11. Steven P. Reiss, “Interacting with the FIELD environment,” Software Practice and Experience Vol. 20(S1) pp. 89–115 (June 1990).

    Google Scholar 

  12. Robert V. Rubin, Larry Rudolph, and Dror Zernik, “Debugging parallel programs in parallel,” SIGPLAN Notices Vol. 24(1) pp. 216–225 (January 1989).

    Google Scholar 

  13. MIPS Computer Systems, Inc., RISCompiler Languages Programmer's Guide. December 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Peter A. Fritzson

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reiss, S.P. (1993). Trace-based debugging. In: Fritzson, P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019416

Download citation

  • DOI: https://doi.org/10.1007/BFb0019416

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57417-0

  • Online ISBN: 978-3-540-48141-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics