Patent
1996-08-07
1998-08-04
Beausoliel, Jr., Robert W.
395704, 3951831, G06F 1300, G06F 945
Patent
active
057907781
ABSTRACT:
A computer program error detection system that detects errors in a computer program by simulating execution of program statements. An internal format structure is retrieved along with a list of all functions defined by the computer program. The internal format structure is analyzed to determine all function calls and the function call ordering. External behavior models corresponding to the discovered function calls are retrieved and stored in a model table. One or more control flow paths are traversed through the computer program. For each path traversed, a structural memory model is maintained to represent the effect of the simulated execution of statements along the control flow path. A statement is simulated by executing a built in model of the operation. A function call is emulated by executing an external behavior model corresponding to the called function. Execution of an external behavior model causes the structural model memory to be updated to reflect execution of the called function. Information describing the manipulation of the memory model is logged for automodelling purposes. Invalid conditions in the structural memory model are detected and reported. The information logged for automodelling purposes is scanned after analysis of each path to build an outcome for that path. After individual path analysis completes, the different outcomes are processed, duplicates are removed, and an external behavior model representing the computer program under analysis is generated.
REFERENCES:
patent: 5325533 (1994-06-01), McInerney et al.
patent: 5446900 (1995-08-01), Kimelman
patent: 5481705 (1996-01-01), Watanabe et al.
patent: 5574854 (1996-11-01), Blake et al.
patent: 5581696 (1996-12-01), Kolawa et al.
patent: 5583988 (1996-12-01), Crank et al.
patent: 5590329 (1996-12-01), Goodnow, II et al.
patent: 5687375 (1997-11-01), Schwiegelsholm
Mendal Rosenblum et al., "Complete Computer Sys Simulation: The Sim DS Approach," IEEE Parallel & Distributed Technology, vol. 3, Issue 4, pp. 34-43, 1995.
Brian A. Malloy, "Trace Driven and Program-Driven Simulation: A Comparison," MASLDTS 94: Modeling, Analysis, and Simulation, Intl Workshop., IEEE., pp. 395-396, 1994.
Bush William R.
Majors-Degnan Debby
Pincus Jonathan D.
Sielaff David Jon
Wilbur Richard E.
Beausoliel, Jr. Robert W.
Intrinsa Corporation
MacPherson Alan H.
Wright Norman M.
LandOfFree
Simulated program execution error detection method and apparatus does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Simulated program execution error detection method and apparatus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Simulated program execution error detection method and apparatus will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1187926