Patent ID: 9569345
Date: 2017-02-14
CPC Classifications: G06F

Claim:
1. A method for helping to localize an error observed by running a testcase made up of instructions that write to a set of data storage locations, the method comprising: running the testcase on a software model version of a processor to yield first testcase-run results in the form of a first set of values respectively stored in the set of data storage locations, with the software model version of the processor being run on first host processor hardware; running the testcase on a hardware version of the processor to yield second testcase-run results in the form of a second set of values respectively stored in the set of data storage locations, with the hardware version of the processor including second host processor hardware; creating a resource dependency information set including information regarding how data in various storage locations is dependent upon data in other data storage locations when the testcase is run; determining a set of miscompare data storage location(s), including at least a first miscompare data storage location, by comparing the first set of values and the second set of values; and creating an initial dynamic slice of the instructions of the testcase based upon: (i) the set of miscompare data storage location(s), and (ii) the resource dependency information set.