Rapita Systems provides on-target software verification tools and services globally to the embedded aerospace and automotive electronics industries. Our solutions help to increase software quality, deliver evidence to meet safety and certification objectives and reduce project costs.
The overall DO-178C guidance consists of six key areas: planning, development, verification, configuration management, quality assurance and certification liaison. Testing forms a part – but not the whole – of verification. While testing follows development in the software life cycle, verification is really a concurrent process that carries on throughout. The planning stage of DO-178C, for example, requires development of a Software Verification Plan (SVP).
The verification documentation criteria in DO-178C include the following:
Software verification cases and procedures (SVCP)
Software verification results (SVR)
Reports on reviews of all requirements, design and code
Executable object code testing results
Code coverage analysis report