Nowadays, code complexity and application quality are strongly correlated. Complex code can contain redundancies and/or dead code lines which may be difficult to detect; this can result in wasted computational resources and increased maintenance complications. Conventional testing techniques may not be sufficient to completely cover the code, increasing the risk of releasing buggy code.

In addition, errors in embedded software can cause serious problems, particularly within critical systems such as flight control, automotive, railway control, and medical equipment where no margin for error is allowed. Thus, software quality issues have become a critical concern not only in terms of costs but also for safety and security. Effective software quality assurance measures are required to guarantee the respect of the most commonly used standards.

DOFWARE proposes Testwell CTC++ from Verifysoft Technology GmbH as it represents the leading product among the code coverage analysers for applications in embedded and safety-critical software.

In many industries, governments regulate the quality of software to make it safe to use by requiring compliance with specific standards:

  • Aerospace & Defence – The standard DO-178C has strict requirements concerning verification and validation for software development in the avionics industry. According to the Criticality Levels, the DO-178 standard requires code coverage up to Modified Condition Decision Structural Coverage (MC/DC).
  • Automotive and Transport – The standards ISO 26262 and IEC 61508 have strict requirements concerning verification and validation for software development. Depending on the ASIL (Automotive Safety Integrity Level) value, statement coverage, branch coverage, and/or MC/DC (Modified Condition/Decision Coverage) are required.
  • Industrial Automation – The standard IEC 61508 (Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems), according to the Criticality Levels, requires code coverage, static analysis, and dynamic analysis.
  • Medical and Healthcare – The IEC/ISO 62304 standard defines a risk and quality-driven software development process for the development of medical devices. This standard indicates the need for rigorous testing, acceptance criteria, and traceability.
Testwell CTC++ Test Coverage Analyser is the ideal tool for measuring your test coverage and releasing your software at the highest level of quality and safety.


  • Support of all compilers/cross-compilers.
  • Support of all embedded targets and microcontrollers (even very small ones, limited memory, no operating system, etc.).
  • Lowest instrumentation overhead available in the market.
  • Analyses for all coverage levels up to MC/DC and MCC Coverage.
  • Compliant for safety-critical development:
    • DO-178C all levels (DAL A, DAL B, DAL C, …).
    • ISO 26262 all levels (ASIL A, ASIL B, ASIL C, ASIL D).
    • IEC 61508 all levels (SIL 1, SIL 2, SIL 3, SIL 4).
    • EN 50657 resp. EN 50128 all levels (Basic integrity/SIL 0, SIL 1, SIL 2, SIL 3, SIL 4).
    • IEC 60880.
    • IEC/EN 62304.
  • Tool Qualification Kit available.
  • Support for C, C++, Java, and C#.
  • Integrations in many toolchains and testing environments.
  • Integrations in many IDEs.
  • Clear and meaningful reports.
  • Very easy to use.

In addition, Verifysoft offers the Qualification Kit for Testwell CTC++. Developed by Validas AG, it provides documentation, test cases, and procedures required for qualifying Testwell CTC++ for usage in safety-critical projects.

Avoid risks and make sure that all parts of complex code have been tested before release.

If you want to know more about how Testwell CTC++ can support you in improving, strengthening, and optimizing your software, you can contact us. In addition, we can provide you with a free evaluation license so that you can convince yourself of the effectiveness of Testwell CTC++.

Comments are closed