SYSTEM AND METHOD FOR CORRECT EXECUTION OF SOFTWARE

摘要

In an embodiment a software application may include a “baseline trace” indicating proper application execution. The baseline trace may include counts for various types of instructions (e.g., how many times each of a LR instruction and a MV instruction occurs during an execution of code). The finished application includes the baseline trace. Upon execution the application randomly selects which of the various types of instructions to count during execution (e.g., LR or MV instruction) to produce a “real time trace”. The application executes and produces the real-time trace. The baseline trace is then compared to the real-time trace, which is specific to the randomly chosen type of instruction. If the traces are within a pre-determined range of each other the user has a level of assurance the software is operating correctly. Other embodiments are described herein.

主权项

1. At least one machine readable medium comprising instructions that when executed on a computing device cause the computing device to perform a method comprising:
loading executable instructions, which include instructions having first and second instruction types, into at least one memory coupled to at least one processor; determining whether the executable instructions correspond to general baseline information that includes: (1) first baseline information corresponding to the first instruction type but not the second instruction type, and (2) second baseline information corresponding to the second instruction type but not the first instruction type; loading at least one of the first or second baseline information in response to determining the executable instructions correspond to the general baseline information; executing at least a portion of the executable instructions, including executing the instructions having first and second instruction types, to determine first real time information that corresponds to the first baseline information but not the second baseline information; and determining a variance between the first baseline information and the first real time information.