New Company and Product Brochure
(Offenburg, 3 April 2024)
We are constantly developing our tools and adding new tools and seminars to our range.Our company and product brochure has therefore been updated and expanded.
The following new features and tools are now included:
- Testwell CTC++ with justications for missing code coveage and a new report format
- Updated information for the tools CodeSonar, Imagix 4D, and CodeSentry
- Corporate philosophy
- and even more customers ...
Learn more: Company and Product Brochure 2024
MIGTEC distributes Testwell Tools in Australia and New Zealand
(Offenburg/Germany, Sydney/Australia, 22 March 2024)
Verifysoft has assigned MIGTEC PTY LTD as distributor for the Code Coverage Analyzer Testwell CTC++ and the Complexity Measurement Tools Testwell CMT++ and CMTJava for Australia and New Zealand.MIGTEC is an independent Australian professional services company established in 1999. The company is focused on providing Technical IT solutions for Worlds’s leading organisations. MIGTEC is an industry leader delivering specialised solutions and advisory in QA testing, requirements management and software development.
Learn more: MIGTEC website
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.
Imagix 4D Version 10.5.3 Available
(San Luis Obispo/USA, Offenburg/Germany, 4 March 2024)
10.5.3 improves performance of the file editor, improves support for gcc-based code, and fixes some GUI bugs in the data sources dialog.
Testwell CTC++ Version 10.1 Available
(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. Find out more in our YouTube-Video.An overview of the new features can be found in the Release-Notes.
Verifysoft at VECS 2024 : Vehicle Electronics & Connected Services
You can visit Verifysoft Technology on May 14 and 15, 2024 at VECS 2024 in Gothenburg (Sweden) at booth C00:05.
With our voucher code Verifysoft20 you can get 20% discount on your ticket on the following page: Use your code now
(This does not apply to already registered participants and that it is not possible to combine with other offers for this event.)
Codee publishes Best Practices for Performance
(A Coruña, Spain / Offenburg, Germany, 9 February 2024)
Codee, a leading specialist for performance improvement for software has published a catalog of Best Practices for Performance. This catalog is a collaborative effort to consolidate the collective wisdom of performance experts on the best practices for performance. It consists of a glossary and a list of checks for the C, C++ and Fortran programming languages.Learn more from github.com.
Testwell CTC++ at IOT Show in Bengaluru/India
(Bengaluru/India, 2 February 2024)
At IOT Show visitors have discovered innovative DevOps and DevSecOps solutions that can help you improve your software quality, security, and performance. Lexingtonsoft's comprehensive product portfolio spans the range of the Software Development Life Cycle (SDLC), empowering software developers, quality assurance engineers, and IT & Security professionals to enhance their productivity, mitigate risks, and produce well tested software of superior quality, security, and performance.
Testwell CTC++ is one of leading Code Coverage Analyzers. More than 750 customers in 43 countries use the tool with great success.
Imagix 4D Version 10.5.2 Available
(San Luis Obispo/USA, Offenburg/Germany, 22 December 2023)
The new version speeds up the generation of html documents by adding a concurrent (multi-threaded) mode as an alternative.
CodeSentry Version 5.2 Available
(Bethesda/USA, 18 December 2023)
CodeSentry version 5.2 is available. The new version provides among others the following new features and updates:- CodeSentry 5.2 includes over 3,500 new vulnerabilities and 1,600 new products
- The new License Findings tab displays discovered components organized by their associated license type. This tab can be used to quickly identify components using non-compliant licenses.
- New License Annotation controls support a license approval workflow – licenses can be marked as ‘Approved’ or ‘Not Approved’ for individual components or all components via the Bulk Annotate feature.
- Component Match Detail information now displays data elements that were used to discover open source components contained in the target binary.
- The CSV export of vulnerabilities now includes the attack vector string as part of the data export
- Scoring of Zero-Day vulnerabilities has been updated to reflect the 2023 Top 25 Most Dangerous Software Weaknesses from MITRE.
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!.
Verifysoft Signs Distribution Agreement with APPENTRA SOLUTIONS S.L. for Revolutionary Product Codee
(Offenburg, Germany / A Coruña, Spain, 30 November 2023)
Verifysoft Technology GmbH has signed a distribution agreement with APPENTRA SOLUTIONS S.L. for the innovative product Codee.Codee is a groundbreaking software development platform specialized in automated code inspection that provides a tailor-made solution for optimizing the performance of C/C++/Fortran applications.
Learn more: Press Release
CodeSonar Version 8.0 Available
(Bethesda/USA, Offenburg/Germany, 22 November 2023)
CodeSecure has released version 8.0 of the static code analysis tools CodeSonar. The focus of this release was increasing the coverage for coding standards, re-certifying the development process, and building the integrations. CodeSonar 8.0 has new branding, as well as numerous bug fixes, compatibility updates, and other improvements.Here are some more details on the improvements:
- Integrations: Jira Server, Gerrit (beta, full integration will be available in 8.1.).
- 50% coverage of the new MISRA C 2023 standard (100% coverage of MISRA C 2023 will be available in 8.1.).
- SANS 25 2023 support.
- CodeSonar Hub: Improved Single Sign-on to support the latest versions of Chrome, Edge, Firefox, and Safari.
- Certification for use in ISO 26262 ASIL D, IEC 61508 SIL4, and EN 50128 SIL4 projects.
- Hybrid SaaS improvements include improved support for AWS load balancers and more robust behavior if worker tasks stall, increasing the reliability and scalability CodeSecure's Hybrid SaaS solution for large and small customers.
Verifysoft: World Market Leader with a single Test Tool
(Offenburg, 8 November 2023)
The safety-relevant software "Testwell CTC++" from Verifysoft Technology is used worldwide. The company serves Airbus and NASA, among others.With a single test tool, Verifysoft Technology became a global market leader.
Nevertheless, Managing Director Klaus Lambertz has not lost his grip on reality. The reason: people are more important to him than fast profits.
Learn more: Verifysoft provides Security and Safety for Software Worldwide
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.
CodeSentry Version 5.1 Available
(Bethesda/USA, 4 October 2023)
CodeSentry version 5.1 is available. The new version provides among others the following new features and updates:- Live N-Day Updates for SaaS and internet-connected on-premises instances make it easy to discover new vulnerabilities and exploits affecting your scanned applications, without the need to rescan.
- over 8,400 new vulnerabilities and 3,900 new products
- now compatible with FIPS-enabled systems for on-premises installations
Verifysoft: for Your Software's Quality - 20 Years Already
(Offenburg/Germany, 30 September 2023)
In the summer of 2003, the history of Verifysoft begins with two employees in the Offenburg Technology Park. The company, whose first office furniture came from bulky waste, provides support and sales for the testing software of the Finnish company Testwell.Today, Verifysoft is the owner of the world's leading Code Coverage Analyzer, and is one of the leading providers of testing and analysis software with more than 750 customers on all continents. Customer and employee satisfaction is, was, and will be are always the in the focus of the company. Learn more!
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.
Adventure Team Event 2023
(Offenburg, 12 September 2023)
During a trip in the countryside the Verifysoft team droves this year a couple of draisines (light auxiliary rail vehicles) of the Southern Palatinate Draisine Railway (Südpfalz-Draisinenbahn). The draisine is a kind of cross between a bicycle and a train, a "rail bike". The draisines of the Southern Palatinate (south-west of Germany) took us on a 24-kilometer journey through the green plains and forests of the Palatinate. Gentle climbs and descents brought us lot pleasure and also improves our fitness.You want to be part of our team? Check out our job offers.
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.
GrammaTech’s Application Security Testing Software Business sold to Battery Ventures
(Bethesda/USA, 5 September 2023)
Our partner GrammaTech today announced that Battery Ventures has acquired its software products division, including the CodeSonar and CodeSentryproduct lines. The transaction establishes a new, independent entity that will operate under the CodeSecure, Inc. name and be headquartered in Bethesda, Maryland.GrammaTech will continue to offer cyber security research and development services and tools to the US defense and intelligence community.
Further information is available on the CodeSecure website
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
CodeSonar Version 7.4 Available
(Ithaca/USA, Offenburg/Germany, 28 July 2023)
GrammaTech has released version 7.4 of CodeSonar. The new version increases the coverage for coding standards valued by aerospace and defense customers. CodeSonar now offers coverage of the JSF++ standard. In addition, the rule coverage in our Functional Safety (FUSA) kit has been increased. Improvements to the Hybrid SaaS installer means that customers are supported that want to manage a SaaS instance themselves.Here are some more details on the improvements:
- JSF++ support.
- Expanded coverage in the Functional Safety (FUSA) kit.
- Support for building with Bazel.
- New rules to support MISRA C 2023.
- Support for Android 13.
- C# and Java analysis is now fully supported in Hybrid SaaS.
- Self-managed Hybrid SaaS deployment option for customers.
- Refreshed CodeSonar for Binaries to find errors in a program, without needing to look at the code that was used to build it.
CodeSentry Version 5.0 Available
(Ithaca/USA, Offenburg/Germany, 3 July 2023)
GrammaTech is pleased to announce the availability of CodeSentry 5.0.Highlights of the new release include:
- The new Component Annotation feature can be used to exclude components from an SBOM, with an associated audit trail,
to deliver the most accurate SBOMs and vulnerability reports - The CodeSentry UI now includes an Instance Wide Vulnerability Search to enable users to quickly and easily determine which analyzed files are vulnerable to specific CVEs
- CodeSentry binary analysis can now report on Shared Library Dependencies referenced by target binaries – these results are accessible via the CodeSentry API
- CycloneDX SBOM exports now include Open Source License Information
- Over 9,700 new vulnerabilities and 3,700 new components are available in CodeSentry 5.0
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.Due 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.
Imagix 4D Version 10.5.1 Available
(San Luis Obispo/USA, Offenburg/Germany, 23 May 2023)
Imagix 10.5.1 provides a checklist for AUTOSAR-C++ 2014 which specifies coding guidelines for the usage of the C++14 language as defined by ISO/IEC 14882:2014, in the safety-related and critical systems. The main application sector is automotive, but it can be used in other embedded application sectors. The Imagix checklist includes all rules defined by AUTOSAR.
Using the Imagix review feature guides the user in checking the rules and automates most computations. The rules requiring documentation by the user have no automated steps but ask to attach the documentation. Automated rules list all violations accurately as long as the project was analyzed without any errors and the code was complete. Rules that are partially or non-automated might still enumerate any potential locations and require human review to decide on concerns and violations. Check out the complete list of rules and their automation level.
Using AUTOSAR-C++ in Imagix requires the MISRA license extension.
Imagix 10.5.1 adds support for running some operations of the Review Tool through batch mode commands.
The new version also adds the ability to load source code into the tool through the Microsoft Visual Studio Build logfiles.
Imagix 4D 10.5.1 completes support for C++ 2022 and provides also some bugs fixes.
Testwell CTC++ Presentations @ Future Mobility Asia 2023 in Bangkok
(Bangkok/Thailand, Offenburg/Germany, 19 May 2023)
Our Code Coverage Analyzer Testwell CTC++ attracted much attention at the trade show "Future Mobility Asia 2023" which was held from 17 to 19 May 2023 in Bangkok/Thailand.The tool was presented by our south-east Asian distributor GOPALAM EMBEDDED SYSTEMS. Testwell CTC++ is the leading Code Coverage Analyzer for the development of embedded software. It analyzes for all coverage level required by the safety standard. The tool is certified by TÜV Süd for usage in safety related development.
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.
CodeSonar Version 7.3 Available
(Ithaca/USA, Offenburg/Germany, 11 April 2023)
The focus of this releases was increasing our coverage for coding standards. CodeSonar now covers 100% of the MISRA C 2012 rules. We have improved and simplified our instructions for integrating CodeSonar with GitHub or GitLab, which will make it easier for our customers to adopt CodeSonar. Improvements to compiler models, support for the .NET7 framework and the latest versions of C and C++, and improvements to Hybrid Cloud round out the highlights of the release.CodeSonar for Binaries is also refreshed. Being able to find errors in a program, without needing to look at the code that was used to build it.
Testwell CTC++ Version 10.0.1 Available
(Offenburg/Germany, 11 April 2023)
Verifysoft has released version 10.0.1 of Testwell CTC++ Code Coverage Analyzer.This is a bug fix release only.
For more information, see the change documentation.
Embedded World Nuremberg: Highlights at Verifysoft
(Nuremberg, Offenburg, 22 March 2023)
Verifysoft was with 10 people at the Embedded World in Nuremberg and showed first-class tools for increasing and securing software quality for embedded software.We would like to thank the numerous visitors for the interesting discussions.
You can get an overview of the trade fair happenings and the highlights at our booth in our Trade fair video and on our trade fair review.
Verifysoft-Interview with Easy Engineering
(Bucharest/Romania, Offenburg/Germany, 20 March 2023)
Easy Engineering has published an interview with Verifysoft Technology.Verifysoft CEO Klaus Lambertz speaks about application areas for software testing tools, product news, market trends and future prospects.
Read here the complete interview.
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.
For further information regarding the usage of Testwell CTC++ in safety critical development, please do not hesitate to contact us.
CodeSentry Version 4.2 Available
(Ithaca/USA, Offenburg/Germany, 20 February 2023)
GrammaTech is pleased to announce the availability of CodeSentry 4.2.Highlights of the new release include:
- CodeSentry 4.2 makes it easy to search your software inventory for vulnerable open source packages with the new Component Search feature
- The new CodeSentry Dashboard provides a 'single pane of glass' overview of artifact scanning and results across the CodeSentry instance
- SBOM Edition is now available to deliver SBOM generation, component license, inventory and search capabilities
- Security Edition adds N-Day vulnerability detection and security attribute reporting
- Advanced Security edition expands vulnerability detection with 0-Day capabilities
- Over 2,300 new vulnerabilities and 3,800 new components are available in CodeSentry 4.2
- Vulnerabilities can now be exported from CodeSentry in the industry standard VEX (Vulnerability Exploitability Exchange) format
Imagix 4D Version 10.5 Available
(San Luis Obispo/USA, Offenburg/Germany, 1 February 2023)
Imagix 10.5 provides a checklist for MISRA-C++ 2008, the current version of the standard for best practices in developing safety-related embedded electronic systems and other software-intensive applications in C++. It implements all rules except for chapter 14.
Using the Imagix review feature guides the user in checking the rules of MISRA-C++ and automates any computations. The rules requiring documentation by the user have no automated steps but ask to attach the documentation. The decidable rules list all violations accurately as long as the project was analyzed without any errors and the code was complete. Rules that are undecidable enumerate any potential locations and require human review to decide on concerns and violations. Using MISRA-C++ in Imagix requires the MISRA license extension.
Imagix 10.5 also adds support for loading data from source files located in directory paths using international character sets.
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.
Proven verification process that simultaneously fulfils the standards IEC 61508, DIN EN 50128, EN 50567 and ISO25119 - Recorded Webinar Online
(Offenburg/Germany, 22 November 2022)
Selecting the right methods of Functional Safety Standards require a lot of experience. Martin Heininger (HEICON Global Engineering) shows during this recorded webinar how to proceed.
- When do you use static tests?
- Is a walkthrough more efficient and effective than an inspection?
- Why does only an integrated test strategy prevent a cost explosion?
- When does structural coverage measurement offer real added value?
Watch the recorded webinar here. By the way, you can find all our webniars on our website.
Free Webinars with our distributor Lexington Soft:
Make Unit Testing & Code Coverage Part of Your Continuous Integration Flow
USA/India, Offenburg/Germany, 27 October 2022)
These webinars will cover:Need for Code Coverage as part of your Continuous Integration (CI) Pipeline
- How Code Coverage was deployed in one of the most challenging build/development environments?
- Metrics Management: Code Coverage as tool for giving management visibility into the quality of code being delivered
- ROI benefits of Code Coverage
- How to integrate Code-Coverage in your CI/CD workflow?
- How to measure Code-Coverage for your desktop and Embedded applications?
1. Thursday, 17th November 2022 at 14:30 p.m. IST (1hr session) for Indian region
For more information and registration click here!
2. Friday, 18th November 2022 at 12:00 p.m. EST (1hr session) for US region
For more information and registration click here!
ISO 26262: Experience-based selection of software development measures and methods - Recorded Webinar Online
(Offenburg/Germany, 4 October 2022)
Our webinar "ISO 26262 - Experience-based selection of software development measures and methods" with Dipl.-Ing. Martin Heininger (HEICON Global Engineering) is now available on our YouTube channel.Martin Heininger has over 15 years of experience in the area of methods and processes for the development of safety-critical embedded systems. The webinar handles the following topics: Informal, semi-formal and formal notation principles, safety architecture principles, handling of coding guidelines, review/static analysis, unit, integration and system tests.
Watch the recorded webinar here. By the way, you can find all our webniars on our website
Embedded World: Many Visitors at the Verifysoft Booth
(Nuremberg/Germany, 23 June 2022)
From June 21 to 23, 2022, Verifysoft informed numerous customers and interested people at our booth at Embedded World in Nuremberg about test and analysis tools as well as our seminar program.After the "Corona break" we were very happy about the "business as usual".
More information is available on our web site and our Embedded World video
Imagix 4D version 10.4 Available
(San Luis Obispo/USA, Offenburg/Germany, 8 March 2022)
Moreover, there are some further minor enhancements:
- Additional display option 'By Origin' for probes in reviews set as default.
- Displaying probes with entries from different files in the same window.
- Creating call graph from architecture includes members from selected or visible subsystems.
More details are available in the release notes.
Customers with valid maintenance can download the new version from Imagix website.
First Aid for Old Code
(Offenburg/Germany, 4 March 2022)
Manufacturers must ensure the quality of their software throughout the entire lifecycle of a product. If new functions are added to older devices, but the documentation of the software is inadequate and no one really knows the old code anymore, this task becomes problematic.Using medical device software as an example, our technical article describes a suitable procedure.
Read the full article here (PDF in English)
Verifysoft reports revenue record for 2021
(Offenburg/Germany, 10 November 2021)
End of October, Verifysoft has already surpassed the previous record revenue of 2019. We will significantly exceed the ambitious revenue targets set for 2021 by the end of the year.The cornerstone of this success is first of all the Code Coverage Analyzer Testwell CTC++, which is now being used successfully in over 40 countries on all continents. Many key accounts have significantly expanded the use of Testwell CTC++ during this year. Currently, over 700 customers improve their software with tools from Verifysoft.
For 2022 we expect further sales increases with the static code analysis tool GrammaTech CodeSonar and the innovative security vulnerability detection tool GrammaTech CodeSentry.
Verifysoft has been operating profitably for years and finances its growth exclusively from cash flow.
Imagix Corporation has released version 10.3 of Imagix 4D
(San Luis Obispo/USA, Offenburg/Germany, 5 October 2021)
Other changes compared to 10.2.0:
- Resolution of calls from Java into C/C++ via the JNI has been extended.
- Areas of GUI improvements include display of source code in flow charts, and scrolling
New user testimonial: The Institute of Mathematics and Statistics of the University of São Paulo, Brazil.
(São Paulo/ Brazil, September 2021)
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
Imagix 4D: Your Solution for Software Problems
(Offenburg/Germany, 23 September 2021)
In average more than 50% of the time in software development is spent for maintenance. There are problems in understanding software, in modifying software, in documenting software, ... Is there a solution? Yes! Imagix 4D visualizes software and speeds understanding. Metrics and software checks improve quality - the doc engine automates document generation. Learn more about Imagix 4D in our video!
Verifysoft welcomes G3TEK Embedded Technologies as Distributor for Testwell Tools in Turkey
(Offenburg/Germany, Ankara/Turkey, 27 August 2021)
Verifysoft appointed G3TEK Embedded Technologies as distributor for Testwell CTC++ Code Coverage Analyzer in Turkey. G3TEK is based in Ankara/Turkey and provides local services and software development solutions for embedded / real-time applications. The company helps its customers reduce their expenses and get to the market on time. It produces solutions in the fields of defense, aerospace, energy, rail systems and automotive. G3TEK provides software development tools for embedded / real-time applications, DO-178 B/C certifiable RTOS, middleware libraries, UML & SysML modeling tools, static analysis tools, GUI development tools and JTAG emulators. More information is available from G3TEK’s website.
Testwell CTC++ is the leading code coverage analyzer for embedded software. The tool is currently successfully used by 700+ customers in 39 countries.
Follow our Video-Series "1 minute at Verifysoft" with Verifysoft Team Members:
(Offenburg, 22 June 2021)
In our video series "1 minute at Verifysoft", some members of our team introduce their "life" at Verifysoft Technology:
What is their daily work like, what are the challenges, why do they get involved with Verifysoft and what happens in their free time?
Learn more on our YouTube channel.
New Video: Verifysoft - for Your Software's Quality
(Offenburg/Germany, 23 April 2021)
Verifysoft provides best Software Testing Solutions, seminars, and advice since 2003. The motivated Verifysoft team is here to increase the quality and productivity of your software development teams. Many things happened during the last years. We have shown some of this moments in our new video. Watch the video here!
Imagix 4D: Version 10.2 Available
(San Luis Obispo/USA, Offenburg/Germany, 8 April 2021)
Particular enhancements in 10.2 include:
- Additional options in generating architectures from source code
- Improved performance working with large projects, including in Architecture Diagrams
- More automation of loading code into Imagix 4D, using Soong, Gradle and JSON build systems
- Extensible interface to load code from any build logs
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.
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.
Verifysoft with articles in French reference book for software testing
(Paris, Offenburg, 10th Feburary 2021)
The fourth edition of the French reference book for software testing "Pratique des Tests Logiciels" was published by Dunod (publishing house).
It is authored by Professor Jean-François Pradat-Peyre (Paris University) und Jacques Printz. The preface was written by Verifysoft’s CEO Klaus Lambertz (French version). SThe 256-page book deals with all relevant topics around the subject of software testing. Verifysoft was given the opportunity to i.a. provide its expertise on embedded system testing and clarify the benefit of using static and dynamic code analysis together.
You can find the German translation of the chapter here.
Imagix 4D: Version 10.1 Available
(San Luis Obispo/USA, Offenburg/Germany, 9 October 2020)
This release has 3 main features:
- Complete HIS checklist including underlying MISRA rules and metrics covering two project versions
- Delta control flow charts that show the flow chart differences between two project versions
- Unreachable Statement report and other small report enhancements
Learn more.
Verifysoft Technology has been elected among the World's Best QA & Solution Providers 2020
(Dublin/OH/USA, Offenburg/Germany, 12 May 2020)
More information: Verifysoft Technology GmbH: A Prominent Code Coverage Analyzer for Embedded Software (pdf) CIO Look
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
Imagix 4D: Version 10.0 Available
(San Luis Obispo/USA, Offenburg/Germany, 28 April 2020)
Version 10.0 contains a significant upgrade in the speed and lenience of the C / C++ source analyzer.
New SARIF functionality enables static analysis results from other tools to be imported and methodically reviewed within Imagix 4D, and Imagix 4D static analysis results to be exported for viewing in IDEs.
Delta Analysis had been restricted to comparing two separate projects; the storage and comparison of revisions within a project has been eliminated, in preparation for the addition of new Delta Analysis capabilities in an upcoming release.
Verifysoft Technology: The Company Video
(Offenburg/Germany, 20 December 2019)
Verifysoft Technology has provided first class testing and analysis tools to software development teams. In short, we sell safety and security.
What does Verifysoft offer to over 600 customers in 40 countries?
Why is the customers’ satisfaction more important than making a fast buck?
Why is a positive working atmosphere important to us?
Verifysoft's Company Video gives answers.
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)
"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
Imagix 4D: Version 9.2 Available
(San Luis Obispo/USA, Offenburg/Germany, 30 October 2019)
It is available on Windows as well as Linux (both 32-bit and 64-bit).
Version 9.2 of Imagix 4D considerably extends the data flow analysis in reports and with data flow diagrams. These are powerful tools for pointer tracking and change analysis in projects. Sequence diagrams as an enhanced version of control flow graphs are now available in Imagix 4D.
Source code analysis is extended to the latest versions of MSVC 2019 and GCC 9 with features from C++14 and C++17. The review tool now supports the latest Common Weakness Enumeration (CWE) 3.3 checklist.
Imagix 4D Video: Software developer Anna has got a problem
(Offenburg, 15 October 2019)
Then Anna comes across the tool Imagix 4D, which determines the actual state of software based on the source code. Through the generated graphs, documentation and reports, Anna quickly identifies the causes of the errors and can fix them more easily than expected. Anna immediately informs her customers, who are more than relieved...
Watch the video now
How Imagix 4D supports the understanding of software based on source code
(Offenburg/Germany, 25 September 2019)
This work will show how Imagix 4D improves the process of exploring and understanding unfamiliar source code. An introduction into why and where such a process is required will be followed by a description of the methods Imagix 4D introduces to support such source code analysis.
Read the white paper here
zepp.solutions uses Testwell CTC++ to fulfill the requirements of IEC 61508
(Delft/Netherlands, Offenburg, 10 May 2019)
"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
User Testimonial: Exonetik Canada chooses Testwell CTC++ for Aviation Sector
(Sherbrooke/Kanada, Offenburg, 9. April 2019)
Exonetik joins 600+ satisfied customer in 38 countries on all continents. >Read full Customer Testimonial here
Architectgroup becomes SLEXN Inc.
(Seoul/ Republic of Korea (ROK), Offenburg/Germany, 4 april 2019)
Having started as a software-based consulting company, SLEXN Inc. became a supplier of technical services and tools in various areas. They create an individual IT infrastructure based on the demands of the customer. SLXN Inc. always provides long lasting professional solutions rather than just a strategic advice. They implement concrete strategies and technologies to obtain a high value within the new environment of the client with a clear view towards future developments.
Release of Testwell CMT++ Version 7.0 and CMTJava 4.0
(Offenburg/Germany, 25 March 2019)
Verifysoft releases the new versions of the tools Testwell CMT++ 7.0 and Testwell CMTJava 4.0 with some bug-fixes. As a new feature, reports can now be generated in JSON format. After installation, the detailed list of changes can be found in version.txt..
Further information: Testwell CMT++ 7.0 and Testwell CMTJava 4.0.
Further information: Testwell CMT++ 7.0 and Testwell CMTJava 4.0.
Testwell CTC++ Workshop in Shanghai/China
(Shanghai/China, 2 November 2018)
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 Analyzer - 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 Analyzer for C, C++, Java and C#, is currently used in 37 countries. China is one of the most important markets.
Insights Success: Verifysoft Technology is one of the 10 Best Performing Software Testing Solution Providers
(Dublin/Ohio, USA, Offenburg/Germany, 26 June 2018)
Insights Success focuses distinctively on emerging as well as leading fastest growing companies, their confrontational style of doing businesses and the way of delivering effective and collaborative solutions to strengthen market share. Verifysoft Technology has now been elected among the 10 best performing software solution providers by Insights Success. Since its founding in 2003, Verifysoft has established a presence in over 40 countries and recorded growth of more than 40% last year. The company believes software testing is an essential service and its importance will only increase in the future. Verifysoft has established itself as a leader in providing software testing solutions which are efficient and reliable. Its CTC++ test system is extremely reliable even in the most adverse and challenging circumstances. The management team at Verifysoft believes they have a good product on their hands, and they give client satisfaction top priority.
Read the entire article here.
Imagix has released Imagix 4D version 9.1
(Offenburg/Germany, San Luis Obispo/USA, 1 May 2018)
Imagix has released version 9.1 Imagix 4D with the following new features:
- Added metrics and analysis of stack size for embedded code
- Added import of test coverage data from Testwell CTC++
Verifysoft at Testing Stage 2018 in Kiev (Ukraine)
(Offenburg/Germany, Kiev/Ukraine, 19 April 2018)
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 Analyzer Testwell CTC++ and Imagix 4D, a tool which helps project managers and developers to understand, document and improve complex, third party or legacy code.
Verifysoft: The customers’ satisfaction is more important than making a fast buck for our quarterly result
(Offenburg/Germany, 22 August 2017)
Click Here to see the interview.
“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)
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
Imagix 4D releases Imagix 4D version 9.0: Introduction of a review tool and checklist for Common Weakness Enumeration (CWE)
(San Luis Obispo/USA, Offenburg/Germany, 6 march 2017)
Imagix 4D Version 9.0 is now available. The new version introduces a review tool for guided checklist reviews and adds a checklist for Common Weakness Enumeration (CWE) testing. The performance of the flow check reports has been dramatically improved. The functionality of the calculation tree data flow visualizer has been expanded.
“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
Verifysoft announces Testwell CTC++ interface with MATLAB Simulink
(Offenburg, 12 April 2016)
Verifysoft announces an interface of Testwell CTC++ Code Coverage Analyzer 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.
Beijing Siener Electronics Tech. Development Ltd. Becomes Distributor for Testwell-Tools in China
(Offenburg/Germany, Beijing/China, 28 January 2016)
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++ Code Coverage Analyzer 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
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 colors show the test coverage of each part of your software.
Imagix is a privately-held corporation, headquartered in San Luis Obispo, California.
> further information
Imagix is a privately-held corporation, headquartered 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)
"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++."
> AIC website > News in Japanese > distributors
Verifysoft is growing: Enlargement of the premises
(Offenburg, 7. July 2014)
Our technology is successfully used by more than 400 companies in over 30 countries worldwide. Our customers include all German car manufacturers, automotive suppliers, major European aeronautics and aerospace companies as well as leading companies in the medical industries.
After the acquisition of software testing technologies from the Finnish test tool manufacturer Testwell in the summer 2013, Verifysoft has built up a worldwide distribution network in the USA, India, Korea, UK, Italy, Romania, Finland and Israel. A distribution agreement with a Japanese company will be signed imminently.
After a very successful first half of 2014, we expect a further significant increase in sales for the current year. Reasons for this include the very good quality of our testing tools, the good economic situation in Germany as well as a strong global growth, especially in the U.S., India, Korea and Japan.
In terms of staff Verifysoft has continued to grow. This requires the enlargement of the premises in the Offenburg Technology Park. That is why we ask for your understanding if there is a short delay in responding to your inquiries between the 8th and 11th July due to relocation to the new office.
Lexington Soft LLC will distribute Testwell tools in USA and Canada
(Lexington/USA, Offenburg/Germany, 12 May 2014)
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++, the leading Code Coverage Analyzer 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 and Pertech sign agreement for distribution of Testwell tools in Israel
(Raanana / Israel, Offenburg / Germany, 8 August 2013)
Lexington Soft is Distributor for Testwell Tools in India
(Chennai / India, Offenburg / Germany, 1 August 2013)
Verifysoft signs distribution agreement for Korea with ArchitectGroup
(Seoul/Korea, Offenburg/Germany, 3 July 2013)
Only a few days after signing the agreement, ArchitectGroup reported the first order: an important manufacturer of medical devices will use Testwell CTC++ in order to guarantee highest quality of it´s software. > Distributors
Verifysoft acquires intellectual property rights for Testwell CTC++, CMT++/CMTJava and CTA++ from Testwell Oy Finland
(Offenburg/Germany, Tampere/Finland, 1 July 2013)
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, ...).
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, ...).