RapiCover Aero

RapiCover Aero
Structural coverage analysis for aerospace software
Where RapiCover Aero has benefited customers

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, RapiCover Aero lets you collect verification data automatically, for example in continuous build environments. Compared to similar tools on the market, RapiCover Aero has extremely low overheads, so coverage data be collected in fewer test runs. 

RapiCover Aero meets the needs of DO-178C/ED-12C certification by collecting statement, decision and modified condition/decision coverage data, see the table below. RapiCover Aero analysis supports both interpretations of "decision" defined by CAST-10. The high-quality qualification kits available for RapiCover Aero provide the evidence needed to qualify the tool for DO-178C/ED-12C projects. 

Structural coverage metrics and DO-178C/ED-12C requirements


MeasurementDescriptionDO-178C/ED-12C requirements
Function coverageEach function has been called at least onceNot required
Call coverageEach function has been called at least once, and each different function call has been encountered at least onceNot required 
Statement coverageEach statement in the code has been encountered at least onceRequired for Level A, B and C software (Table A-7, 6.4.4.c)
Decision coverageEach 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 coverageEach 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 decisionRequired for Level A software (Table A-7, 6.4.4.c)

Get started today


Find out more about RapiCover Aero