Graphical user interfaces for algorithmic debugging
Purchase on Springer.com
$29.95 / €24.95 / £19.95*
* Final gross prices may vary according to local VAT.
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.
- E. Adams and S.S. Muchnik, DBXTool: A Window-Based Symbolic Debugger for Sun Workstations. Software Practice and Experience, pp. 653–669, July 1986.
- J.D. Bovey, A Debugger For A Graphical Workstation, Software Practice and Experience, pp. 647–662, September 1987.
- Margarete Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.
- 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.
- 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.
- J.H. Griffin, H.J. Wasserman, and LP. Mcgavran, A debugger for parallell processes. Software Practice and Experience, pp. 1179–1190, December 1988.
- 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.
- Sadahiro Isoda, Takao Shimomura and Yuji Ono. VIPS: A Visual Debugger. IEEE Software, pp. 8–19, May 1987.
- 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.
- Mariam Kamkar: Interprocedural Dynamic Slicing with Applications to Debugging and Testing. Ph.D. thesis, Linköping University, April 1993.
- Bogdan Korel and Janusz Laski: Dynamic Program Slicing. Information Processing Letters, pp 155–163, October 1988.
- 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.
- 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.
- Luis Moniz Pereira. Rational Debugging in Logic Programming. In Proc. of the Third Logic Programming Conference, pages 203–210, London, England, July 1986
- E.Y.Shapiro. Algorithmic Program Debugging. MIT Press, May 1982.
- Nahid Shahmehri. Generalized Algorithmic Debugging. Ph.D. thesis, Linköping University, Dec. 1991.
- 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.
- Mark Weiser: Program Slicing. IEEE Transactions on Software Engineering, Vol. Se-10, No. 4, pages 352–357, July 1984.
- Graphical user interfaces for algorithmic debugging
- Book Title
- Automated and Algorithmic Debugging
- Book Subtitle
- First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings
- pp 273-286
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.