Verifysoft Technology 公司成立于 2003 年，在德国西南部 Offenburg，毗邻法国边境，公司专注于软件测
试和分析工具的研发和增值服务，客户遍布全球，主要涉及汽车、航空航天、轨道交通和通讯等行业。我们
的软件测试工具产品和国际专业团队，能帮助客户早日发现其应用软件的缺陷和错误，提升用户软件的质量
和生产力。
Testwell CTC++是使用方便、功能强大的代码覆盖率测试工具，能显示所有执行部分的代码。该工具支持所
有不同级别的覆盖率测试，一个 license，支持所有的编译器，所有的嵌入式目标板，适合功能安全相关产
品的设计和认证。Testwell CTC++是实现代码覆盖率分析的理想工具，可以在主机上测试，也可以在目标板
上测试。其特点为：
1. 实现各种级别的代码覆盖率测试
Statement Coverage
Function Coverage
Decision Coverage/Branch Coverage
Condition Coverage
Modified Condition/Decision Coverage (MC/DC)
Multicondition Coverage (MCC)
2. 非常低的测试指令和Overhead消耗
3. 支持所有目标板上测试代码覆盖率，支持所有的
compiler/cross compiler
4. 使用方便
不必改变已有的代码
支持已有的make files
非常快的执行速度
无缝集成到通用的IDEs
5. Code Coverage测试报告包括以下信息：
Directory, Files, Functions
Execution Profile Listing
Untested Code Listing
Coverage Summary Listing
Execution Time Listing