Tool specific news: Company
Testwell CMT++/CMTJava
Testwell CTC++
GrammaTech CodeSonar
CodeSentry
Imagix
Events/Seminars
ALL NEWS
Testwell CTC++ now integrated in Cobertura, Jenkins and SonarQube
(Offenburg/Germany, 17 November 2016)
Update 2019-12-19: ctc2cob is no longer available. Please get in contact with our team to learn about available solutions four your CI/CD platform.
Verifysoft Technology has released ctc2cob. Ctc2cob is a tool which converts Testwell CTC++ reports into Cobertura-like XML reports. Thus the integration of Testwell CTC++ in Jenkins and SonarQube, as well as in almost all CI servers that supports Cobertura are very easy. Testwell CTC++ users have now an informative overview of the code coverage trend in automated environments.
The integration into Jenkins enhances Testwell CTC++ with features like automatic e-mail notification, automated builds, automated GitHub commits, etc ... in order to have the best working conditions and environment available. Once the build is finished, the Cobertura plugin will display the result directly on Jenkins with a diagram of the code coverage trend.
Testwell CTC++ is a leading Code Coverage Analyser for C, C++, Java and C#.
The tools works with all compilers, all embedded targets and is integrated in many IDEs and toolchains.
The integration into Jenkins enhances Testwell CTC++ with features like automatic e-mail notification, automated builds, automated GitHub commits, etc ... in order to have the best working conditions and environment available. Once the build is finished, the Cobertura plugin will display the result directly on Jenkins with a diagram of the code coverage trend.
Testwell CTC++ is a leading Code Coverage Analyser for C, C++, Java and C#.
The tools works with all compilers, all embedded targets and is integrated in many IDEs and toolchains.
GrammaTech CodeSonar 4.4 Available
(Ithaca, New York/USA, Offenburg/Germany, 2 November 2016)
Version 4.4 of GrammaTech CodeSonar is available. The release comes with the following enhancements:
- 18 new warning classes for MISRA C/C++
- New versions of FindBugs and PMD introduce many new warnings for Java.
- Better handling of C++14 constructs
- Compiler vendor extensions including Microsoft Visual Studio 2015 toolchain.

Testwell tools at the Infineon IADC in China
(Offenburg/Germany, 11 November 2016)

Testwell tools at the "Embedded Technology" in Japan
(Offenburg/Germany, Yokohama/Japan, 11 November 2016)

“Guaranteeing proper software behavior is a challenge”: New Testwell CTC++ customer testimonial (Lely, Netherlands)
(Offenburg/Germany, Maassluis/The Netherlands, 27 October 2016)
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

Visit our Presentation and Workshop about Code Coverage at Embedded Conference Scandinavia
(Offenburg/Germany, Stockholm/Sweden, 7 October 2016)
Imagix 4D Version 8.1.4 Available
(San Luis Obispo/USA, Offenburg/Germany, 6 October 2016)
Version 8.1.4 of Imagix 4D is available. The release comes with the following enhancements:
- Support for Java Edition 8
- Addition of MSVC 2015 to user interface and compiler configuration file
- Improvements to Delta Analysis symbol matching and reports
- Various small improvements and fixes to GUI, graphs, reports, etc.
- C/C++ source analyzer enhancements for GCC #include_next, MSVC #import, IAR "@" operator, and C++14
GrammaTech Recognized in Silicon Review's 50 Smartest Companies of the Year
(Ithaca, New York/USA, Offenburg/Germany, 6 October 2016)
GrammaTech was recognized in the Silicon Review as one of the 50 Smartest Companies of 2016. Silicon Review is a preeminent business and technology magazine for tech decision makers and enterprise IT professionals. GrammaTech was selected among companies around the world with software solutions that drive business value in the evolving technical IoT landscape.
GrammaTech excels with strong software assurance innovations in static analysis of source and binary code.
GrammaTech’s software scientists are pushing the boundaries of software analysis and hardening techniques and technologies with the objectif of helping commercial manufacturers eliminate critical software defects from increasingly complex IoT device software.
GrammaTech excels with strong software assurance innovations in static analysis of source and binary code.
GrammaTech’s software scientists are pushing the boundaries of software analysis and hardening techniques and technologies with the objectif of helping commercial manufacturers eliminate critical software defects from increasingly complex IoT device software.
Testwell CTC++ Version 8.0.1 Released
(Offenburg/Germany, Tampere/Finland, 30 June 2016)
Version 8.0.1 of Testwell CTC++ has primarily corrections of some "extreme corner" C++ use cases (some C++11 or C++14). A list of other enhancements and bug fixes is available here.
Seminar "Efficient Unit-Tests for Embedded Systems" is now available worldwide in English
(Offenburg/Germany, 21 June 2016)
Due to constantly increasing popularity of our public seminars "Efficient Unit-Tests for Embedded Systems" it is now available as on-site training worldwide (in English).
The training gives the overview about the theoretical basics of software test of embedded systems (static/dynamic software test, black box/white box test etc.).
You will be introduced to the open-sourced Unit-Test tools like for example μCUnit and learn how to use them.
The participants will also receive introduction into the topic of Code Coverage. The seminar is completed with practical exercises.
> more information
The training gives the overview about the theoretical basics of software test of embedded systems (static/dynamic software test, black box/white box test etc.).
You will be introduced to the open-sourced Unit-Test tools like for example μCUnit and learn how to use them.
The participants will also receive introduction into the topic of Code Coverage. The seminar is completed with practical exercises.
> more information
Release of Elvior TestCast T3 Version 6.10.1
(Tallinn/Estonia, Offenburg/Germany, 1 June 2016)
Elvior has released a new version of the test execution tool TestCast with the following features:
- Expand template - tool for writing TTCN-3 code, which can be used to expand and fill all fields of a structured template.
- Add template wizard - TTCN-3 editor tool, which can be used to generate a template of a chosen type with default values.
- Code snippets - tool for writing TTCN-3 code, which enables to enter predefined blocks of codes from context menu or by a quick key.
- New TTCN-3 script wizard - a wizard for creating a new TTCN-3 script which allows to choose a predefined module and a name for the script.
- Snippet/Module Editor - editor for modifying and creating custom snippets or modules.
- Option for displaying a message box when a TTCN-3 action command is executed

Verifysoft presents Testwell Tools at Software-Centric Systems Conference (Netherlands)
(Offenburg/Germany, Eindhoven/Netherlands, 10 May 2016)
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.
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.

A.I. Corporation (AIC) presents Testwell tools at Embedded Technology 2016 in Japan
(Offenburg/Germany, Yokohama/Japan, 12 April 2016)
Embedded Technology consists of professional exhibitions and conferences featuring embedded technologies and solutions which are essential to cutting-edge technologies. Within the years, embedded system technologies have become widely used in various fields of manufacturing both in consumers´ and industrial use. > further information
Verifysoft talks about Code Coverage approaches for Small Embedded Targets at the Device Developers Conference in UK
(Offenburg/Germany, Tallinn/Estonia, 27 March 2016)
Watch a video of our presentation here
Elvior has released 3rd generation of TestCast MBT
(Offenburg/Germany, Tallin/Estonia, 23 March 2016)
First (former MOTES) and second generation of TestCast MBT used 3rd party UML tool for modeling.
The third generation of TestCast MBT has built in system model editor that is harmonized with TTCN-3 data model.
Tool lifts test automation provided by Elvior into next level - due to user-friendly interface and powerful TTCN-3 execution platform. TestCast MBT can be used on different application areas: from embedded systems to web testing.
Testwell CTC++ available for IBM AIX 7 PowerPC
(Offenburg/Germany, 21 March 2016)
Verifysoft Technology announces the availability of Testwell CTC++ v8.0 on IBM AIX 7 PowerPC. The binaries in this AIX distribution were built on IBM AIX 7, gcc 4.6.3 C compiler. We thank our shell provider at Polarhome in Sweden to make this port possible.
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
AIX® is a Unix System V based operating system of company IBM®.
Testwell CTC++ is the leading Code Coverage Tool for measuring Code Coverage on host and all embedded targets (even very small ones). The tool is compliant to Safety Standards. Hundreds of companies all over the world use Testwell CTC++ with great success. Testwell CTC++ is the first choice for companies which have to achieve and to proof high code coverage in aerospace, automotive, transportation, healthcare and other industries.
AIX® is a Unix System V based operating system of company IBM®.

GrammaTech CodeSonar 4.1 Certified by SGS-TÜV Saar GmbH
(Ithaca, New York/USA, 1 March 2016)
CodeSonar is one of the leading tools for static analysis. It identifies bugs that can result in unexpected behavior, system crashes and security breaches. CodeSonar has been proven to provide the deepest static analysis. The tool finds more critical defects than other static analysis tools on the market. CodeSonar has performed best on several static analysis tool benchmarks in finding static memory, resource management, concurrency, and other defects.
> SGS-TÜV Saar Certificate
Beijing Siener Electronics Tech. Development Ltd. Becomes Distributor for Testwell-Tools in China
(Offenburg/Germany, Beijing/China, 28 January 2016)
Verifysoft, vendor of the leading Test Coverage Analyser Testwell CTC++ and the software testing and analysis tools Testwell CTA++, CMT++, and CMTJava today announced the appointment of Beijing Siener Electronics Tech. Development Ltd. as its distributor in China.
Beijing Siener, a privately held company with headquarters in Beijing/China with offices in Shanghai/China, represents already companies like HighTec EDV-Systeme GmbH, pls Development Tools, and GLIWA GmbH in the fast growing Chinese market.
"We are excited to be a reseller for Verifysoft because their code coverage analyser Testwell CTC++ is unequalled in the industry," said Peter Liu, Managing Director at Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC++ Test Coverage Analyser works with all embedded targets and supports all compilers. The tool makes it easier for software development teams to meet code coverage requirements and to meet the specifications of industry standards like ISO 26262."
"China is an important market for us," said Klaus Lambertz, CEO of Verifysoft Technology. "We are glad to have Beijing Siener as a partner to better support Testwell CTC++ users in the region and to further extend our customer base in China."
Verifysoft Technology will present it´s flagship tool Testwell CTC++ during "Multicore Embedded Toolchains Workshop for Multicore ECU Development" in Shanghai on March 8th and 9th, 2016. > further information
Beijing Siener, a privately held company with headquarters in Beijing/China with offices in Shanghai/China, represents already companies like HighTec EDV-Systeme GmbH, pls Development Tools, and GLIWA GmbH in the fast growing Chinese market.
"We are excited to be a reseller for Verifysoft because their code coverage analyser Testwell CTC++ is unequalled in the industry," said Peter Liu, Managing Director at Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC++ Test Coverage Analyser works with all embedded targets and supports all compilers. The tool makes it easier for software development teams to meet code coverage requirements and to meet the specifications of industry standards like ISO 26262."
"China is an important market for us," said Klaus Lambertz, CEO of Verifysoft Technology. "We are glad to have Beijing Siener as a partner to better support Testwell CTC++ users in the region and to further extend our customer base in China."
Verifysoft Technology will present it´s flagship tool Testwell CTC++ during "Multicore Embedded Toolchains Workshop for Multicore ECU Development" in Shanghai on March 8th and 9th, 2016. > further information
Verifysoft Becomes First European Distributor of the Source Code Checking and Architecture Analysis Tool Imagix 4D
(Offenburg/Germany, San Luis Obispo/USA, 2 January 2016)
Imagix Corporaton has choosen Verifysoft Technology as European distributor for it´s Source Code Checking and Architecture Analysis Tool Imagix 4D. Verifysoft will handle sales and support for Imagix in Germany, Austria, Switzerland, Liechtenstein, France, Netherlands, Belgium, Luxemburg, Poland, Czech Republic, Slovakia, Hungary, Slovenia, Spain and Portugal.
Imagix 4D is used for reverse-engineering, quality analysis and documentation of software written in C, C++ and Java. Customers include leading global companies like General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, and Siemens. Imagix 4D is also used by US governmental agencies such as Federal Aviation Administration (FAA) and NASA.
Imagix is a privately-held corporation, which is headquartered in San Luis Obispo, California. > further information about Imagix
Imagix 4D is used for reverse-engineering, quality analysis and documentation of software written in C, C++ and Java. Customers include leading global companies like General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, and Siemens. Imagix 4D is also used by US governmental agencies such as Federal Aviation Administration (FAA) and NASA.
Imagix is a privately-held corporation, which is headquartered in San Luis Obispo, California. > further information about Imagix

Testwell CTC++ 8.0 Available: Annotations and enhanced HTML Reports
(Offenburg/Germany, Tampere/Finland, 1 December 2015)
- Improved architecture of the HTML report
- "Line Coverage" in the HTML report
- Annotations are be shown by the coverage report
- Improved reporting of header files
- Improved merging of coverage data of independently tested code files