ATE245836T1 - Verfahren und vorrichtung zur automatischen analyse eines zielprogramms - Google Patents
Verfahren und vorrichtung zur automatischen analyse eines zielprogrammsInfo
- Publication number
- ATE245836T1 ATE245836T1 AT94916719T AT94916719T ATE245836T1 AT E245836 T1 ATE245836 T1 AT E245836T1 AT 94916719 T AT94916719 T AT 94916719T AT 94916719 T AT94916719 T AT 94916719T AT E245836 T1 ATE245836 T1 AT E245836T1
- Authority
- AT
- Austria
- Prior art keywords
- target process
- execution
- control
- repository
- model
- Prior art date
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)
- Hardware Redundancy (AREA)
- Devices For Executing Special Programs (AREA)
- Analysing Materials By The Use Of Radiation (AREA)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US5920893A | 1993-05-10 | 1993-05-10 | |
PCT/US1994/005182 WO1994027213A2 (en) | 1993-05-10 | 1994-05-10 | Method for minimizing uncertainty in computer software processes allowing for automatic identification of faults locations and locations for modifications due to new system requirements with introduction of an alternative form of the target process object code allowing for less recompilation and re-linkage processing |
Publications (1)
Publication Number | Publication Date |
---|---|
ATE245836T1 true ATE245836T1 (de) | 2003-08-15 |
Family
ID=22021495
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
AT94916719T ATE245836T1 (de) | 1993-05-10 | 1994-05-10 | Verfahren und vorrichtung zur automatischen analyse eines zielprogramms |
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)
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 |
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 |
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 |
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 |
US20080307397A1 (en) * | 2007-06-08 | 2008-12-11 | Bill Angell | Program Analysis by Partial Emulation |
US20080306986A1 (en) * | 2007-06-08 | 2008-12-11 | Accenture Global Services Gmbh | Migration of Legacy Applications |
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应用行为分析方法 |
CN112740184B (zh) * | 2018-09-27 | 2023-12-22 | 美国西门子医学诊断股份有限公司 | 用于确定性地报告软件系统中的原因和影响的方法 |
Family Cites Families (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4720778A (en) * | 1985-01-31 | 1988-01-19 | Hewlett Packard Company | Software debugging analyzer |
EP0228480B1 (de) * | 1985-12-30 | 1990-05-16 | Ibm Deutschland Gmbh | 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 |
-
1994
- 1994-05-10 WO PCT/US1994/005182 patent/WO1994027213A2/en active IP Right Grant
- 1994-05-10 CN CN94192552A patent/CN1125990A/zh active Pending
- 1994-05-10 CA CA002162020A patent/CA2162020C/en not_active Expired - Fee Related
- 1994-05-10 AU AU68298/94A patent/AU682869B2/en not_active Ceased
- 1994-05-10 AT AT94916719T patent/ATE245836T1/de not_active IP Right Cessation
- 1994-05-10 EP EP94916719A patent/EP0699320B1/de not_active Expired - Lifetime
- 1994-05-10 JP JP6525644A patent/JPH09502034A/ja active Pending
- 1994-05-10 DE DE69432974T patent/DE69432974T2/de not_active Expired - Lifetime
- 1994-11-10 US US08/337,262 patent/US5522036A/en not_active Expired - Lifetime
-
1999
- 1999-01-09 SG SG1996007119A patent/SG63616A1/en unknown
Also Published As
Publication number | Publication date |
---|---|
EP0699320A1 (de) | 1996-03-06 |
DE69432974T2 (de) | 2004-05-27 |
CA2162020C (en) | 2000-08-01 |
JPH09502034A (ja) | 1997-02-25 |
AU6829894A (en) | 1994-12-12 |
EP0699320B1 (de) | 2003-07-23 |
WO1994027213A2 (en) | 1994-11-24 |
CN1125990A (zh) | 1996-07-03 |
AU682869B2 (en) | 1997-10-23 |
CA2162020A1 (en) | 1994-11-24 |
DE69432974D1 (de) | 2003-08-28 |
SG63616A1 (en) | 1999-03-30 |
EP0699320A4 (de) | 1997-02-12 |
US5522036A (en) | 1996-05-28 |
WO1994027213A3 (en) | 1995-01-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
ATE245836T1 (de) | Verfahren und vorrichtung zur automatischen analyse eines zielprogramms | |
EP0327196A3 (de) | Prozessorssimulation | |
EP0926592A3 (de) | Software-Emulationssystem | |
ATE250254T1 (de) | Methode und vorrichtung zum simulieren von kunstmalerei oder künstlerischem zeichnen | |
ATE170298T1 (de) | Verfahren zur analyse von prozessdaten einer technischen anlage | |
DE69703329D1 (de) | Verfahren und Anordnung zur Änderung von Ergebnissen einer Computerprogrammausführungsfolge | |
DE69021935D1 (de) | Verfahren zum Überprüfen der Integrität eines Programms oder von Daten und Einrichtung zur Durchführung dieses Verfahrens. | |
DE59402939D1 (de) | Tracer-system zur fehleranalyse in laufenden realzeitsystemen | |
May et al. | Systems Analysis of 3 5Sulphur Kinetics in Pastures Grazed by Sheep | |
CN113009074A (zh) | 一种基于卷积神经网络算法的隧道空气质量监测方法 | |
DE69425894D1 (de) | Anordnung und Verfahren zum Erstellen von Software | |
JPH06282462A (ja) | 半導体試験装置制御プログラムデバッグ方式 | |
Zaytoon | Applying the intervals logic and object modelling technique into computer integrated manufacturing and engineering | |
Tzikoni et al. | Development and implementation of a general compiler to produce specific programs for minicomputer control of physiological experiments in real time | |
Eisenhut et al. | Micro Saint Modeling of Visual Displays and Controls Consoles | |
JPH04299704A (ja) | プラント制御ルール作成方法及びその作成装置並びにプラント制御装置 | |
JPS6122834B2 (de) | ||
CN114416598A (zh) | 一种基于测试切片的众包测试扩增方法 | |
JP2000010813A (ja) | シミュレーションテスト方式 | |
Sheffer et al. | A new approach to computerized control system for the activated sludge process in transient states | |
Kimbler | Simulation of a robotic assembly process with visual decision making | |
JPH04177401A (ja) | シミュレーションモデル作成方式 | |
MITCHELL | Operator function modeling: An approach to cognitive task analysis in supervisory control systems(Annual Report) | |
Walsh | Methods for the Analysis of Biomedical Time Series. | |
JPS6435610A (en) | Robot simulation environment managing system |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
RER | Ceased as to paragraph 5 lit. 3 law introducing patent treaties |