DocumentCode
1416563
Title
An execution-backtracking approach to debugging
Author
Agrawal, Himanshu ; De Millo, R.A. ; Spafford, Eugene H.
Author_Institution
Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
Volume
8
Issue
3
fYear
1991
fDate
5/1/1991 12:00:00 AM
Firstpage
21
Lastpage
26
Abstract
Spyder, a system for selective checkpointing of computational sequences, is presented. It lets users backtrack from checkpoints without the need to reexecute the program to reach recent prior states. In contrast to more comprehensive (and storage-intensive) checkpointing schemes, backtracking in this approach is constrained to limit storage requirements. The resulting debugger offers a structured view of dynamic events, similar to lexical scope rules´ effect on static visibility. The debugger also speeds backtracking to statements before loops and provides what-if capabilities.<>
Keywords
program debugging; programming; storage management; Spyder; backtracking; checkpointing schemes; computational sequences; debugger; dynamic events; execution-backtracking approach; prior states; selective checkpointing; static visibility; storage requirements; structured view; what-if capabilities; Debugging; Displays; Prototypes; Testing;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.88940
Filename
88940
Link To Document