Data processing: software development – installation – and managem – Software program development tool – Testing or debugging
Reexamination Certificate
2004-05-25
2009-06-02
Kiss, Eric B (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Testing or debugging
C717S128000, C717S130000, C703S022000
Reexamination Certificate
active
07543279
ABSTRACT:
A program execution data trace is created by instrumenting a program to record value sets during execution and an instruction trace. By simulating instructions either backward or forward from a first instruction associated with a recorded value set to a second instruction according to the instruction trace, a value set is determined for the second instruction. Backward and forward simulation can be combined to complement each other. For backward simulation, a table of simulation instructions is preferably maintained, which associates program instructions encountered in the instruction trace with simulation instructions which reverse the operation of the associated program instructions. Preferably, one or more probes is inserted into the program to save values of particular variables whose value may be difficult to determine. Preferably, the instruction trace is displayed alongside and correlated with the data trace.
REFERENCES:
patent: 5640500 (1997-06-01), Taylor
patent: 5680542 (1997-10-01), Mulchandani et al.
patent: 5689684 (1997-11-01), Mulchandani et al.
patent: 5701488 (1997-12-01), Mulchandani et al.
patent: 5784552 (1998-07-01), Bishop et al.
patent: 5854924 (1998-12-01), Rickel et al.
patent: 5894575 (1999-04-01), Levine et al.
patent: 6149318 (2000-11-01), Chase et al.
patent: 6202199 (2001-03-01), Wygodny et al.
patent: 6282701 (2001-08-01), Wygodny et al.
patent: 6353924 (2002-03-01), Ayers et al.
patent: 6718485 (2004-04-01), Reiser
patent: 6732307 (2004-05-01), Edwards
patent: 6732357 (2004-05-01), Berry et al.
patent: 6745383 (2004-06-01), Agarwal et al.
patent: 6751789 (2004-06-01), Berry et al.
patent: 6804814 (2004-10-01), Ayers et al.
patent: 6826747 (2004-11-01), Augsburg et al.
patent: 6901581 (2005-05-01), Schneider
Mireille Ducassé, “Coca: An Automated Debugger for C”, 1999 ACM, pp. 504-513.
Carnegie Mellon University, “The Mindy Debugger”, 1997, CMU, pp. 117 <http://www.opendylan.org/old-docs/maker-out/debug.htm>.
Agarwal Anant
Ayers Andrew E.
Schooler Richard
Kiss Eric B
Meyertons Hood Kivlin Kowert & Goetzel P.C.
Symantec Operating Corporation
Wang Ben C
LandOfFree
Method for simulating back program execution from a... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method for simulating back program execution from a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for simulating back program execution from a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4149001