System and method for determining correct execution of software based on baseline and real time trace events

摘要

An embodiment provides a level of assurance regarding correct operation of software. An embodiment creates baseline and real-time measurements of software and compares the measurements to determine whether the software is operating correctly. An application provider may include “tracing elements” in target software application. While producing the application the trace elements are detected and provide trace events, which collectively provide a “baseline trace” indicating proper application execution. The provider supplies the application and the baseline trace to a user. The user operates the application in real-time to produce a “real-time trace” based on the application still having trace elements that produce trace events (which collectively form the “real-time” trace). A comparator compares the baseline and real-time traces. 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 included herein.

主权项

1. At least one non-transitory storage medium having instructions stored thereon for causing a system to perform a method comprising:
receiving first and second baseline trace events for an application including first and second assertions, the first and second baseline trace events respectively generated by the first and second assertions during a first execution of the application operating correctly, wherein the first and second assertions are tracing instructions embedded in the application; after receiving the first and second baseline trace events, receiving first and second real-time trace events that are respectively generated by the first and second assertions during a second execution of the application, wherein each trace event is a data element including a count of instructions since a last preceding assertion; and determining whether the application is operating correctly in the second execution based on comparing the first and second baseline trace events respectively to the first and second real-time trace events.