Method and apparatus for debugging programs
作者： Daniel Geist
DOI:
关键词:
摘要: A computer-implemented method, apparatus and computer program product for debugging programs, the method comprising: displaying a graphic waveform showing values of one or more state variables being debugged in two points time; receiving user selection from time, an indication to selected point time execution waveform; resuming within debugger associated with time.
lens.org 参考文章(8)
Jozsef Kovacs, Gabor Kusper, Róbert Lovas, Wolfgang Schreiner, None, Integrating Temporal Assertions into a Parallel Debugger european conference on parallel processing. pp. 113- 120 ,(2002) , 10.1007/3-540-45706-2_12
Bil Lewis, Debugging Backwards in Time arXiv: Software Engineering. ,(2003)
Yasushi Saito, Jockey: a user-space library for record-replay debugging international symposium on open collaboration. pp. 69- 76 ,(2005) , 10.1145/1085130.1085139
Zohar Manna, Amir Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification ,(1991)
Danielle Ruest, Nelson Ruest, Virtualization, A Beginner's Guide ,(2009)
J.C. Sancho, F. Petrini, K. Davis, R. Gioiosa, Song Jiang, Current practice and a direction forward in checkpoint/restart implementations for fault tolerance international parallel and distributed processing symposium. pp. 300- ,(2005) , 10.1109/IPDPS.2005.157
Suresh Eswara Warrier, Kenneth Bernard Rozendal, Luke Matthew Browning, Method and apparatus to debug a program from a predetermined starting point ,(2000)
Daniel Geist, Utilizing temporal assertions in a debugger ,(2011)