Code Coverage Tracking For A Microcontroller Program

A microcontroller, comprising:

• a processor;
• and
• at least one memory device storing:
• a program including program code defining a plurality of basic blocks and a plurality of dominator arcs based on logical relationships among the plurality of basic blocks;
• wherein the program code is instrumented with execution tracking instructions at each of a plurality of instrumentation points in the program code, wherein each instrumentation point is located in a corresponding one of the plurality of dominator arcs in the program code;
• wherein the program is executable by a testing tool;
• wherein during an execution of the program by the testing tool, the execution tracking instructions at each respective instrumentation point are configured to, upon execution of the respective instrumentation point, store or generate execution recording information in the at least one memory device indicating that the respective instrumentation point has been executed;
• wherein the execution recording information stored or generated for each respective instrumentation point indicates that the dominator arc corresponding with the respective instrumentation point has been executed by the testing tool.

A method for code coverage tracking of an execution of program code of a program stored in non-transitory memory, the method comprising:

• identifying a plurality of basic blocks of the program code;
• generating a dominator tree defining a plurality of dominator arcs based on logical relationships among the plurality of basic blocks;
• identifying a set of instrumentation points in the program code consisting of a subset of the plurality of basic blocks of the program code, the set of instrumentation points corresponding with the plurality of dominator arcs wherein each instrumentation point is located in a corresponding one of the plurality of dominator arcs;
• and
• instrumenting each instrumentation point in the program code with respective execution tracking instructions to store or generate execution recording information upon execution of the respective instrumentation point, wherein the execution recording information stored or generated upon execution of each respective instrumentation point indicates that the dominator arc corresponding with the respective instrumentation point has been executed.