Product · Testwell CTC++
Testwell CTC++ — Code Coverage Analyzer
Novodes is the official reseller of Verifysoft Technology in Israel. We give local teams access to Testwell CTC++ — a powerful code coverage analyzer — with professional support, consulting and integration.
“Verifysoft offers highly specialized code coverage analysis tools, crucial for ensuring that the test suite sufficiently covers the codebase — improving the reliability and maintainability of software.”
Built for C and C++
CTC++ was created for C and has supported C++ for over 30 years, keeping pace with the language. It handles the parts of C and C++ that make coverage hard:
- Code in header files — merged across all of its copies.
- Macros — CTC++ instruments the already-preprocessed code, so it sees the full macro content.
- Build variants from preprocessing — recognised and measured separately, which matters for safety-critical work.
Every coverage measure the standards ask for
- Function coverage
- Statement coverage
- Decision / branch coverage
- Condition coverage
- MC/DC — modified condition/decision
- Multicondition coverage
Executed, partly-executed and non-executed lines are highlighted right in the source.
Made for safety-critical software
When lives are at stake, standards like ISO 26262 (automotive) and DO-178C (aviation) require coverage measurement. Hundreds of companies use CTC++ to meet their standard up to the highest level — MC/DC.
Certified by TÜV SÜD for functional safety under IEC 61508, ISO 26262, EN 50128 and IEC 62304.
Fits the way you already test
Unit, integration or full system tests — automated, semi-automated or manual. The instrumented program writes coverage data to a file as it runs.
On embedded targets the write-out is fully customisable — data can go straight to the host. All test runs combine into one report, and it works with the common unit-test tools and frameworks.
Flexible reporting
The HTML report gives overview views and drills into the coverage in the source; reporting levels are configurable per project.
Reports are template-based, so any text format works — XML, CSV, JSON — feeding dashboards and other systems.
Missing coverage is explained with Justifications, so it is clear and transparent whether 100% of the code was tested, or explained.
Built for embedded targets
- Low memory
- Instrumentation overhead is low and can be reduced further. In extreme cases coverage is measured down to individual bits and read out via the debugger.
- Coverage data
- Any target-to-host interface can carry the data. The runtime library is supplied as C code you can adapt to your target.
- Cross-compiler
- Compiler-independent and configurable for any C/C++ compiler. We provide many compiler configurations and help you adapt to new ones.
TÜV SÜD certified
The Testing Laboratory for Safety Components of TÜV SÜD Rail GmbH certifies that Testwell CTC++ is:
- IEC 61508:2010 — suitable for safety-related development, for any SIL.
- ISO 26262:2018 — qualified for a standard-compliant development process, for any ASIL.
- EN 50128:2011/A2:2020 — suitable for safety-related software development, for any SIL.
- IEC 62304:2006+A1:2015 — suitable for safety-related development, for any software safety class.
A TÜV certification means the tool has passed rigorous, independent testing — assurance you can rely on it inside a regulated, safety-related process.
View the full certificate See CTC++ in action
A short walkthrough of measuring code coverage with Testwell CTC++.
Want to try Testwell CTC++?
Book a short call for a trial or a quote — we will help you get it running on your code and your targets.