GB2604237B - Automatic verification of optimization of high level constructs using test vectors - Google Patents

Automatic verification of optimization of high level constructs using test vectors Download PDF

Info

Publication number
GB2604237B
GB2604237B GB2201366.8A GB202201366A GB2604237B GB 2604237 B GB2604237 B GB 2604237B GB 202201366 A GB202201366 A GB 202201366A GB 2604237 B GB2604237 B GB 2604237B
Authority
GB
United Kingdom
Prior art keywords
optimization
high level
test vectors
automatic verification
level constructs
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.)
Active
Application number
GB2201366.8A
Other languages
English (en)
Other versions
GB2604237A (en
Inventor
Alexander Ireland Iain
Copeland Reid
Kielstra Allan
Kevin Siegwart David
Koju Toshihiko
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.)
International Business Machines Corp
Original Assignee
International Business Machines 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 International Business Machines Corp filed Critical International Business Machines Corp
Publication of GB2604237A publication Critical patent/GB2604237A/en
Application granted granted Critical
Publication of GB2604237B publication Critical patent/GB2604237B/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/443—Optimisation
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3684—Test management for test design, e.g. generating new test cases
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3668—Testing of software
    • G06F11/3672—Test management
    • G06F11/3692—Test management for test results analysis
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/53—Decompilation; Disassembly

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Devices For Executing Special Programs (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
GB2201366.8A 2019-07-31 2020-07-24 Automatic verification of optimization of high level constructs using test vectors Active GB2604237B (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US16/527,362 US10776255B1 (en) 2019-07-31 2019-07-31 Automatic verification of optimization of high level constructs using test vectors
PCT/IB2020/057017 WO2021019401A1 (en) 2019-07-31 2020-07-24 Automatic verification of optimization of high level constructs using test vectors

Publications (2)

Publication Number Publication Date
GB2604237A GB2604237A (en) 2022-08-31
GB2604237B true GB2604237B (en) 2023-03-22

Family

ID=72425773

Family Applications (1)

Application Number Title Priority Date Filing Date
GB2201366.8A Active GB2604237B (en) 2019-07-31 2020-07-24 Automatic verification of optimization of high level constructs using test vectors

Country Status (6)

Country Link
US (1) US10776255B1 (https=)
JP (1) JP7410269B2 (https=)
CN (1) CN114174983B (https=)
DE (1) DE112020003634T5 (https=)
GB (1) GB2604237B (https=)
WO (1) WO2021019401A1 (https=)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11886848B2 (en) 2022-05-25 2024-01-30 International Business Machines Corporation Binary translation using raw binary code with compiler produced metadata

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20120198427A1 (en) * 2011-01-28 2012-08-02 International Business Machines Corporation Ensuring Register Availability for Dynamic Binary Optimization
US20150378871A1 (en) * 2014-06-25 2015-12-31 Microsoft Corporation Techniques for edit-and-continue and enhanced optimized debugging on optimized code
US10339837B1 (en) * 2018-06-01 2019-07-02 Polyverse Corporation Distribution of scrambled binary output using a randomized compiler

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP4057938B2 (ja) * 2003-03-26 2008-03-05 株式会社東芝 コンパイラ、コンパイル方法、及びプログラム開発ツール
US20060031820A1 (en) * 2004-08-09 2006-02-09 Aizhong Li Method for program transformation and apparatus for COBOL to Java program transformation
US7624384B2 (en) * 2004-11-30 2009-11-24 Intel Corporation Apparatus, system, and method of dynamic binary translation with translation reuse
US8103674B2 (en) * 2007-12-21 2012-01-24 Microsoft Corporation E-matching for SMT solvers
US8381175B2 (en) * 2010-03-16 2013-02-19 Microsoft Corporation Low-level code rewriter verification
CN102622260B (zh) * 2012-02-27 2014-12-10 中国科学院计算技术研究所 一种在线迭代编译的优化方法和优化系统
US8959495B2 (en) * 2012-09-14 2015-02-17 Oracle International Corporation Unifying static and dynamic compiler optimizations in source-code bases
JP5967618B2 (ja) * 2013-04-17 2016-08-10 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ 二進化十進数型変数へのアクセスを有する言語のバイナリコードを最適化する方法、並びにそのコンピュータ及びコンピュータ・プログラム
JP5988444B2 (ja) * 2014-02-14 2016-09-07 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ 最適化したバイナリー・モジュールをテストする方法、並びに、当該最適化したバイナリー・モジュールをテストするためのコンピュータ及びそのコンピュータ・プログラム
US9442707B2 (en) * 2014-06-25 2016-09-13 Microsoft Technology Licensing, Llc Incremental whole program compilation of code
US9563536B1 (en) * 2015-10-19 2017-02-07 International Business Machines Corporation Performance neutral isolation of runtime discrepancies in binary code
US9715377B1 (en) 2016-01-04 2017-07-25 International Business Machines Corporation Behavior based code recompilation triggering scheme
AU2016396782B2 (en) * 2016-03-11 2021-07-22 Lzlabs Gmbh Load module compiler
US10579498B2 (en) * 2016-07-31 2020-03-03 Microsoft Technology Licensing, Llc. Debugging tool for a JIT compiler
US10809985B2 (en) * 2017-03-09 2020-10-20 Microsoft Technology Licensing, Llc Instrumenting program code
US10514909B2 (en) * 2017-03-29 2019-12-24 Technion Research & Development Foundation Limited Similarity of binaries

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20120198427A1 (en) * 2011-01-28 2012-08-02 International Business Machines Corporation Ensuring Register Availability for Dynamic Binary Optimization
US20150378871A1 (en) * 2014-06-25 2015-12-31 Microsoft Corporation Techniques for edit-and-continue and enhanced optimized debugging on optimized code
US10339837B1 (en) * 2018-06-01 2019-07-02 Polyverse Corporation Distribution of scrambled binary output using a randomized compiler

Also Published As

Publication number Publication date
JP2022542007A (ja) 2022-09-29
US10776255B1 (en) 2020-09-15
CN114174983A (zh) 2022-03-11
GB2604237A (en) 2022-08-31
WO2021019401A1 (en) 2021-02-04
CN114174983B (zh) 2022-10-11
DE112020003634T5 (de) 2022-06-09
JP7410269B2 (ja) 2024-01-09

Similar Documents

Publication Publication Date Title
IL277715A (en) Characteristic of optical samples
EP3759984C0 (en) PERMISSION-FREE UPLINK TRANSMISSION TECHNIQUES
GB201810769D0 (en) Test equipment
GB201801767D0 (en) Network testing
GB2565061B (en) Optical testing of central heating system water
EP3895019A4 (en) CONTROLLER STRUCTURAL TEST WITH AUTOMATED TEST VECTORS
SG11202110914XA (en) Test device
IL290226A (en) Methods for identifying receptors for t cells
GB201900789D0 (en) Method for testing time distribution
EP4051918C0 (de) Prüfstand
GB201811499D0 (en) Testing apparatus
GB201914091D0 (en) Test Apparatus
GB2604237B (en) Automatic verification of optimization of high level constructs using test vectors
PL3993134T3 (pl) Sposób określania stopnia zwilżania za pomocą testu niskoprądowego
SI3654043T1 (sl) Preizkusni kabel za večnamensko uporabo
GB2571613B (en) Water Quality testing
GB201819508D0 (en) Non-destructive testing
GB201809969D0 (en) Test apparatus
IL277767A (en) Sleeve welding test
GB201917671D0 (en) An automatic high-temperature environment test box
GB201902022D0 (en) Test apparatus
GB201900835D0 (en) Test apparatus
SG10202010796RA (en) Wafer testing method
GB201914129D0 (en) Test specimen
PT3819622T (pt) Dispositivo de teste de pneus