Winbond relies on Testwell CTC++ for Industrial Organizations

(Herzliya/Israel, 12 March 2024)

Winbond is a memory supplier with Headquarter in Taiwan and subsidiaries in USA, Japan, Israel, China. The company has 2,800 employees worldwide.
It produces semiconductors and several types of integrated circuits (ICs) including dynamic random-access memory, static random-access memory, serial flash, microcontrollers, and Super I/O chips. Winbond is actively involved in developing new security regulations and standards in industrial organizations.
They have chosen Testwell CTC++ for measuring code coverage for their safety critical development. Hezi Pereg, Software Department Manager at Winbond Israel explains that Testwell CTC++ meets all their requirements, generates a clear and informative coverage report, and enables analyzing the report from CLI, which is extremely helpful in their CI processes.
Read the full user testimonial here.

Testwell CTC++ 10.1: Missing Code Coverage can now be Justified

(Offenburg/Germany, 1 March 2024)

Verifysoft has released Testwell CTC++ 10.1 with the new feature Justifications. Missing coverage can now be justified, and these justifications transparently influence all coverage measures. Justifications can be stored in source code comments or in companion files. With a justification, a tag used for grouped presentation in overviews and an explanation are associated.
Version 10.1 comes also with Performance Improvement for Report Generation. For large projects with some thousand source files, HTML report generation including source code view is much faster now.
Learn more in our YouTube-Video and in the Release-Notes.

MC/DC Modified Condition/Decision Coverage and Multi Condition Coverage

New Video: MC/DC and Multi Condition Coverage

(Offenburg/Germany, 15 December 2023)

Modified Condition/Decision Coverage (MC/DC) is a code coverage level which has to be achieved in safety critical software projects according to standards like DO-178C, ISO 26262, and others.
Our latest video explains what MC/DC Coveage is and how it differs to Multi Condition Coverage.
Watch our YouTube-Video now!.

Integrated! Testwell CTC++ with Bazel

(Offenburg/Germany, 19 October 2023)

Testwell CTC++ provides several generic ways to integrate coverage measurement in various build systems. Bazel is a famous challenge for interaction with third party tools.
Johan Herland and Mark Karpov, working for Tweag, a Modus Create company, describe their road to establish a stable integration of Testwell CTC++ with Bazel for a client of Tweag’s Scalable Builds Group.
Read the full story here.

Contromax relies on Testwell CTC++ for the Aviation Servo Development

(Daejeon/South-Korea, 21 September 2023)

Contromax is an aviation servo development company located in Daejeon/South-Korea. The products of the company are safety and flight critical components. Thus the software must be tested according to the DO-178 safety standard.
Contromax has chosen Testwell CTC++ for measuring code coverage for their safety critical development. Thomas Chae, Team Lead Aircraft Servos Systems explains, that Testwell CTC++ is more efficient than other fancy and complicated GUI based tools. He also praises the customer-oriented mindset and the strong competency of the Verifysoft team.
Contromax introduced Testwell CTC++ to an aircraft manufacturer who was fascinated about the capabilities and pricing of the tool.
Read the full user testimonial here.

User Testimonial: Broadcom uses Testwell CTC++ for Code Coverage Analysis

(San Jose/USA, Bangalore/India, 5 September 2023)

Broadcom Corporation is one of the world's leading providers of infrastructure technologies, building on the rich technical heritage of AT&T/Bell Labs, Lucent and Hewlett-Packard/Agilent.
Broadcom Corporation has long relied on Testwell CTC++ to measure code coverage.
“… In the Testwell CTC++ tool, we were able to get Decision, Line and Multi-condition coverage in the way we want it. ... Not to mention the new Modified Condition/Decision coverage which gives more information on the True-False pair coverage for individual atomic condition in a Boolean expression is a feature which will be a great addition to the test metrics we use to validate our designs.” says Bharadwaj Sreenivasan, R&D Engineer, at Broadcom Corporation.
Read the full user testimonial here.

LexingtonSoft - Code Coverage Best Practices

Shift Left: Code Coverage Benefits – Study of a leading Fortune 100 Company

(Boston/USA, Offenburg/Germany, 17 August 2023)

Code Coverage is a promising measure of test effectiveness.
The findings from various organizations reveal that increasing code coverage decreases field related defects and increases the level of confidence in the quality of the code. The paper “Code Coverage Best Practices” discusses how one of the world's leading consumer giants, successfully deploys Testwell CTC++ to make unit testing and code coverage part of their Continuous Integration Flow.Download the white paper of our partner Lexington Soft

Safety Package for Testwell CTC++ Code Coverage Analyzer Available

(Offenburg/Germany, 25 May 2023)

A Safety Package for the Code Coverage Analyzer Testwell CTC++ is now available. In addition to the TÜV certificate, Testwell CTC++ customers receive supplementary documents such as a Safety Manual and access to the Known Bugs list. Via a subscription, the customer is actively informed about updates of the included documents.
Thanks to the Safety Package, Testwell CTC++ can be used in safety-critical software development without further qualification activities for all safety levels of the standards IEC 61508, ISO 26262, EN 50128 and IEC 62304. Learn more.

Testwell CTC++ with improved IAR integration

(Offenburg/Germany, 28 April 2023)

Verifysoft’s Code Coverage Analyzer Testwell CTC++ already got in its standard version numerous integrations, configurations and converter for a wide variety of customer environments. With version 6.12, an update of integration with the IAR Embedded Workbench has now been released. Furthermore, previous versions of Testwell CTC++ and IAR are also supported. Besides full support for Testwell CTC++'s new HTML report generator, the update also includes numerous improvements related to the latest IAR versions.

Testwell CTC++ Version 10.0.1 Available

(Offenburg/Germany, 11 April 2023)

Verifysoft has released version 10.0.1 of Testwell CTC++ Test Coverage Analyser.
This is a bug fix release only.
For more information, see the change documentation.

TÜV Süd Certificate for the Code Coverage Analyzer Testwell CTC++

(Munich, Offenburg/Germany, 9 March 2023)

The Testing Laboratory for Safety Components of TÜV SÜD Rail GmbH has certified that Testwell CTC++

is suitable to be used in safety-related development according to IEC 61508:2010 for any SIL,
is qualified to be used in a standard-compliant development process according to ISO 26262:2018 for any ASIL,
is suitable to be used in safety-related software development according to EN 50128:2011/A2:2020 for any SIL,
is suitable to be used in safety related development according to IEC 62304:2006+A1:2015 for any software safety class.

Certificate.
For further information regarding the usage of Testwell CTC++ in safety critical development, please do not hesitate to contact us.

Testwell CTC++ integrated in Automation & Testing Suite

(Offenburg/Germany, 27 January 2023)

The code coverage analyzer Testwell CTC++ is now also integrated in ATS (Automation & Testing Suite) from Schleissheimer GmbH. ATS (Automation & Testing Suite) supports all important areas of the testing process such as test management, test modeling, test execution, test evaluation and test documentation. A variety of possible tests can be run without real hardware.
ATS (Automation & Testing Suite) relies on Testwell CTC++ to measure Code Coverage (including MC/DC, function, statement and decision/branch coverage).
Testwell CTC++ has integrations with multiple tool chains, test environments and software quality tools, such as ATS, CATIA Systems - AUTOSAR Builder, Cygwin, dSpace SystemDesk and TargetLink, Imagix 4D, Jenkins, Lauterbach, MATLAB Simulin, PikeTec TPT, Silver Virtual ECU and TestWeaver, and SonarQube.

Recorded Webinar: What's New in Testwell CTC++ V. 10?

(Offenburg, 11 January 2023)

Verifysoft recently released the new version 10.0 of its code coverage analyzer Testwell CTC++.
Testwell CTC++ 10 puts an emphasis on report generation: a new reporting tool, ctcreport, is responsible for template-based HTML report generation.
This and other innovations in version 10, such as the structure and functions of the new HTML report, improvements for header display, handling conditionally compiled code and ctclaunch for Linux for build integration, are the subject of our recorded webinar.

Verifysoft introduces Team-based licenses for Testwell CTC++

(Offenburg, 2 January 2023)

In order to meet the requirements of modern software development processes and environments, Verifysoft now offers for Testwell CTC++ team-based licenses in addition to floating licences.
For dynamic, hybrid build and development environments, team-based licenses are issued granting the right to use the software within a dedicated team of a specified size. Technically, licenses are issued fitting to the build environment to ensure that the entire team can use Testwell CTC++ without technical restrictions.
Team-licenses are time-limited (usually one year), and the licensee commits to report about team size once per year.
The End-User Licenses Agreement has been updated accordingly (cf. Verifysoft End-User License Agreement for Testwell-Tools).
For further information please contact our sales team.

10 criteria for selecting a code coverage tool

In the following article, which was recently published on the portal "embedded.com", 10 criteria for selecting a code coverage tool are described. These are among others: Independence from compiler, Ease of use, Comprehensibility of the coverage reports, Support of higher coverage levels for safety-critical development, Flexible Integration, Low Instrumentation Overhead and Support of different programming languages.
Particularly in safety-critical software development, industry standards prescribe precise requirements for code coverage, so that products cannot be certified here without proof of sufficient test coverage. But also in other development projects, companies increasingly attach great importance to software quality and measure code coverage.
Various code coverage analyzers are available on the market for measuring code coverage. They differ significantly in terms of handling and quality.
Read the entire article here.

New user testimonial: The Institute of Mathematics and Statistics of the University of São Paulo, Brazil.

(São Paulo/ Brazil, September 2021)

"The introduction of the Testwell CTC++ code coverage tool into our research projects brought a significant improvement in our ability to consider complex coverage criteria for software testing (especially the MC/DC convergence criteria).
Testwell CTC++ also enabled our researchers to perform experiments that closely resembled the testing process performed in the software industry. In addition, Testwell CTC++ proved to be very easy to install and use. In view of our good experience with Testwell CTC++, we intend to use it in our courses to support the testing of safety-critical software."
Alexandre Locci Martins and Ana C. V. de Melo, Instituto de Matemática e Estatística da Universidade de São Paulo, Brazil
Read the full customer report here

GrammaTech and Verifysoft Congratulate Long Time Customer, Jet Propulsion Laboratory, on their Successful Landing of Perseverance Rover

(Ithaca / USA, Offenburg / Germany, 24 February 2021)

As part of NASA’s Mars Exploration Program, "the Perseverance rover’s landing" was another exciting step towards knowing more about our Martian neighbor.
Jet Propulsion Laboratory (JPL) has been a long-time customer of GrammaTech and Verifysoft. JPL are regular users of the static analysis tool CodeSonar and the code coverage analyser Testwell CTC++ on their software projects. As such, we take great pride in being a small part of their success and achieving their project goals.

Pradat-Peyre: Pratique des Tests Logiciels

Testwell CTC++ and GrammaTech CodeSonar mentionned in the French Standard Book for Software Tests

(Paris, Offenburg, 10 February 2021)

The fourth edition of the French standard book for software tests "Pratique des Tests Logiciels" is now published by the French editor Dunod.
Autors are Professor Jean-François Pradat-Peyre (University of Paris) and Jacques Printz. On 256 pages, the book covers all relevant topics relating to software testing. Verifysoft contributes with its expertise in the field of testing embedded systems and the benefits of the combination of static and dynamic code analysis. Testwell CTC++ and GrammaTech CodeSonar are mentionned in this practical example.
The English translation of the chapter is available here.

14 Advantages of Testwell CTC++: New Video Available

(Offenburg/Germany, 6 May 2020)

Testwell CTC++ is the leading tool for measuring Code Coverage on host and on all (even smallest) embedded targets and microcontrollers.
Our video shows the 14 main advantages of Testwell CTC++:
Support of all coverage levels, all embedded targets, all compilers. Support of C, C++, Java, and C#. Works also with "exotic" language constructs, integration in your IDE, usage via command line allowing Automated Builds / Continuous Integration, no modification of your original source code, clear and understandable reports, compliance to safety standards, Qualificaiton Kit, outstanding technical support, high customer satisfaction, ...
Learn more

Embraer is using Testwell CTC++ to accompish the objectives of DO-178C DAL A

(São José dos Campo/Brazil, Offenburg/Germany, 3 November 2019)

Embraer, the third largest producer of civil aircraft after Boeing and Airbus, relies on Testwell CTC++ to fulfill the requirements of DO-178C concerning Code Coverage.
"Testwell CTC++ automates the code instrumentation as well as the evaluation of the structural coverage results in a neat report. Thus the user sees where he has to increment our tests in order to cover the whole code base. Embraer has integrated Testwell CTC++ in the continuous verification flow", says Joao Carlos Davison, responsible for the elaboration of the software verification plan.
Mateus Lucas Alves Ferreira, product development engineer of Embraer expresses that Testwell CTC++ installation is straightforward and the tool usage is based on a command-line interface that is simple and easy to learn.
>Read full Customer Testimonial here

zepp.solutions uses Testwell CTC++ to fulfill the requirements of IEC 61508

(Delft/Netherlands, Offenburg, 10 May 2019)

Dzepp.solutions is a young company that develops application specifi c hydrogen fuel cell systems.
"One of the requirements from IEC 61508 SIL 2 is to achieve 100% decision coverage. In order to verify this requirement, the coverage needs to be measured. We chose for Testwell CTC++ to do the job. (...) The flexibility of Testwell CTC++ allows it to be used not only for target tests, but also for host tests, as multiple compilers are easily supported."
>Read full Customer Testimonial here

Testwell CTC++ Customer Testimonial from Exonetik

User Testimonial: Exonetik Canada chooses Testwell CTC++ for Aviation Sector

(Sherbrooke/Kanada, Offenburg, 9. April 2019)

Exonetik, a Canadian company which designs, develops and manufactures breakthrough actuators and mechatronic systems for aerospace, automotive, medical and robotic sectors, has choosen Testwell CTC++ for measuring Code Coverage of their safety and security critical projects. "Testwell CTC++ is a tool to quickly and easily get code coverage analysis with results that are intuitive, lean and easy to read" says François Lessard, Electrical Engineer. "During the product assessment, the team was able to get code coverage results in less than a day without even using Verifysoft support team. In itself, this achievement was enough to convince the team of the Testwell CTC++ ease of use and the low impact that its adoption would have on its development processes."
Exonetik joins 600+ satisfied customer in 38 countries on all continents. >Read full Customer Testimonial here

Testwell CTC++ Workshop in Shanghai/China

(Shanghai/China, 2 November 2018)

For several years already, Beijing Siener Electronics, Verifysoft's distributor in China, organises a tool workshop in Shanghai. The 2018 edition was hold on 30 October and 1 November. A large audience followed the presentations about Testwell CTC++.
The videos are now online:
Welcome of Verifysoft CEO Klaus Lambertz (English with Chinese subtitles)
Testwell CTC++ in 8 Minutes Chinese version / English version
Testwell CTC++: the leading Code Coverage Analyser - Trailer English
How to fulfill the Requirements of ISO 26262 regarding Code Coverage? Chinese version / English version
How works Testwell CTC++ for all coverage levels? English version
A couple of further technical Testwell CTC++ presentations has been shown - they are aváilable on our YouTube-Channel.
Testwell CTC++, the leading Code Coverage Analyser for C, C++, Java and C#, is currently used in 37 countries. China is one of the most important markets.

Verifysoft at Testing Stage 2018 in Kiev (Ukraine)

(Offenburg/Germany, Kiev/Ukraine, 19 April 2018)

Verifysoft Technology attended Testing Stage 2018 in Kiev (Ukraine). The 2-days conference on 13th and 14th April counted over 1000 participants and more than 50 speakers.
Dedicated to several topics from the Software Test Area, the conference featured a separate "Embedded Track".
Our IT-Trainer Sebastian Goetzinger conducted a day-long workshop "Efficient Unit-Tests for Embedded Systems", a presentation "Code Coverage on small safety-critical embedded targets" (watch the video here) and a Master-Class: "Code Coverage on μ-Controller".
During the Testing Stage, Verifysoft presented its Software Test Solutions: Code Coverage Analyser Testwell CTC++ and Imagix 4D, a tool which helps project managers and developers to understand, document and improve complex, third party or legacy code.

“Testwell CTC++ gives us what we need while keeping the process simple”: New Testwell CTC++ customer testimonial from medical industry (ISD, Sri Lanka)

(Offenburg/Germany, Colombo/Sri Lanka, 11 April 2017)

Testwell CTC++ gives us what we need while keeping the process simple” says Harin de Silva, Technical Manager at ISD, who has given us an insight into the software testing demands for medical solutions and explained why they are using Testwell CTC++ for measuring code coverage.
In the following Customer Testimonial Mr. Harin de Silva talks about advantages of Testwell CTC++: “We chose Testwell CTC++ in order to aid us in the unit tests and verification. (...) One of the biggest challenges that we had was the limited memory in our systems. Testwell CTC++ required a very small footprint for its instrumentation and the Host target add-on makes integrations to any system easy. The important point here is that we don’t have any restrictions with compilers, IDEs or debug tools. We are able to use Testwell CTC++ without changing our development process drastically…”
>Read full Customer Testimonial here

Testwell CTC++ Customer Testimonial from Lely

“Guaranteeing proper software behavior is a challenge”: New Testwell CTC++ customer testimonial (Lely, Netherlands)

(Offenburg/Germany, Maassluis/The Netherlands, 27 October 2016)

“Our reputation is built on products which work properly” says Kees Valkhof, Lely’s Configuration Manager, who has given us an insight into the software testing demands for agricultural solutions and explained why they are using Testwell CTC++ for measuring code coverage.
In the following Customer Testimonial and Video Mr. Valkhof talks about advantages of Testwell CTC++: “At Lely we want to be able to measure the coverage of our unit tests as well as of the tests performed on the target. We have some dedicated embedded boards that require an embedded cross-compiler. As we have more than one of these compilers, we need a generic tooling, which is not bound to a specific tool set and or IDE. This is the reason why we have chosen Testwell CTC++. This tool meets all of the above requirements…”
>Read full Customer Testimonial here
>Watch video here

Verifysoft announces Testwell CTC++ interface with MATLAB Simulink

(Offenburg, 12 April 2016)

Verifysoft announces an interface of Testwell CTC++ Test Coverage Analyser with MATLAB Simulink.
This interface, which is currently still under development, will be validated by selected customers based on their business requirements. Testwell CTC++ is a leading code coverage tool which supports all compilers and all embedded targets. The tool analyses all coverage levels up to MC/DC-Coverage and Multicondition Coverage. It can be used for analysing software written in C, C++, Java and C#. The coverage analyser can be used together with any unit testing tools.
Testwell CTC++ is integrated in many tool chains, testing environments, and software quality tools like dSPACE SystemDesk, dSPACE TargetLink, Imagix 4D, SonarQube, CATIA Systems AUTOSAR Builder (DASSAULT SYSTEMES), PikeTec Time Partition Testing (TPT), QTronic TestWeaver, and many others.
Testwell CTC++ is also integrated in many IDEs. Adding a new IDE or tool chain to the integration/interface list of Testwell CTC++ is very easy. The main prerequisite being that the IDE can be customized (menus, processes...).
Simulink from The Mathworks is an industry standard tool which is highly tuneable. Thanks to the simple but efficient script-based technology of Testwell CTC++, no specific features or ´patches´ have been needed for the interfacing. Adaptations of Testwell CTC++ to other tools need often only documented parameters.
Our video Testwell CTC++ (Verifysoft) and MATLAB /Simulink provides a complete Proof Of Concept demo on how to collect coverage data with Testwell CTC++ in MATLAB Simulink tool from The Mathworks.

Integration of Testwell CTC++ with Imagix 4D Available

(Offenburg/Germany, San Luis Obispo/USA, 27 November 2014)

Imagix and Verifysoft announce the integration of Testwell CTC++ with Imagix 4D. Together with the test coverage tool Testwell CTC++, Imagix 4D can now be used to evaluate whether test cases have resulted in sufficient testing. Several layouts for viewing the program flow are available in Imagix 4D. One of them is the Logic layout chart which points up the program logic of the function. Different colours show the test coverage of each part of your software.
Imagix is a privately-held corporation, with headquarter in San Luis Obispo, California.
> further information

A.I. Corporation (AIC) Tokyo will distribute Testwell Tools in Japan

(Tokyo/Japan, Offenburg/Germany, 26 August 2014)

A.I. Corporation and Verifysoft Technology have signed an agreement about the distributionship for Testwell tools in Japan.
"We enter into a distribution agreement for Testwell tools, because this tools are very efficient and easy to use. Testwell CTC++ supports all compilers and all embedded targets", said Hiroshi Ueda, Product Manager embedded testing division at AIC. "I didn't expect code coverage on target easy like this."
"During my visit in Tokyo I was very impressed about the professionalism of the AIC team", said Klaus Lambertz, CEO of Verifysoft. "AIC is the right partner to promote Testwell tools in Japan. I am sure that Testwell CTC++ will be successful in the Japanese market. For the automotive industry, we expect a similar success as in Germany, where all car manufacturers, a lot of their suppliers and many companies from healthcare and transportation are using successfully Testwell CTC++."
> Distributors

Lexington Soft LLC will distribute Testwell tools in USA and Canada

(Lexington/USA, Offenburg/Germany, 12 May 2014)

Lexington Soft LLC and Verifysoft Technology have signed an agreement about the distributorship for Testwell tools in USA and Canada.
Lexington Soft is a provider of end to end enterprise software solutions for Software Development, Testing and Quality. Since January of 2012, Lexington Soft has been successfully distributing Testwell tools in India. Now the company will also take care of supporting Verifysoft's customers in USA and Canada. These markets will be handled by the sales team of Lexington Soft from the office located in Lexington, USA. > Distributors

Testwell CTC++ supports CATIA - AUTOSAR Builder of Dassault Systèmes

(Vélizy-Villacoublay/France, Offenburg, Munich/Germany, 2 April 2014)

Testwell CTC++ works now together with CATIA Systems AUTOSAR Builder. AUTOSAR Builder is a powerful, flexible and open authoring and simulation toolset that enables the rapid modelling, definition, simulation and deployment of embedded systems to automotive electronic control units.
Testwell CTC++, the leading Code Coverage Analyser for On-Target-Test-Coverage, is extensively used in the automotive sector. The adaptation to AUTOSAR Builder has been initiated by a large car manufacturer.
Testwell CTC++ works seamlessly with many toolchains, testing tools and test environments, including dSPACE SystemDesk®, dSPACE TargetLink®, PikeTec Time Partition Testing (TPT) and QTronic TestWeaver. > further information

Verifysoft acquires intellectual property rights for Testwell CTC++, CMT++/CMTJava and CTA++ from Testwell Oy Finland

(Offenburg/Germany, Tampere/Finland, 1 July 2013)

Verifysoft Technology GmbH has acquired all intellectual property rights for the software test and analysis tools of Testwell (Finland). The aquisition includes Testwell CTC++, CMT++/CMTJava und CTA++ as well as tools for the ADA programming language.
Since the year 2003, Verifysoft Technology GmbH has already delivered continuous success in marketing Testwell tools in German speaking countries, France and the Benelux countries. Also after the acquisition by Verifysoft, the tools will be available under the brand name "Testwell". Verifysoft plans to further increase the sales through a worldwide network of distributors. Major European markets will be handled directly by Verifysoft.
Testwell will remain an independent company in Tampere (Finland) with the mission to continue the development of the tools on behalf of Verifysoft Technology. Testwell will also be one of Verifysoft´s distributors, serving important key accounts from Finland. > further information

Testwell CTC++ to show Test Coverage for PikeTec Time Partition Testing (TPT)

(Berlin, Offenburg/Germany, 11 September 2012)

Testwell CTC++ shows now the test coverage of Time Partition Testing (TPT). TPT is a model-based testing tool for testing embedded systems, especially the testing of control systems. The tool supports all important fields of the test process which are in detail the management of tests, test modelling, test execution, test assessment, and test documentation. TPT is used to set up test cases based on requirements. If CTC++ reveals that the test coverage is insufficient, further tests can be set up with TPT.

Test Coverage for Microcontroller and Graphics Cards

(18 December 2008)

Verifysoft Technology announces the availability of Bitcov-Add-on for the Test Coverage Tool Testwell CTC++. The add on allows for measuring of code coverage in smallest targets and microcontrollers. Only very small RAM is needed. Compared to regular coverage analysis on host machines the needed RAM is about 40 times less with Bitcov-Add-on.
Testwell CTC++ is a leading test coverage tools showing all coverage levels up to C3 coverage. Safety critical projects in aeronautics, medical and automotive are successfully using Testwell CTC++ to obtain certifications (DO-178B, EN 61-508, ...).