Generation of code coverage information during testing of a code sequence

摘要

A method for generating code coverage information during testing of a code sequence comprising decisions (e.g. conditional statements), each having one or more conditions as inputs, includes executing the code sequence on target processing circuitry under the control of test stimuli and maintaining, in memory, a code coverage table 14 for at least one decision. When the decision is evaluated, a bitstring (bit field) 36 is created, each position in the bitstring being associated with one of the conditions, and the value of that bit representing the true/false value of that condition. The bit string acts as an index pointing to the table row associated with that combination of argument values. A confirmation value is recorded in that entry, indicating whether the decision has been evaluated for that set of input values. The code coverage table may be evaluated to determine compliance with at least one MC/DC code coverage criterion.