CN114174983B - 用于高级构造的优化的自动验证的方法和系统 - Google Patents

用于高级构造的优化的自动验证的方法和系统 Download PDF

Info

Publication number
CN114174983B
CN114174983B CN202080052336.6A CN202080052336A CN114174983B CN 114174983 B CN114174983 B CN 114174983B CN 202080052336 A CN202080052336 A CN 202080052336A CN 114174983 B CN114174983 B CN 114174983B
Authority
CN
China
Prior art keywords
machine instructions
executable code
level
instructions
test
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
CN202080052336.6A
Other languages
English (en)
Chinese (zh)
Other versions
CN114174983A (zh
Inventor
I·A·艾尔兰
R·科普兰
A·基尔斯特拉
D·K·西格瓦特
孝寿俊彦
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 CN114174983A publication Critical patent/CN114174983A/zh
Application granted granted Critical
Publication of CN114174983B publication Critical patent/CN114174983B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • 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/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/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/41—Compilation
    • G06F8/44—Encoding
    • G06F8/443—Optimisation
    • 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)
CN202080052336.6A 2019-07-31 2020-07-24 用于高级构造的优化的自动验证的方法和系统 Active CN114174983B (zh)

Applications Claiming Priority (3)

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
US16/527,362 2019-07-31
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
CN114174983A CN114174983A (zh) 2022-03-11
CN114174983B true CN114174983B (zh) 2022-10-11

Family

ID=72425773

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202080052336.6A Active CN114174983B (zh) 2019-07-31 2020-07-24 用于高级构造的优化的自动验证的方法和系统

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 (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102622260A (zh) * 2012-02-27 2012-08-01 中国科学院计算技术研究所 一种在线迭代编译的优化方法和优化系统
CN106462434A (zh) * 2014-06-25 2017-02-22 微软技术许可有限责任公司 整个程序代码的增量式编译

Family Cites Families (17)

* 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
US8832672B2 (en) * 2011-01-28 2014-09-09 International Business Machines Corporation Ensuring register availability for dynamic binary optimization
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 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ 最適化したバイナリー・モジュールをテストする方法、並びに、当該最適化したバイナリー・モジュールをテストするためのコンピュータ及びそのコンピュータ・プログラム
US10261889B2 (en) * 2014-06-25 2019-04-16 Microsoft Technology Licensing, Llc Techniques for edit-and-continue and enhanced optimized debugging on optimized 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
US10339837B1 (en) * 2018-06-01 2019-07-02 Polyverse Corporation Distribution of scrambled binary output using a randomized compiler

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102622260A (zh) * 2012-02-27 2012-08-01 中国科学院计算技术研究所 一种在线迭代编译的优化方法和优化系统
CN106462434A (zh) * 2014-06-25 2017-02-22 微软技术许可有限责任公司 整个程序代码的增量式编译

Also Published As

Publication number Publication date
GB2604237B (en) 2023-03-22
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
DE112020003634T5 (de) 2022-06-09
JP7410269B2 (ja) 2024-01-09

Similar Documents

Publication Publication Date Title
JP7776247B2 (ja) コード更新時におけるソースコード有効性のチェック
US20240045850A1 (en) Systems and methods for database orientation transformation
US11074154B2 (en) Identifying a source file for use in debugging compiled code
US10613844B2 (en) Using comments of a program to provide optimizations
US10366112B2 (en) Compiling extract, transform, and load job test data cases
US20170090892A1 (en) Systems and methods for dynamically replacing code objects for code pushdown
US11947966B2 (en) Identifying computer instructions enclosed by macros and conflicting macros at build time
US20230259444A1 (en) Setting breakpoints for source code segments enclosed by macros
CN114174983B (zh) 用于高级构造的优化的自动验证的方法和系统
US10248554B2 (en) Embedding profile tests into profile driven feedback generated binaries
US11138094B2 (en) Creation of minimal working examples and environments for troubleshooting code issues
US9514025B2 (en) Modeling memory use of applications
CN117242457A (zh) 定位神经网络性能热点
US20200174763A1 (en) Compile-time folding of assumed constant values
US11972237B1 (en) Member invocation declarative interception
WO2015039009A1 (en) A system to automate compliance with licenses of third-party content
US11645193B2 (en) Heterogeneous services for enabling collaborative logic design and debug in aspect oriented hardware designing
US20150220310A1 (en) Object field optimization
CN119397544A (zh) 智能合约静态分析方法及装置
CN120974509A (zh) 基于静态分析的软件漏洞确定方法、装置、设备及介质
Ranabahu Abstraction driven application and data portability in cloud computing

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant