WO1998006019A3 - Simulated program execution error detection method and apparatus - Google Patents

Simulated program execution error detection method and apparatus Download PDF

Info

Publication number
WO1998006019A3
WO1998006019A3 PCT/US1997/014051 US9714051W WO9806019A3 WO 1998006019 A3 WO1998006019 A3 WO 1998006019A3 US 9714051 W US9714051 W US 9714051W WO 9806019 A3 WO9806019 A3 WO 9806019A3
Authority
WO
WIPO (PCT)
Prior art keywords
model
program
execution
error detection
simulated
Prior art date
Application number
PCT/US1997/014051
Other languages
French (fr)
Other versions
WO1998006019A2 (en
Inventor
William R Bush
Jonathan D Pincus
Richard E Wilbur
Debby Majors-Degnan
David Jon Sielaff
Original Assignee
Intrinsa Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Intrinsa Corp filed Critical Intrinsa Corp
Priority to JP50825598A priority Critical patent/JP4633203B2/en
Priority to AU40589/97A priority patent/AU4058997A/en
Publication of WO1998006019A2 publication Critical patent/WO1998006019A2/en
Publication of WO1998006019A3 publication Critical patent/WO1998006019A3/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3604Software analysis for verifying properties of programs
    • G06F11/3608Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation

Abstract

A computer program error detection system that by simulating execution of program statements (104) detects errors in the program. An internal format structure (110) is retrieved along with a list of all functions defined by the program. The internal format structure is analyzed (202) to determine all call and function ordering. External behavior models corresponding to the function calls are stored in a model table (118). As control flow paths are traversed, a structural memory model is maintained to represent the effects of the simulated execution statement upon that path. A statement is simulated by executing a built-in model of the operation, while a function call is emulated by executing the external behavior model. The execution of the behavioral model updates the structural memory model. Information describing the memory model is logged for auto-modelling purposes. The auto-modelling information logged is analyzed (202), errors are detected/reported (106), and the results of each path are processed.
PCT/US1997/014051 1996-08-07 1997-08-06 Simulated program execution error detection method and apparatus WO1998006019A2 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP50825598A JP4633203B2 (en) 1996-08-07 1997-08-06 Method and apparatus for detecting execution error of simulated program
AU40589/97A AU4058997A (en) 1996-08-07 1997-08-06 Simulated program execution error detection method and apparatus

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US08/694,770 1996-08-07
US69477096A 1996-08-13 1996-08-13

Publications (2)

Publication Number Publication Date
WO1998006019A2 WO1998006019A2 (en) 1998-02-12
WO1998006019A3 true WO1998006019A3 (en) 1998-03-26

Family

ID=24790203

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US1997/014051 WO1998006019A2 (en) 1996-08-07 1997-08-06 Simulated program execution error detection method and apparatus

Country Status (3)

Country Link
JP (1) JP4633203B2 (en)
AU (1) AU4058997A (en)
WO (1) WO1998006019A2 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8448139B2 (en) 2009-10-05 2013-05-21 International Business Machines Corporation Automatic correction of application based on runtime behavior

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2000052580A1 (en) * 1999-03-04 2000-09-08 Origins Software Company Automatic consistency checking of computer programs
US9280406B2 (en) 2009-10-05 2016-03-08 International Business Machines Corporation Automatic correction of application based on runtime behavior
CN110489314B (en) * 2019-07-05 2022-07-12 中国平安人寿保险股份有限公司 Model anomaly detection method and device, computer equipment and storage medium
KR102491925B1 (en) * 2021-02-26 2023-01-26 고려대학교 산학협력단 Apparatus and method for analysing promgram
KR102543663B1 (en) * 2021-07-29 2023-06-15 국방과학연구소 Software verification method of electronic apparatus

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5325533A (en) * 1993-06-28 1994-06-28 Taligent, Inc. Engineering system for modeling computer programs
US5446900A (en) * 1992-07-24 1995-08-29 Microtec Research, Inc. Method and apparatus for statement level debugging of a computer program
US5481705A (en) * 1992-06-29 1996-01-02 Canon Kabushiki Kaisha Method for executing a program with branch-to modifying instructions
US5574854A (en) * 1993-06-30 1996-11-12 Microsoft Corporation Method and system for simulating the execution of a computer program
US5581696A (en) * 1995-05-09 1996-12-03 Parasoft Corporation Method using a computer for automatically instrumenting a computer program for dynamic debugging
US5583988A (en) * 1994-03-09 1996-12-10 National Instruments Corporation Method and apparatus for providing runtime checking features in a compiled programming development environment
US5590329A (en) * 1994-02-04 1996-12-31 Lucent Technologies Inc. Method and apparatus for detecting memory access errors
US5687375A (en) * 1994-10-14 1997-11-11 International Business Machines Corporation Debugging of High Performance Fortran programs with backup breakpoints

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5481705A (en) * 1992-06-29 1996-01-02 Canon Kabushiki Kaisha Method for executing a program with branch-to modifying instructions
US5446900A (en) * 1992-07-24 1995-08-29 Microtec Research, Inc. Method and apparatus for statement level debugging of a computer program
US5325533A (en) * 1993-06-28 1994-06-28 Taligent, Inc. Engineering system for modeling computer programs
US5574854A (en) * 1993-06-30 1996-11-12 Microsoft Corporation Method and system for simulating the execution of a computer program
US5590329A (en) * 1994-02-04 1996-12-31 Lucent Technologies Inc. Method and apparatus for detecting memory access errors
US5583988A (en) * 1994-03-09 1996-12-10 National Instruments Corporation Method and apparatus for providing runtime checking features in a compiled programming development environment
US5687375A (en) * 1994-10-14 1997-11-11 International Business Machines Corporation Debugging of High Performance Fortran programs with backup breakpoints
US5581696A (en) * 1995-05-09 1996-12-03 Parasoft Corporation Method using a computer for automatically instrumenting a computer program for dynamic debugging

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
IEEE PARALLEL AND DISTRIBUTED TECHNOLOGY, Vol. 3, No. 4, 1995, ROSENBLUM M. et al., "Complete Computer System Simulation: the SimOs Approach", pages 34-43. *
IEEE, 1994, MALLOY B.A., "Trace-Driven and Program-Driven Simulation: A Comparison, MASCOTS '94: Modeling, Analysis and Simulation Int'l Workshop", pages 395-396. *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8448139B2 (en) 2009-10-05 2013-05-21 International Business Machines Corporation Automatic correction of application based on runtime behavior

Also Published As

Publication number Publication date
JP2002515996A (en) 2002-05-28
AU4058997A (en) 1998-02-25
WO1998006019A2 (en) 1998-02-12
JP4633203B2 (en) 2011-02-16

Similar Documents

Publication Publication Date Title
KR20080065936A (en) Systems and methods for turbine control simulation
US5548717A (en) Software debugging system and method especially adapted for code debugging within a multi-architecture environment
EP0327195A3 (en) Processor simulation
CN103514023B (en) The method and system that a kind of virtual machine off-line automatic software is installed
CN100386743C (en) Debugging method of embedded system and its system
DE69510801D1 (en) METHOD AND DEVICE FOR MODELING COMPUTER PROCESS OPERATING EQUIPMENT
WO2001095161A3 (en) Method and system for virtual prototyping
EP0327196A3 (en) Processor simulation
WO2001086876A3 (en) Method and system for hardware simulation
CN108664380A (en) Software debugging system and adjustment method after a kind of execution shown with performance
WO2022095653A1 (en) Robot ability debugging method, apparatus, storage medium, and electronic device
WO1998006019A3 (en) Simulated program execution error detection method and apparatus
CN109697164A (en) Test method, device, storage medium and the terminal of App have been adjusted in browser
JPH08314760A (en) Program development supporting device
JP3720442B2 (en) ROM cartridge with debug function
JPH06282462A (en) Debugging system for semiconductor test device control program
JPH08263130A (en) Simulation system
CN117215963B (en) Simulator program checkpoint saving and restoring method, system and related equipment
JPH05282141A (en) Device for supporting evaluation of software developing environment
JPH07253909A (en) Microprogram verifying method
US20210303444A1 (en) Method, apparatus and computer program and user interface and technique to debug software code
JP2525913Y2 (en) LSI logic simulation device
CN116432573A (en) Performance simulation method, electronic device and storage medium
JP3183228B2 (en) Program debugging device and debugging method
JPH01307837A (en) Mpu simulation method and mpu simulator

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AL AM AT AU AZ BA BB BG BR BY CA CH CN CU CZ DE DK EE ES FI GB GE GH HU IL IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MD MG MK MN MW MX NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT UA UG UZ VN YU ZW AM AZ BY KG KZ MD RU TJ TM

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH KE LS MW SD SZ UG ZW AT BE CH DE DK ES FI FR GB GR IE IT LU MC NL PT

AK Designated states

Kind code of ref document: A3

Designated state(s): AL AM AT AU AZ BA BB BG BR BY CA CH CN CU CZ DE DK EE ES FI GB GE GH HU IL IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MD MG MK MN MW MX NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT UA UG UZ VN YU ZW AM AZ BY KG KZ MD RU TJ TM

AL Designated countries for regional patents

Kind code of ref document: A3

Designated state(s): GH KE LS MW SD SZ UG ZW AT BE CH DE DK ES FI FR GB GR IE IT LU MC NL PT

DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
121 Ep: the epo has been informed by wipo that ep was designated in this application
CFP Corrected version of a pamphlet front page

Free format text: REVISED ABSTRACT RECEIVED BY THE INTERNATIONAL BUREAU AFTER COMPLETION OF THE TECHNICAL PREPARATIONS FOR INTERNATIONAL PUBLICATION

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

NENP Non-entry into the national phase

Ref country code: CA

122 Ep: pct application non-entry in european phase