The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Patent No.:

US 9563547 B1

PDF
Full Text
Expired
Date of Patent:
Feb. 07, 2017

Filed:

Feb. 13, 2015
Applicant:

International Business Machines Corporation, Armonk, NY (US);

Inventors:

Toshihiko Koju, Tokyo, JP;

Takuya Nakaike, Tokyo, JP;

Assignee:

Other;

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06F 9/44 (2006.01); G06F 9/45 (2006.01); G06F 11/36 (2006.01);
U.S. Cl.
CPC ...
G06F 11/3692 (2013.01); G06F 8/443 (2013.01); G06F 8/52 (2013.01);
Abstract

Various embodiments test an optimized binary module. In one embodiment, a region in a set of original binary code of an original binary module in which branch coverage is expected to be achieved is selected based on a set of profile information. The region is selected as a target region to be optimized. An optimized binary module is created, where the target region has been optimized in the optimized binary module. The optimized binary module is verified by synchronizing execution of the optimized binary module with execution of the original binary module at a checkpoint while executing both the optimized binary module and the original binary module. The optimized binary module is further verified by comparing an output from executing the optimized binary module to an output from executing the original binary module.


Find Patent Forward Citations

Koju, Toshihiko. (2017). Testing optimized binary modules (U.S. Patent No. 9563547). U.S. Patent and Trademark Office. https://idiyas.com/patent/badge/9563547

Data source: USPTO (United States Patent and Trademark Office) public patent records. Weekly synchronization. How IDiyas builds this profile

Loading…