JP2022542007A5 - - Google Patents

Info

Publication number
JP2022542007A5
JP2022542007A5 JP2022500767A JP2022500767A JP2022542007A5 JP 2022542007 A5 JP2022542007 A5 JP 2022542007A5 JP 2022500767 A JP2022500767 A JP 2022500767A JP 2022500767 A JP2022500767 A JP 2022500767A JP 2022542007 A5 JP2022542007 A5 JP 2022542007A5
Authority
JP
Japan
Prior art keywords
machine instructions
executable code
test
behavior
level construct
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.)
Granted
Application number
JP2022500767A
Other languages
English (en)
Japanese (ja)
Other versions
JP2022542007A (ja
JP7410269B2 (ja
Filing date
Publication date
Priority claimed from US16/527,362 external-priority patent/US10776255B1/en
Application filed filed Critical
Publication of JP2022542007A publication Critical patent/JP2022542007A/ja
Publication of JP2022542007A5 publication Critical patent/JP2022542007A5/ja
Application granted granted Critical
Publication of JP7410269B2 publication Critical patent/JP7410269B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2022500767A 2019-07-31 2020-07-24 テスト・ベクタを使用した高水準コンストラクトの最適化の自動検証 Active JP7410269B2 (ja)

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

Publication Number Publication Date
JP2022542007A JP2022542007A (ja) 2022-09-29
JP2022542007A5 true JP2022542007A5 (https=) 2022-12-08
JP7410269B2 JP7410269B2 (ja) 2024-01-09

Family

ID=72425773

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2022500767A Active JP7410269B2 (ja) 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

Family Cites Families (19)

* 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
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
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

Similar Documents

Publication Publication Date Title
Ahmed et al. Directed test generation using concolic testing on RTL models
US9208451B2 (en) Automatic identification of information useful for generation-based functional verification
De Macedo et al. On the runtime and energy performance of webassembly: Is webassembly superior to javascript yet?
JP6316120B2 (ja) テストケース生成システム及びテストケースを記録した記録媒体
EP3244306B1 (en) A computer-implemented method for allowing modification of a region of original code
US11023366B2 (en) Diminution of test templates in test suites
JP6904043B2 (ja) 未知のプログラムバイナリのための入力発見
KR101788279B1 (ko) 테스트 기법을 이용한 최악 실행 시간 측정 시스템 및 방법
CN108874656A (zh) 代码测试方法、装置、可读存储介质及计算机设备
JP2022542007A5 (https=)
Fraser et al. Evosuite at the second unit testing tool competition
CN104536880B (zh) 基于符号执行的gui程序测试用例扩增方法
JP6476777B2 (ja) テストコンテキストの生成
JP2015069400A (ja) ソフトウェアテストシステム
CN104239055A (zh) 检测软件代码复杂度的方法
GB2604237A (en) Automatic verification of optimization of high level constructs using test vectors
JPH06309193A (ja) 機械語プログラムの動作検証方法および装置
Letychevskyi et al. Fuzz testing technique and its use in cybersecurity tasks
JP2020087009A (ja) 最適化装置及び最適化装置の制御方法
JP5396930B2 (ja) 検証対象関数自動選択装置、検証対象関数自動選択方法、及び検証対象関数自動選択用プログラム
JP6776914B2 (ja) 並列化方法、並列化ツール
JP2023063815A5 (ja) コンパイラ装置、演算処理装置、命令生成方法、プログラム、コンパイル方法及びコンパイラプログラム
Pehlke et al. Towards Automated Software Testing: Evaluating LLMs in Generating Effective Test Cases
JP7059827B2 (ja) ソースコード生成装置
Hills Supporting PHP dynamic analysis in PHP AiR