Aerospace and Defense

Safety and security-critical software for aerospace or defense applications need to be developed with highest quality. The high requirements for both safety and security continue to rise. The standard DO-178C has strict requirements concerning verification and validation for software development in the avionics industry. Safety standards have also been adopted in other security and safety-critical markets such as defense, even though certifications are not mandatory.

According to the Criticality Levels the DO-178 standard requires Code Coverage up to Modified Condition Decision Structural Coverage (MC/DC).
Compliance with DO-178 involves meeting many requirements. Static analysis can be used as part of a comprehensive approach to assurance.

Meet the Code Coverage Requirements of DO178-C with Testwell CTC++ Code Coverage Analyzer

According to the possible consequences on the aircraft, crew, and passengers, DO-178C distinguishes Software Levels, also known as the Design Assurance Level (DAL) or Item Development Assurance Level (IDAL).
DO-178C requires the achievement of the following code coverage levels:

• DAL A: Modified Condition Decision Structural Coverage (MC/DC)
• DAL B: Decision/Condition Structural Coverage
• DAL C: Statement Structural Coverage

Testwell CTC++ Code Coverage Analyzer shows all code coverage levels required by DO-178C.
It shows Statement Coverage, Decision/Condition Coverage, Modified Condition Decision Structural Coverage (MC/DC) and even Multiple Condition Coverage (which is one level higher than MC/DC-Coverage).
Testwell CTC++ Test Coverage Analyzer for C and C++ is a user friendly and easy to use test coverage tool that gives clear and simple analysis results.

Testwell CTC++ has a very low instrumentation overhead. It can be used with all compilers and all embedded targets - even for very small ones.
Testwell CTC++ is certified by TÜV Süd for numerous safety standards. With the safety package, we offer supplementary documents such as a safety manual and access to the known bugs list. With regard to the DO-178C standard, our team (also in co-operation with external specialists) offers you the necessary support for a successful and efficient tool qualification.

Learn more about Testwell CTC++

Our Static Analysis solution

TiCS is a source code quality monitoring solution designed for multi-technology, multi-project, and multi-site development environments.

TiCS allows you to:
✅ Centralize quality measurements across all code (C/C++, Java, C#, etc.),
✅ Unify analysis tools (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatic, duplication, coverage, etc.) in a single interface,
✅ Automate quality checks in the CI/CD chain,
✅ Ensure traceability and compliance with standards (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Track quality over time via clear and auditable dashboards.

Seminars

Developers and managers of safety critical software need best knowledge in order to provide excellent software.
Verifysoft supports you with seminars and workshops.

Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions

Verifysoft's Testing solutions have proven success in safety and security critical software development within the aerospace and defense industries. Our satisfied customers include:





Read here what Aerospace and Defense Customers say about our tools:



Opinion: Future Digitalization of the Aviation Industry Calls for Increased Testing by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)