发明名称 METHOD FOR SIMULATING BACK PROGRAM EXECUTION FROM A TRACEBACK SEQUENCE
摘要 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. In one embodiment, the instruction trace is displayed and a value set is determined for an instruction upon a request by the user indicating the instruction for which the value set is desired.
申请公布号 WO0148607(A2) 申请公布日期 2001.07.05
申请号 WO2000US34697 申请日期 2000.12.20
申请人 INCERT SOFTWARE CORPORATION 发明人 AYERS, ANDREW, E.;SCHOOLER, RICHARD;AGARWAL, ANANT
分类号 G06F11/36;(IPC1-7):G06F11/00 主分类号 G06F11/36
代理机构 代理人
主权项
地址