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++ Test Coverage Analyser
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
Test Coverage Analyser 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.
The Tool Qualification Kit for Testwell CTC++
makes the qualification of Testwell CTC++ within your DO-178-projects easy.
Learn more about Testwell CTC++
Avionics Standard DO-178C: Code Coverage Analysis with Testwell CTC++: Watch the video here
Static AnalysisGrammaTech CodeSonar
is a Static Code Analysis Tool which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to DO-178 activities. Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
GrammaTech CodeSonar performs whole-program, interprocedural analysis on C and C++ source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
Airbus, Boeing, NASA and many other companies and organizations rely on GrammaTech CodeSonar to perform static code analysis in DO-178 projects
For further information, please read our whitepaper: Simplifying DO-178 Certification with GrammaTech Static Analysis Tools
is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. It automates the analysis of control flow and dependencies as requested in point 6.3.4. of DO-178C "Compliance with software architecture". Furthermore, Imagix 4D detects problems in data usage and task interactions.
With Imagix 4D you increase productivity, improve quality, and reduce risk.
One objective mentionned in DO-178C is to ensure that the Software Code Standards like complexity restrictions were followed during the development of the code.
analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. The tool is very easy to use, extremely fast and analyses even very large code bases.
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
Agency for Defense Development (South-Korea)
Airbus Defense & Space
AOA Apparatebau Gauting (Germany)
Berner & Mattner Systemtechnik
DGA / Ministry of Defense (France)
DLR Deutsches Zentrum für Luft- u. Raumfahrt (German Aerospace Center)
Embedded Office Germany
ESA European Space Agency
ESO European Southern Observatory
Fokker Elmo B.V. (NL)
ICS AG Stuttgart (DE)
INTA Instituto National de Técnica Aerospacial (Spain)
Jet Propulsion Laboratory (JPL/NASA, USA)
Northrop Gramman Systems
OHB System AG (Germany)
Raytheon Anschütz (Germany)
RST Rostock Systemstechnik (Airbus, Germany)
Safran Electronics & Defense (France)
Seeing Machines (Australia)
Silver Atena Electronic Systems
Singapore Technologies Kinetics
Software & Systeme GmbH Erfurt
Thales Communications & Security
Thielert Aircraft Engines
TTTech Computertechnik AG
"We are regularly using Testwell CTC++ for measuring code coverage on embedded targets for the avionics industry. The tool supports us to satisfy the DO-178C test requirements. The integration is trivial and customer support is excellent."
Dr. Martin Ettl, software development
Avionik Straubing Entwicklungs GmbH, Germany
Embraer, one of the largest commercial aircraft companies in the world is using Testwell CTC++ to accompish all the objectives of DAL A required by DO-178C standard.
"Testwell CTC++ installation is straightforward and the tool usage is simple and easy to learn. The report results are visual and easily understandable. The color code makes easy the identification of gaps where the tests must be enhanced."
Read full Customer Testimonial here
Mateus Lucas Alves Ferreira, Product Development Engineer
João Carlos Davison, Software Specialist in R&D Projects
"We are using Testwell CTC++ in our aerospace projects. The goal is "Requirements-based test coverage analysis" to satisfy the DO178B test requirements. The tool supports us in our C source code analysis for example to locate dead code. We are able to use CTC++ without any problems."
Michael Görsdorf, Software Development /R&D Software
Kappa optronics GmbH, Germany
"We are using Testwell CTC++ intensively to perform MC/DC coverage testing on our military application software and safety critical systems. It allows us to satisfy the safety requirements standards set and the reports generated are easy to read and has all the critical information required. Customer support is excellent as well."
Nathan Wan, Software Engineer
ST Kinetics, Singapore
Future Digitalization of the Aviation Industry Calls for Increased Testing
by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)