ATE361497T1 - Verfahren und gerät zur kontrolle der umwandlung von programm-kodes - Google Patents

Verfahren und gerät zur kontrolle der umwandlung von programm-kodes

Info

Publication number
ATE361497T1
ATE361497T1 AT03810505T AT03810505T ATE361497T1 AT E361497 T1 ATE361497 T1 AT E361497T1 AT 03810505 T AT03810505 T AT 03810505T AT 03810505 T AT03810505 T AT 03810505T AT E361497 T1 ATE361497 T1 AT E361497T1
Authority
AT
Austria
Prior art keywords
emulator
program code
code conversion
subject
execution
Prior art date
Application number
AT03810505T
Other languages
English (en)
Inventor
John Sandham
Paul Knowles
Original Assignee
Transitive Ltd
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 Transitive Ltd filed Critical Transitive Ltd
Application granted granted Critical
Publication of ATE361497T1 publication Critical patent/ATE361497T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45504—Abstract machines for programme code execution, e.g. Java virtual machine [JVM], interpreters, emulators
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/445—Program loading or initiating
    • G06F9/44589—Program code verification, e.g. Java bytecode verification, proof-carrying code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Executing Machine-Instructions (AREA)
  • Communication Control (AREA)
  • Compression, Expansion, Code Conversion, And Decoders (AREA)
  • Debugging And Monitoring (AREA)
  • Numerical Control (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Gyroscopes (AREA)
  • Lubrication Of Internal Combustion Engines (AREA)
  • Diaphragms For Electromechanical Transducers (AREA)
AT03810505T 2002-11-04 2003-11-04 Verfahren und gerät zur kontrolle der umwandlung von programm-kodes ATE361497T1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB0225649.3A GB0225649D0 (en) 2002-11-04 2002-11-04 Incremental validation

Publications (1)

Publication Number Publication Date
ATE361497T1 true ATE361497T1 (de) 2007-05-15

Family

ID=9947144

Family Applications (1)

Application Number Title Priority Date Filing Date
AT03810505T ATE361497T1 (de) 2002-11-04 2003-11-04 Verfahren und gerät zur kontrolle der umwandlung von programm-kodes

Country Status (9)

Country Link
US (1) US7793270B2 (de)
EP (1) EP1559012B1 (de)
JP (1) JP4766540B2 (de)
AT (1) ATE361497T1 (de)
AU (1) AU2003301782A1 (de)
DE (1) DE60313652T2 (de)
GB (2) GB0225649D0 (de)
TW (1) TW200417925A (de)
WO (1) WO2004042564A2 (de)

Families Citing this family (33)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7149929B2 (en) * 2003-08-25 2006-12-12 Hewlett-Packard Development Company, L.P. Method of and apparatus for cross-platform core dumping during dynamic binary translation
US20050216829A1 (en) * 2004-03-25 2005-09-29 Boris Kalinichenko Wireless content validation
US8694802B2 (en) 2004-04-30 2014-04-08 Apple Inc. System and method for creating tamper-resistant code
US7278122B2 (en) * 2004-06-24 2007-10-02 Ftl Systems, Inc. Hardware/software design tool and language specification mechanism enabling efficient technology retargeting and optimization
US7752633B1 (en) * 2005-03-14 2010-07-06 Seven Networks, Inc. Cross-platform event engine
US7813909B2 (en) 2006-05-03 2010-10-12 Sony Computer Entertainment Inc. Register mapping in emulation of a target system on a host system
US7792666B2 (en) * 2006-05-03 2010-09-07 Sony Computer Entertainment Inc. Translation block invalidation prehints in emulation of a target system on a host system
US7770050B2 (en) * 2006-05-03 2010-08-03 Sony Computer Entertainment Inc. Method and apparatus for resolving clock management issues in emulation involving both interpreted and translated code
US7802232B2 (en) * 2006-03-31 2010-09-21 Microsoft Corporation Software robustness through search for robust runtime implementations
US20070234296A1 (en) * 2006-03-31 2007-10-04 Microsoft Corporation Software variation for robustness through randomized execution contexts
JP4589263B2 (ja) * 2006-04-10 2010-12-01 日本電信電話株式会社 音声モニタリング録音システム
US7568189B2 (en) * 2006-05-03 2009-07-28 Sony Computer Entertainment Inc. Code translation and pipeline optimization
US20070294675A1 (en) * 2006-06-20 2007-12-20 Transitive Limited Method and apparatus for handling exceptions during binding to native code
US8352713B2 (en) * 2006-08-09 2013-01-08 Qualcomm Incorporated Debug circuit comparing processor instruction set operating mode
US7908596B2 (en) * 2007-01-05 2011-03-15 International Business Machines Corporation Automatic inspection of compiled code
GB2447968B (en) * 2007-03-30 2010-07-07 Transitive Ltd Improvements in and relating to floating point operations
US8060356B2 (en) 2007-12-19 2011-11-15 Sony Computer Entertainment Inc. Processor emulation using fragment level translation
CN100530164C (zh) * 2007-12-29 2009-08-19 中国科学院计算技术研究所 一种risc处理器及其寄存器标志位处理方法
JP2010003008A (ja) * 2008-06-18 2010-01-07 Fujitsu Ltd 検出プログラム、検出装置および検出方法
US20110145643A1 (en) * 2009-12-10 2011-06-16 Microsoft Corporation Reproducible test framework for randomized stress test
US8549468B2 (en) * 2010-02-08 2013-10-01 National Tsing Hua University Method, system and computer readable storage device for generating software transaction-level modeling (TLM) model
US20120011491A1 (en) * 2010-07-06 2012-01-12 Adi Eldar Efficient recording and replaying of the execution path of a computer program
CN103180834B (zh) 2010-09-09 2015-12-02 国际商业机器公司 自动操作系统测试框架
US9104514B2 (en) * 2011-01-11 2015-08-11 International Business Machines Corporation Automated deployment of applications with tenant-isolation requirements
US20120331303A1 (en) * 2011-06-23 2012-12-27 Andersson Jonathan E Method and system for preventing execution of malware
US20130024178A1 (en) * 2011-07-20 2013-01-24 Narendran Kumaragurunathan Playback methodology for verification components
US20130132063A1 (en) * 2011-11-18 2013-05-23 Michael J. Rieschl Systems and methods for debugging just-in-time static translation in an emulated system
WO2014155684A1 (ja) 2013-03-29 2014-10-02 富士通株式会社 プログラム、情報処理システム、およびプログラム移行方法
EP2849464A1 (de) * 2013-09-17 2015-03-18 Gemalto SA Verfahren zur Kommunikation zwischen einem Server und einem sicheren Element
EP2851815A1 (de) * 2013-09-18 2015-03-25 dSPACE digital signal processing and control engineering GmbH Testeinrichtung zum Echtzeittest eines virtuellen Steuergeräts
US10747880B2 (en) * 2013-12-30 2020-08-18 University Of Louisiana At Lafayette System and method for identifying and comparing code by semantic abstractions
US10275344B2 (en) * 2014-03-03 2019-04-30 Lg Electronics Inc. Method for verifying operations for common application development of in-vehicle infotainment system and mobile terminal
RU2757409C1 (ru) * 2020-06-19 2021-10-15 Акционерное общество "Лаборатория Касперского" Эмулятор и способ эмуляции

Family Cites Families (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE3377541D1 (en) * 1982-06-03 1988-09-01 Lucas Ind Plc Control system primarily responsive to signals from digital computers
US5138708A (en) * 1989-08-03 1992-08-11 Unisys Corporation Digital processor using current state comparison for providing fault tolerance
JPH04190457A (ja) * 1990-11-26 1992-07-08 Hitachi Ltd 論理シミュレーション方法および装置
US5729554A (en) * 1996-10-01 1998-03-17 Hewlett-Packard Co. Speculative execution of test patterns in a random test generator
US5905855A (en) * 1997-02-28 1999-05-18 Transmeta Corporation Method and apparatus for correcting errors in computer systems
TW342483B (en) * 1997-11-14 1998-10-11 Winbond Electronics Corp Serial in-circuit emulator architecture
US6415436B1 (en) * 1998-12-11 2002-07-02 Hewlett-Packard Company Mechanism for cross validating emulated states between different emulation technologies in a dynamic compiler
US6145436A (en) * 1999-04-27 2000-11-14 Astro-Med, Inc. Label transport shuttle for a printing device
US6625759B1 (en) * 2000-02-18 2003-09-23 Hewlett-Packard Development Company, L.P. Method and apparatus for verifying the fine-grained correctness of a behavioral model of a central processor unit
JP2001306359A (ja) * 2000-04-20 2001-11-02 Seiko Epson Corp 自動評価システム

Also Published As

Publication number Publication date
GB2395316A (en) 2004-05-19
WO2004042564A2 (en) 2004-05-21
GB0325759D0 (en) 2003-12-10
GB2395316B (en) 2005-05-11
DE60313652D1 (de) 2007-06-14
AU2003301782A1 (en) 2004-06-07
DE60313652T2 (de) 2008-01-10
US7793270B2 (en) 2010-09-07
GB0225649D0 (en) 2002-12-11
GB2395316A8 (en) 2005-03-18
WO2004042564A3 (en) 2004-07-22
US20040221273A1 (en) 2004-11-04
JP2006505844A (ja) 2006-02-16
EP1559012A2 (de) 2005-08-03
TW200417925A (en) 2004-09-16
EP1559012B1 (de) 2007-05-02
AU2003301782A8 (en) 2004-06-07
JP4766540B2 (ja) 2011-09-07

Similar Documents

Publication Publication Date Title
ATE361497T1 (de) Verfahren und gerät zur kontrolle der umwandlung von programm-kodes
ATE516537T1 (de) Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml
SA521430110B1 (ar) منصة اختبار اختراق متنقلة تعمل بلمسة واحدة
ATE418729T1 (de) Verfahren zur charakterisierung von biomolekülen mittels resultat-gesteuerter strategie
SE0202019D0 (sv) Revalidation of a compiler for safety control
DE602004032466D1 (de) Durchführung von prüfungen an der betriebsmittelbenutzung von computerprogrammen
BR0215083A (pt) editor de seqüência de testes automatizados e motor para testes de transformador
ATE556371T1 (de) System zur automatischen bearbeitung von bestandteilen einer vorrichtung
BR112015022150A2 (pt) prognósticos de válvula para componentes poliméricos com base em técnicas de envelhecimento acelerado
DE60239940D1 (de) Verfahren, vorrichtungen und computerprogramme zum verifizieren der integrität einer sonde
ATE426858T1 (de) System und verfahren zum erkennen von bísartigem code
WO2003100667A3 (en) Method of testing components designed to perform real-time, high resource functions
TW200513660A (en) Debugging apparatus for testing program and semiconductor testing apparatus and debugging and testing method for testing progame
ATE437542T1 (de) Vorrichtung, system und verfahren zum testen eines geräts mit eingeschränkten ressourcen
EA202091214A1 (ru) Комплексный способ воспроизведения сценариев движения поездов, симулятор, система и машинно-считываемый носитель информации
TW200741479A (en) Methods and systems for computing platform
WO2006085639A3 (en) Methods and apparatus for instruction set emulation
FI20011947L (fi) Menetelmä suorittimen toiminnan ohjaamiseksi ja suoritin
WO2005119439A3 (en) Retargetable instruction set simulators
ATE298905T1 (de) Vorrichtung und verfahren zur echtzeitfehlerbeseitigung von quellprogrammen, insbesondere für dsp
ATE467175T1 (de) Vorrichtung und verfahren zur verwaltung von betriebssystemparametern
DE60317324D1 (de) Verfahren zum prüfen von codes für mikroschaltungen mit eingeschränkten ressourcen
DE60213786D1 (de) System und verfahren zur automatisierten assertionserfassung in einer java-kompatibilitätsprüfung
ATE306169T1 (de) Verfahren und generierungsmodul zur ermittlung von filtermasken zur relevanzprüfung von kennzeichnern
DE69425894D1 (de) Anordnung und Verfahren zum Erstellen von Software

Legal Events

Date Code Title Description
RER Ceased as to paragraph 5 lit. 3 law introducing patent treaties