Code coverage expertise for safety-critical & embedded software
sales@lexingtonsoft.com   ·   USA +1 781-357-2845   ·   India +91 636-014-2065
Verifysoft Testwell CTC++ + Lexington Soft

Code coverage built for safety-critical software.

Measure what your tests actually execute — from desktop applications to deeply embedded targets — with comprehensive coverage analysis for C and C++ and an optional Java add-on.

Host + embedded targets Compiler-independent Safety qualification support
Testwell CTC++
Code Coverage Analyzer
MC/DC Modified Condition / Decision
Decision Decision / Branch Coverage
Function Executed Functions
Statement Executed Statements
Coverage evidence that supports software quality, verification and functional-safety objectives.
35+ Years CTC++ product heritage
750+ Verifysoft customers worldwide
45+ Countries global adoption
How Testwell CTC++ Works

Instrument. Test. Report.

A simple three-phase model keeps coverage measurement separate from your source and test strategy.

01

Instrumentation

During the build, CTC++ instruments a copy of the source code by injecting measurement code. The original source remains unchanged.

→
02

Testing

Run unit, integration or complete system tests as usual. Coverage data is collected on the host or transferred from the embedded target.

→
03

Reporting

Generate structured HTML reports or export coverage data for dashboards, repositories and automated quality gates.

Desktop + Embedded

One coverage approach across host and target.

CTC++ is designed for both conventional development environments and embedded systems where memory, runtime and target access are constrained.

Coverage on the real target Embedded Workflow
Instrumented Build CTC++ inserts lightweight measurement code into a copy of the source during the build.
→
Embedded Target Execute unit, integration or system tests on your ECU, controller or device.
→
Coverage Evidence Transfer measurement data back to the host for analysis, reporting and compliance evidence.
Low memory footprint Cross-compiler friendly Customizable runtime Host + target workflows

Built for embedded realities

Use CTC++ where the test environment is not a desktop PC and the runtime must adapt to the target.

Low Memory Requirements Suitable for resource-constrained embedded targets.
Any Target / Cross Compiler Flexible deployment across diverse embedded toolchains.
Customizable Runtime Layer Adapt coverage-data collection and transfer to your environment.
Windows · Linux · macOS Support development and analysis across common host platforms.
Coverage Analysis & Reporting

Go from percentage to proof.

CTC++ reporting is designed to help engineers understand missing coverage, drill into code, justify exclusions and export results into the systems around the development lifecycle.

Actual Testwell CTC++ HTML coverage report and source-code drill-down
Actual CTC++ coverage-report interface showing MC/DC, Decision, Function and Statement metrics with source-level drill-down.

Configurable HTML Reports

Choose coverage levels and drill down by directory, source file and function.

Source-Level Visibility

Highlight executed and unexecuted lines and expose missing conditions or test cases.

Coverage Justification

Record why full coverage cannot be achieved, distinguish justified code from tested code and identify over-justification.

Exportable Evidence

Generate HTML, CSV, XML, JSON, Markdown and other template-based outputs for repositories and dashboards.

Functional Safety & Qualification

Coverage evidence for safety-critical development.

CTC++ supports structural code-coverage activities across major safety standards. Certification and qualification requirements differ by standard, so we distinguish TÜV-certified use from standards where qualification support or coverage use applies.

Discuss Qualification Requirements
ISO 26262 TÜV-certified · Automotive · any ASIL
IEC 61508 TÜV-certified · Functional Safety · any SIL
EN 50716 TÜV-certified · Railway Software · any SIL
IEC 62304 TÜV-validated · Medical Software · any safety class
ISO 25119 TÜV-certified · Agricultural Machinery · any SIL
DO-178C Aerospace · Tool qualification support available
IEC 60880 Nuclear · Code-coverage requirements / qualification support

TÜV scope shown above reflects Verifysoft’s current CTC++ certification information. DO-178C still requires project-specific tool qualification; IEC 60880 is presented as a supported code-coverage / qualification use case rather than as part of the current TÜV certificate.

Why Lexington Soft

We help you make CTC++ work in the real development environment.

Lexington Soft combines licensing, evaluation support, technical coordination and training with long-standing code-coverage experience. We can help you validate CTC++ against your compiler, target, build process, CI/CD workflow and compliance needs before deployment.

Evaluate POC planning around your code, build and target
Integrate Host, embedded, CI/CD and reporting workflows
Enable QuickStart, training and technical guidance
Support Licensing, renewals and OEM coordination
Resource

Code Coverage Best Practices.

A practical Lexington Soft white paper on code coverage adoption, test effectiveness, MC/DC and measurable quality improvement.

PDF

Code Coverage Best Practices

Download the Lexington Soft white paper for a deeper look at code coverage strategy and implementation.

Download White Paper →
Talk to Lexington Soft

Interested in Testwell CTC++?

Whether you want to evaluate CTC++, discuss your compiler or target, understand qualification requirements, or get pricing, send us your details and we’ll connect you with the right person.

Name