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.
ISO 9001:2015 certified. An audited quality management system, scoped to software development per ISO/IEC 90003:2018. See the certificate
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++.
Testwell CTC++ questions.
What is Testwell CTC++?
Testwell CTC++ is a code coverage analyzer for C and C++ that measures how thoroughly your tests exercise the code, from statement and decision coverage up to MC/DC for safety-critical software. It runs on the host and on embedded targets.
Is Novodes a Testwell CTC++ reseller in Israel?
Yes. Novodes is the official reseller of Testwell CTC++ (Verifysoft Technology) in Israel, and also uses it daily in its own testing and coverage work, so you get the licence plus a team that knows the tool in depth.
Why use a code coverage analyzer like Testwell CTC++?
A coverage analyzer turns "we tested it" into a measured fact, showing exactly which lines and branches your tests reach and what is still untested. For mission-critical and regulated software, that evidence is part of the submission, not a nice-to-have.
Can Novodes help set up and support Testwell CTC++?
Yes. Beyond the licence, we help you integrate CTC++ into your build and CI/CD, run it on your real targets, interpret the coverage reports, and push coverage to the level your project needs.
Want us to get back to you?
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.
Request a trial or a quote