RapiCover Aero is specifically designed to meet the challenges of verifying aerospace software written in Ada, C and C++ for critical embedded systems. The tool collects structural coverage measurements from software tests run on host computers, simulators or the embedded target itself.
By integrating seamlessly with your native build system, RapiCoverAero lets you collect verification data automatically, for example in continuous build environments. Compared to similar tools on the market, RapiCoverAero has extremely low overheads, so coverage data be collected in fewer test runs.
RapiCoverAero meets the needs of DO-178C/ED-12C certification by collecting statement, decision and modified condition/decision coverage data, see the table below. RapiCoverAero analysis supports both interpretations of "decision" defined by CAST-10. The high-quality qualification kits available for RapiCoverAero provide the evidence needed to qualify the tool for DO-178C/ED-12C projects.
Structural coverage metrics and DO-178C/ED-12C requirements
|Function coverage||Each function has been called at least once||Not required|
|Call coverage||Each function has been called at least once, and each different function call has been encountered at least once||Not required|
|Statement coverage||Each statement in the code has been encountered at least once||Required for Level A, B and C software (Table A-7, 6.4.4.c)|
|Decision coverage||Each decision (see MC/DC below) In the code has evaluated true at least once and evaluated false at least once, and each function entry and exit point has been encountered at least once.||Required for Level A and B software (Table A-7, 6.4.4.c)|
|Condition coverage||Each condition (see MC/DC below) in the code has evaluated true at least once and evaluated false at least once.||Not required|
|Modified Condition/Decision Coverage (MC/DC)||Decision coverage plus each condition has been shown to independently affect the outcome of its enclosing decision||Required for Level A software (Table A-7, 6.4.4.c)|