Skip to main content
SpringerLink
Log in

Graphical user interfaces for algorithmic debugging

  • Visualization and Graphical User Interfaces
  • 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

Algorithmic Debugging is a method for semi-automatic program debugging, where the debugger incrementally acquires knowledge about the debugged program by interacting with the user. However, a major obstacle that prevents large-scale use of the method is the large number of questions (sometimes hard to answer) put to the user. One important improvement would be to provide a graphical user interface (GUI) for algorithmic debugging that provides context and additional information that makes it easier for the user to answer questions, and is flexible enough to let the user postpone answering certain questions and to a greater extent control where to look for the bug. In this paper we discuss several of these issues, and present a prototype graphical user interface that has been implemented and used as a part of a generalized algorithmic debugger for imperative languages, and recently adapted to an algorithmic debugger for lazy functional languages.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. E. Adams and S.S. Muchnik, DBXTool: A Window-Based Symbolic Debugger for Sun Workstations. Software Practice and Experience, pp. 653–669, July 1986.

    Google Scholar 

  2. J.D. Bovey, A Debugger For A Graphical Workstation, Software Practice and Experience, pp. 647–662, September 1987.

    Google Scholar 

  3. Margarete Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.

    Google Scholar 

  4. Peter Fritzson, Mikhail Auguston and Nahid Shahmehri. Using Assertions in Declarative and Operational Models for Automated Debugging. Accepted for publication in the journal Systems and Software 1992.

    Google Scholar 

  5. Peter Fritzson, Tibor Gyimothy, Mariam Kamkar and Nahid Shahmehri. Generalized Algorithmic Debugging and Testing. Proceedings of the ACM SIGPLAN'91, pp. 317–326, Toronto, Ontario, Canada, June 1991. Also accepted to LOPLAS, and as report LiTH-IDA-R-90-42.

    Google Scholar 

  6. J.H. Griffin, H.J. Wasserman, and LP. Mcgavran, A debugger for parallell processes. Software Practice and Experience, pp. 1179–1190, December 1988.

    Google Scholar 

  7. Susan Horwitz, Thomas Reps and David Binkley: Interprocedural Slicing using Dependence Graphs. ACM Transactions on Programming Languages and Systems, Vol. 12, No. 1, pages 26–61, January 1990.

    Google Scholar 

  8. Sadahiro Isoda, Takao Shimomura and Yuji Ono. VIPS: A Visual Debugger. IEEE Software, pp. 8–19, May 1987.

    Google Scholar 

  9. Mariam Kamkar, Nahid Shahmehri and Peter Fritzson: Interprocedural Dynamic Slicing. In Proc of PLILP'92, August 26—28, 1992. LNCS 631, Springer-Verlag,. Also as research report LiTH-R-91-20.

    Google Scholar 

  10. Mariam Kamkar: Interprocedural Dynamic Slicing with Applications to Debugging and Testing. Ph.D. thesis, Linköping University, April 1993.

    Google Scholar 

  11. Bogdan Korel and Janusz Laski: Dynamic Program Slicing. Information Processing Letters, pp 155–163, October 1988.

    Google Scholar 

  12. Yossi Lichtenstein and Ehud Shapiro: Concurrent Algorithmic Debugging, In Proc of the ACM Workshop on Parallel and Distributed Debugging, Madison, Wisconsin, May 1998. Proc in SIGPLAN Notices 24:1, Jan 1989.

    Google Scholar 

  13. Henrik Nilsson, Peter Fritzson. Algorithmic Debugging for Lazy Functional Languages. In Proc. of PLILP'92 — Symposium on Programming Language Implementation and Logic Programming, Leuven, Belgium August 1992. LNCS 631, Springer Verlag.

    Google Scholar 

  14. Luis Moniz Pereira. Rational Debugging in Logic Programming. In Proc. of the Third Logic Programming Conference, pages 203–210, London, England, July 1986

    Google Scholar 

  15. E.Y.Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.

    Google Scholar 

  16. Nahid Shahmehri. Generalized Algorithmic Debugging. Ph.D. thesis, Linköping University, Dec. 1991.

    Google Scholar 

  17. Andre Weinand, Erich Gamma and Rudolf Marty, ET++ — An Object-Oriented Application Framework in C++. In Proc. of OOPSLA'88, pages 46–57, San Diego, California, September 1988.

    Google Scholar 

  18. Mark Weiser: Program Slicing. IEEE Transactions on Software Engineering, Vol. Se-10, No. 4, pages 352–357, July 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Programming Environments Laboratory Department of Computer and Information Science, Linköping University, S-581 83, Linköping, Sweden

    Rickard Westman & Peter Fritzson

Authors
  1. Rickard Westman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Fritzson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Peter A. Fritzson

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Westman, R., Fritzson, P. (1993). Graphical user interfaces for algorithmic 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/BFb0019414

Download citation

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

  • 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

Search

Navigation