Coverage Analysis with VerOCode, VeroSource-A, and VeroSource

Under DO-178B, a measure is required to determine if any software constructs are omitted by the requirements testing process. This is called Coverage Analysis. The level of detail addressed in Coverage Analysis varies with the assurance level associated with the software.

Verocel has developed a set of coverage analysis verification tools to automate the capture and analysis of source code under test.

• VerOCode Object to source code traceability for Level A software.
• VeroSource-A Modified Condition/Decision Coverage (MCDC) for Level A software.
• VeroSource Statement and Decision Coverage for Level B and C software.

All tools are provided with Qualification Data, so they may be used as verification tools and the coverage results taken for certification credit.

VerOCode

VerOCode uses the same requirements-based tests used in functional testing to automate the capture and analysis of structural coverage testing without instrumenting the code under test.

VerOCode records and displays the instructions executed in a program under test, and for conditional instructions, records and displays the state of the condition code at each execution of the instruction.

Structural coverage is obtained at the machine code level, with results reported through an annotated program listing containing the source and machine code level expansion.

VerOCode's object to source code traceability satisfies DO-178B Level A objectives for source code coverage.

VeroSource-A

VeroSource-A measures and analyzes structural coverage achieved for Modified Condition/Decision Coverage (MCDC) of complex decisions in the code under test.

VeroSource-A verifies that all complex decisions (i.e., decisions with at least two conditions) have taken all possible outcomes; and that every condition within the decision has taken all possible outcomes that have independently affected the decision's outcome.

VeroSource-A instruments the code under test. VeroSource-A uses the same requirements-based functional tests to obtain MCDC coverage. This verifies the functional behaviour is unchanged by the instrumented code.

VeroSource-A satisfies DO-178B Level A objectives for MCDC coverage.

VeroSource

VeroSource automates the capture and structural coverage analysis of the source code under test.

VeroSource records all the statements executed in a program under test, and the outcomes of all the decisions evaluated during execution of the program. VeroSource produces an annotated source code listing showing the coverage results, and provides a mechanism for review and commenting on areas of incomplete coverage.

VeroSource instruments the code under test, using the same requirements-based functional tests to obtain structural coverage. This verifies the functional behaviour is unchanged by the instrumented code.

VeroSource satisfies DO-178B Level B and C objectives for structural coverage.