Patent ID: 9563547
Date: 2017-02-07
CPC Classifications: G06F

Claim:
1. A computer for testing an optimized binary module, the computer comprising: memory; and a processor communicatively coupled to the memory, the processor configured to perform a method comprising selecting, based on a set of profile information, a region in a set of original binary code of an original binary module in which complete branch coverage is to be achieved after optimization of the region, the region being selected as a target region to be optimized; creating an optimized binary module, where the target region has been optimized in the optimized binary module, wherein creating the optimized binary module comprises verifying the optimized binary module 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, and comparing an output from executing the optimized binary module to an output from executing the original binary module.