International Workshop on Automated and Algorithmic Debugging

AADEBUG 1993: Automated and Algorithmic Debugging pp 273-286

Graphical user interfaces for algorithmic debugging

  • Rickard Westman
  • Peter Fritzson
Visualization and Graphical User Interfaces

DOI: 10.1007/BFb0019414

Volume 749 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Rickard Westman
    • 1
  • Peter Fritzson
    • 1
  1. 1.Programming Environments Laboratory Department of Computer and Information ScienceLinköping UniversityLinköpingSweden