Graphical user interfaces for algorithmic debugging
1993 (English)In: Automated and Algorithmic Debugging, Springer Berlin/Heidelberg, 1993, 273-286 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 1993. 273-286 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 749
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:liu:diva-110098DOI: 10.1007/BFb0019414ISBN: 978-3-540-57417-0 (print)ISBN: 978-3-540-48141-6 (online)OAI: oai:DiVA.org:liu-110098DiVA: diva2:742744
First International Workshop, AADEBUG '93, Linköping, Sweden, May 3–5, 1993