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

Simulated program execution error detection method and apparatus

Info

Publication number
AU4058997A
AU4058997A AU40589/97A AU4058997A AU4058997A AU 4058997 A AU4058997 A AU 4058997A AU 40589/97 A AU40589/97 A AU 40589/97A AU 4058997 A AU4058997 A AU 4058997A AU 4058997 A AU4058997 A AU 4058997A
Authority
AU
Australia
Prior art keywords
detection method
error detection
program execution
execution error
simulated program
Prior art date
Legal status (The legal status 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 status listed.)
Abandoned
Application number
AU40589/97A
Inventor
William R Bush
Debby Majors-Degnan
Jonathan D Pincus
David Jon Sielaff
Richard E. Wilbur
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Intrinsa Corp
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
Publication of AU4058997A publication Critical patent/AU4058997A/en
Abandoned legal-status Critical Current

Links

Classifications

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

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
AU40589/97A 1996-08-07 1997-08-06 Simulated program execution error detection method and apparatus Abandoned AU4058997A (en)

Applications Claiming Priority (3)

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

Publications (1)

Publication Number Publication Date
AU4058997A true AU4058997A (en) 1998-02-25

Family

ID=24790203

Family Applications (1)

Application Number Title Priority Date Filing Date
AU40589/97A Abandoned AU4058997A (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)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
AU3867500A (en) * 1999-03-04 2000-09-21 Origins Software Company Automatic consistency checking of computer programs
US8448139B2 (en) 2009-10-05 2013-05-21 International Business Machines Corporation Automatic correction of application based on runtime behavior
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

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2922723B2 (en) * 1992-06-29 1999-07-26 キヤノン株式会社 Information processing device
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
DE69415593T2 (en) * 1993-06-30 1999-05-20 Microsoft Corp., Redmond, Wash. Process for checking a message-driven operating system
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

Also Published As

Publication number Publication date
JP2002515996A (en) 2002-05-28
WO1998006019A3 (en) 1998-03-26
WO1998006019A2 (en) 1998-02-12
JP4633203B2 (en) 2011-02-16

Similar Documents

Publication Publication Date Title
AUPM519694A0 (en) Method for testing and debugging computer programs
AU5696098A (en) Method and apparatus for globally-accessible automated testing
EP0883057A3 (en) Method and apparatus for software component analysis
AU2389495A (en) Computer program debugging system and method
AU2254995A (en) Analysis method and analysis apparatus
AU3135297A (en) Method and apparatus for computer-based educational testing
AU1984597A (en) Pipe testing apparatus and method
AU1816799A (en) Method and apparatus for selective execution of a computer program
AU3183499A (en) Apparatus and method of reading a program into a processor
AU9501998A (en) Method and apparatus for fault detection and control
AU1942299A (en) Apparatus and method for testing a device
AU2213695A (en) Analysis method and analysis apparatus
AU4267997A (en) Apparatus and method for revising computer program code
EP0763194A4 (en) Misfire detection method and apparatus
AU2860695A (en) Automated accompaniment apparatus and method
AU6172494A (en) Automated leak detection apparatus and method
GB2314485B (en) A method of testing the integrity of radio apparatus and a system for performing the same
AU3873397A (en) Method and system for testing computer system software
AU4908997A (en) Automated microbiological testing apparatus and method
EP0800153A3 (en) Smoke detecting apparatus and method
GB2314746B (en) Voice-coded data error processing apparatus and method of performing the same
AU3103197A (en) Error detection device and method
AU3584395A (en) Universal penetration test apparatus and method
AU4058997A (en) Simulated program execution error detection method and apparatus
AU1078099A (en) Method and apparatus for optimizing instruction execution