SG63616A1 - Method and apparatus for automatic analysis of computer software - Google Patents

Method and apparatus for automatic analysis of computer software

Info

Publication number
SG63616A1
SG63616A1 SG1996007119A SG1996007119A SG63616A1 SG 63616 A1 SG63616 A1 SG 63616A1 SG 1996007119 A SG1996007119 A SG 1996007119A SG 1996007119 A SG1996007119 A SG 1996007119A SG 63616 A1 SG63616 A1 SG 63616A1
Authority
SG
Singapore
Prior art keywords
target process
execution
control
repository
model
Prior art date
Application number
SG1996007119A
Other languages
English (en)
Inventor
Benjamin V Shapiro
Original Assignee
Thinking Software Inc
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 Thinking Software Inc filed Critical Thinking Software Inc
Publication of SG63616A1 publication Critical patent/SG63616A1/en

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
    • 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/3612—Software analysis for verifying properties of programs by runtime analysis

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Software Systems (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Hardware Redundancy (AREA)
  • Analysing Materials By The Use Of Radiation (AREA)
SG1996007119A 1993-05-10 1999-01-09 Method and apparatus for automatic analysis of computer software SG63616A1 (en)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US5920893A 1993-05-10 1993-05-10

Publications (1)

Publication Number Publication Date
SG63616A1 true SG63616A1 (en) 1999-03-30

Family

ID=22021495

Family Applications (1)

Application Number Title Priority Date Filing Date
SG1996007119A SG63616A1 (en) 1993-05-10 1999-01-09 Method and apparatus for automatic analysis of computer software

Country Status (10)

Country Link
US (1) US5522036A (de)
EP (1) EP0699320B1 (de)
JP (1) JPH09502034A (de)
CN (1) CN1125990A (de)
AT (1) ATE245836T1 (de)
AU (1) AU682869B2 (de)
CA (1) CA2162020C (de)
DE (1) DE69432974T2 (de)
SG (1) SG63616A1 (de)
WO (1) WO1994027213A2 (de)

Families Citing this family (42)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5822592A (en) * 1994-06-28 1998-10-13 Us West Technologies, Inc. Method and system for determining source code location
US5699507A (en) * 1995-01-17 1997-12-16 Lucent Technologies Inc. Method of identifying similarities in code segments
US5606699A (en) * 1995-04-28 1997-02-25 International Business Machines Corporation Storing and querying execution information for object-oriented programs
US5748878A (en) * 1995-09-11 1998-05-05 Applied Microsystems, Inc. Method and apparatus for analyzing software executed in embedded systems
US6088452A (en) * 1996-03-07 2000-07-11 Northern Telecom Limited Encoding technique for software and hardware
US5950009A (en) * 1997-03-10 1999-09-07 International Business Machines Coporation Method and apparatus for profile-based reordering of program portions in a computer program
US6029004A (en) * 1997-03-17 2000-02-22 International Business Machines Corporation Method and apparatus for modular reordering of portions of a computer program based on profile data
US5926622A (en) * 1997-03-18 1999-07-20 Lucent Technologies Inc. Efficient regression verification
US5960198A (en) * 1997-03-19 1999-09-28 International Business Machines Corporation Software profiler with runtime control to enable and disable instrumented executable
US6026234A (en) * 1997-03-19 2000-02-15 International Business Machines Corporation Method and apparatus for profiling indirect procedure calls in a computer program
US5911073A (en) * 1997-12-23 1999-06-08 Hewlett-Packard Company Method and apparatus for dynamic process monitoring through an ancillary control code system
US6189141B1 (en) 1998-05-04 2001-02-13 Hewlett-Packard Company Control path evaluating trace designator with dynamically adjustable thresholds for activation of tracing for high (hot) activity and low (cold) activity of flow control
US6148437A (en) * 1998-05-04 2000-11-14 Hewlett-Packard Company System and method for jump-evaluated trace designation
US6164841A (en) * 1998-05-04 2000-12-26 Hewlett-Packard Company Method, apparatus, and product for dynamic software code translation system
US6415396B1 (en) * 1999-03-26 2002-07-02 Lucent Technologies Inc. Automatic generation and maintenance of regression test cases from requirements
US6769073B1 (en) * 1999-04-06 2004-07-27 Benjamin V. Shapiro Method and apparatus for building an operating environment capable of degree of software fault tolerance
US6651244B1 (en) * 1999-07-26 2003-11-18 Cisco Technology, Inc. System and method for determining program complexity
US6973417B1 (en) 1999-11-05 2005-12-06 Metrowerks Corporation Method and system for simulating execution of a target program in a simulated target system
US6718485B1 (en) * 1999-11-16 2004-04-06 Parasoft Corporation Software emulating hardware for analyzing memory references of a computer program
JP2001249828A (ja) * 1999-12-28 2001-09-14 Toshiba Lsi System Support Kk 情報処理装置、不具合解析プログラムを格納したコンピュータ読み取り可能な記憶媒体、不具合解析方法、及びアプリケーションプログラム開発支援システム
US6785848B1 (en) * 2000-05-15 2004-08-31 Microsoft Corporation Method and system for categorizing failures of a program module
US6665824B1 (en) * 2000-05-15 2003-12-16 Microsoft Corporation System and method for handling a failure reporting conversation
US6948127B1 (en) * 2001-12-10 2005-09-20 Cisco Technology, Inc. Interface for compressed video data analysis
US7096339B2 (en) * 2003-03-01 2006-08-22 International Business Machines Corporation System and method for detecting memory management programming errors
US20050108562A1 (en) * 2003-06-18 2005-05-19 Khazan Roger I. Technique for detecting executable malicious code using a combination of static and dynamic analyses
US7322027B2 (en) * 2003-06-27 2008-01-22 Microsoft Corporation Detecting termination and providing information related to termination of a computer system process
CN101694643B (zh) * 2003-09-30 2012-10-10 明导公司 使用一个或多个自动机的系统验证
US7296256B2 (en) * 2003-10-20 2007-11-13 International Business Machines Corporation Method and apparatus for automatic modeling building using inference for IT systems
US7581211B2 (en) * 2004-07-14 2009-08-25 International Business Machines Corporation Method and apparatus for on demand debugging, tracing, and logging of applications
US7962497B2 (en) * 2005-02-18 2011-06-14 Microsoft Corporation Relationship modeling
US7975257B2 (en) * 2006-06-13 2011-07-05 Microsoft Corporation Iterative static and dynamic software analysis
US8312415B2 (en) * 2007-04-17 2012-11-13 Microsoft Corporation Using code analysis for requirements management
US20080306986A1 (en) * 2007-06-08 2008-12-11 Accenture Global Services Gmbh Migration of Legacy Applications
US20080307397A1 (en) * 2007-06-08 2008-12-11 Bill Angell Program Analysis by Partial Emulation
US8219975B2 (en) * 2007-10-26 2012-07-10 Microsoft Corporation Real-time analysis of performance data of a video game
RU2458386C1 (ru) * 2011-04-07 2012-08-10 Корпорация "САМСУНГ ЭЛЕКТРОНИКС Ко., Лтд." Способ определения ошибочного использования памяти
US9015831B2 (en) * 2012-08-08 2015-04-21 Synopsys, Inc Method and apparatus for static taint analysis of computer program code
US20140130015A1 (en) 2012-11-06 2014-05-08 International Business Machines Corporation Hybrid Program Analysis
JP6070847B2 (ja) * 2013-08-09 2017-02-01 富士通株式会社 検証方法、検証装置および検証プログラム
WO2017200942A1 (en) * 2016-05-15 2017-11-23 John Steven Systems and methods for model-based analysis of software
CN107832209A (zh) * 2017-10-26 2018-03-23 北京邮电大学 一种基于混合检测结果的Android应用行为分析方法
US11599407B2 (en) * 2018-09-27 2023-03-07 Siemens Healthcare Diagnostics Inc. Method for deterministically reporting cause and effect in software systems

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4720778A (en) * 1985-01-31 1988-01-19 Hewlett Packard Company Software debugging analyzer
DE3577760D1 (de) * 1985-12-30 1990-06-21 Ibm Deutschland Verfahren und einrichtung zur analyse von steuerprogrammen.
JPS62166444A (ja) * 1986-01-20 1987-07-22 Mitsubishi Electric Corp プログラムデバツグ装置
JPH02118852A (ja) * 1988-10-28 1990-05-07 Nec Eng Ltd 高級言語のデバッグの簡易化方式
US5297150A (en) * 1992-06-17 1994-03-22 International Business Machines Corporation Rule-based method for testing of programming segments

Also Published As

Publication number Publication date
JPH09502034A (ja) 1997-02-25
DE69432974T2 (de) 2004-05-27
CA2162020A1 (en) 1994-11-24
DE69432974D1 (de) 2003-08-28
CN1125990A (zh) 1996-07-03
ATE245836T1 (de) 2003-08-15
EP0699320B1 (de) 2003-07-23
US5522036A (en) 1996-05-28
EP0699320A1 (de) 1996-03-06
WO1994027213A2 (en) 1994-11-24
EP0699320A4 (de) 1997-02-12
WO1994027213A3 (en) 1995-01-05
AU6829894A (en) 1994-12-12
AU682869B2 (en) 1997-10-23
CA2162020C (en) 2000-08-01

Similar Documents

Publication Publication Date Title
SG63616A1 (en) Method and apparatus for automatic analysis of computer software
EP0327196A3 (de) Prozessorssimulation
EP0213347A3 (de) Simulation von externen Rechnerprogrammschnittstellen
EP0926592A3 (de) Software-Emulationssystem
CA2224689A1 (en) Remote monitoring of computer programs
EP0715264A4 (de)
CA2149169A1 (en) Plant simulation and optimization software apparatus and method using dual execution models
EP0242131A3 (de) Grafiksystem zum Modellieren eines Prozesses und dazugehöriges Verfahren
HK1001428A1 (en) Process for analysing process data in an industrial plant
EP0827078A3 (de) Verfahren und Anordnung zur Änderung von durch verkürzte Daten verursachten falschen Ergebnissen einer Computerprogrammausführungsfolge
Barlow et al. Run control in MODEL: The state manager
GB2363661A (en) Servo processor code evaluation using a virtual disc drive
May et al. Systems Analysis of 3 5Sulphur Kinetics in Pastures Grazed by Sheep
ATE196374T1 (de) Anordnung und verfahren zum erstellen von software
Tzikoni et al. Development and implementation of a general compiler to produce specific programs for minicomputer control of physiological experiments in real time
Zaytoon Applying the intervals logic and object modelling technique into computer integrated manufacturing and engineering
JPS6122834B2 (de)
JPS57100545A (en) Debug device
JPS6435610A (en) Robot simulation environment managing system
CN117961902A (zh) 一种基于el语法的rpa机器人控制方法及系统
JPS53141875A (en) Observation method of process condition
JPS6465644A (en) On-line debugging system in cross compiler development
JPH0250730A (ja) 共通機械語による言語変換方式
Berry DCS enhancements for advanced simulation capabilities.
JP2000010813A (ja) シミュレーションテスト方式