Code Coverage for all Coverage Levels

Statement Coverage Function Coverage Decision Coverage/Branch Coverage Condition Coverage Modifi ed Condition/Decision Coverage (MC/DC) Multicondition Coverage (MCC)

Testwell CTC++ is the ideal tool to analyse the code coverage of your embedded targets and microcon-trollers. It can be used on hosts as well as on targets.

Very small instrumentation overhead Analyses code coverage on all targets Works with even the smallest targets Works with any compiler/cross compiler

Easy Usage

No modifi cations necessary for existing code Support of existing make fi les Very fast execution speed Seamless integration into common IDEs Support for C and C++

Add-ons for Testwell CTC++

Support for Java Support for C#

www.verifysoft.com

Testwell CTC++ is a powerful and easy to use code/test coverage tool that shows all parts of your code that have been executed (tested). The tool supports all coverage levels and is ready to be used in safety-critical projects.

Code Coverage Results

Summary Coverage Reports Directory Files Functions Execution Profi le Listing Untested Code Listing Coverage Summary Listing Execution Time Listing

TER % - covered/all File

100% 6/6 prime.c 80% 4/5 oi.c

82% 14/17 calc.c

86% 24/28 overall

Number of monitored source fi les : 3Number of source lines : 59Number of measurement points : 30TER : 86% (multicondition)

Testwell CTC++ Test Coverage AnalyserThe reference for Code Coverage in safety critical projectsCode coverage for all coverage levels, all compilers, all embedded targets

Code Coverage with Testwell CTC++

Fulfi ll requirements of standards Write better test cases Avoid redundant test cases Find dead code

Qualifi cation Kit

Simplify all certifi cation processes of your projects by using the Qualifi cation Kit for Testwell CTC++. The fol-lowing standards are supported by Testwell CTC++:

DO-178C / ED-12C Software Considerations in Airborne Systems and Equipment Certifi cation IEC 61508

Functional Safety of Electrical/Electronic Program- mable Electronic Safety-related Systems EN 50128

Railway applications - Communication, signalling and processing systems ISO 26262 Road vehicles - Functional safety

www.verifysoft.com

All Testwell tools are available for Windows, Linux, Solaris and HP-UX.

Qualifi cation Kit for Standards DO-178C - IEC 61508 - EN50128 - ISO 26262

Prove code coverage to your customers Demand proof of code coverage from your

suppliers Find bottlenecks by examining runtime behavior

Testwell CTC++ Test Coverage AnalyserThe reference for Code Coverage in safety critical projectsCode coverage for all coverage levels, all compilers, all embedded targets