
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
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++
Static Analysis
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.
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 CodeSonar to perform static code analysis in DO-178 projects.
For further information, please read our whitepaper: Simplifying DO-178 Certification with CodeSecure Static Analysis Tools
Imagix 4D 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.
Testwell CMT++ 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.
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:
Agency for Defense Development (South-Korea)
Airbus Defense & Space
Airbus Helicopters
AOA Apparatebau Gauting (Germany)
Ariane Group
Avionik Straubing
Barco
Berner & Mattner Systemtechnik
DGA / Ministry of Defense (France)
DLR Deutsches Zentrum für Luft- u. Raumfahrt (German Aerospace Center)
Embedded Office Germany
Embraer (Brazil)
ESA European Space Agency
ESO European Southern Observatory
Exonetic (Canada)
Fokker Elmo B.V. (NL)
Honeywell
ICS AG Stuttgart (DE)
INTA Instituto National de Técnica Aerospacial (Spain)
Jenaoptronik (Germany)
Jet Propulsion Laboratory (JPL/NASA, USA)
Kayser-Threde GmbH
MBDA France
Monogram Systems
NavPos Systems
Northrop Grumman 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
Telespazio (Italy)
Thales
Thales Communications & Security
Thielert Aircraft Engines
TTTech Computertechnik AG
Zodiac Aerospace
Read here what Aerospace and Defense Customers say about our tools:

"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
Dr. Martin Ettl, software development
Avionik Straubing Entwicklungs GmbH, Germany

"Testwell CTC++ fulfills our purpose to comply with a given set of DO-178x requirements...
Only a few numbers of command cover all the essential software dynamic test in our case, which is more efficient than other fancy and complicated GUI based tools ...
Another strength of this tool is a well-organized online help and technical support team of Verifysoft.
They show not only customer-oriented mindset but also strong competency about tool itself as well as good test practices adopted in the industry.
They are highly empathetic towards frustrations and challenges that their customers might have faced during software testing.
The team was very grateful and made us confident that they were cheering up customer success.
We introduced Testwell CTC++ to an aircraft manufacturer with its capabilities and pricing, then they were so fascinated as they haven’t seen such a cost-effective tool before, and the outcome of the testing was also well aligned with their requirements.
Read full Customer Testimonial here
Thomas Chae, Team Lead, Aircraft Server Systems
Contromax Co. Ltd., South-Korea
We introduced Testwell CTC++ to an aircraft manufacturer with its capabilities and pricing, then they were so fascinated as they haven’t seen such a cost-effective tool before, and the outcome of the testing was also well aligned with their requirements.
Read full Customer Testimonial here
Thomas Chae, Team Lead, Aircraft Server Systems
Contromax Co. Ltd., South-Korea

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
Embraer, Brazil
"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
Embraer, Brazil

"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
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
Nathan Wan, Software Engineer
ST Kinetics, Singapore
Opinion: Future Digitalization of the Aviation Industry Calls for Increased Testing by Svend Holme Sørensen (GateHouse SatCom) and Klaus Lambertz (Verifysoft Technology)










