Recorded Webinar about Performance Optimization Available

(A Coruña, Spain / Offenburg, Germany, 23 July 2024)

Optimizing Embedded C is crucial to enhance system efficiency and performance, reduce power consumption and memory usage, and ensure greater reliability and speed in resource-constrained devices. Codee will streamline your development process, making your embedded systems more robust and efficient than ever before.
In the quest for peak performance in C/C++ applications, conventional compilers often fall short. Codee overcomes these limitations by enhancing performance through the creation of compiler-friendly code, all while preserving readability and maintainability.
This recorded webinar explores how Codee provides a systematic and predictable approach to enforcing C/C++ performance optimization best practices. Discover how Codee delivers precise, line-by-line recommendations for enhancement, uniquely tailored to your specific setup—defined by your compiler, hardware, and processor—to ensure optimal efficiency and quality from the start.
Watch the recorded webinar here

Codee Version 2024.2 available

(A Coruña, Spanien / Offenburg, Deutschland, 21. Mai 2024)

APPENTRA SOLUTIONS S.L has released version 2024.2 of the software performance tool Codee.
This release brings significant improvements, especially for Fortran developers, with a strong focus on modernizing existing codebases. New reports, such as the Technical Debt Report and the ROI Report, quantify the modernization effort and highlight the benefits of code for development processes. In addition, the new version offers extended platform support and improvements for C++ as well as specific compilers.
More information here.

CodeSentry 6.0 with Major Features and Enhancements Available

(Bethesda/USA, Offenburg/Germany, 22 April 2024)

CodeSentry version 6.0 is available. This release continues to add new workflows to enable customers to manage their discovered components and vulnerabilities and generating the highest quality SBOMs and vulnerability reports.
The new version provides among others the following new features and updates:

• The new Vulnerability Annotation workflow enables the modification of individual vulnerability CVSS scores, exclusion of vulnerabilities, and assigning states such as "Fixed" or "Not Affected".
• CodeSentry now supports the analysis of ISO artifacts up to an industry-leading 40GB in size, which enables the analysis of the complete software images for medical, industrial, and other devices
• The CodeSentry Instance Dashboard is now interactive! Clicking on any of the graphical chart or table sections will jump to the associated list of components or vulnerabilities
• CodeSentry 6.0 includes over 10,400 new vulnerabilities and 4,500 new products
• New Filters on the N-Day Findings and Components tab make it easier to find the most critical vulnerabilities and components.

Embedded World 2024:
Verifysoft with best in class Software Testing Tools

(Nuremberg, Offenburg, 11 April 2024)

Verifysoft and its partner Codee informed about first-class tools for improving the quality, productivity, safety and security of embedded software.
14 people presented in Nuremberg the latest versions of the code coverage analyzer Testwell CTC++, as well as the static analysis tools Imagix 4D and CodeSonar.
New on show: Codee, a cutting-edge solution for optimizing performance while simultaneously reducing energy consumption and memory usage.
Learn more about the highlights at our booth in our Trade fair video and on our trade show review.

CodeSonar 8.1 Available: All-In-One SAST Platform with Expanded Language Support

(Bethesda/USA, Offenburg/Germany, 4 April 2024)

CodeSonar language coverage now includes Kotlin, Python, Go, Rust, JavaScript, and TypeScript
CodeSecure today announced a major new release for CodeSonar, the leading SAST platform for securing product software. CodeSonar 8.1 extends the developer centric approach for product security to include language support for Kotlin, Python, Go, Rust, JavaScript, and TypeScript in addition to C/C++, Java and C#.
CodeSonar supports now more than 90 compilers, including clang, GCC, Microsoft, IAR, Tasking, QNX, WindRiver.
WRth hundreds of built-in checkers, CodeSonar examines code for potential vulnerabilities, coding errors, and compliance violations. From memory leaks to buffer overflows, CodeSonar’s advanced static analysis capabilities help identify issues early in the development cycle, saving time and resources in the long run.
Host Platforms: Whether you prefer cloud-based solutions or on-premises deployment, or fully air-gapped environments, CodeSonar offers flexible host platform options to suit your needs.
Learn more about multi language support in our video.

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)

Imagix has released version 10.5.3 of Imagix 4D.
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++ 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. 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

The VECS 2024 conference is dedicated exclusively to the latest advances in on-board electronics, connected vehicles, autonomy and electric mobility.
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)

Testwell CTC++ was presented by our partner Lexingtonsoft at IOT Show in Bengaluru/India.
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)

Imagix has released version 10.5.2 of Imagix 4D.
The new version speeds up the generation of html documents by adding a concurrent (multi-threaded) mode as an alternative.

CodeSentry 5.2 Available: new Checks for 3,500+ new Safety Vulnerabilities

(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

Static Analysis: CodeSonar 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 5.1 Available: new Checks for 8.400+ new Safety Vulnerabilities

(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

For further features and more information, please have a look to the release notes.

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 CodeSentry product 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

Static Analysis: GrammaTech CodeSonar 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.

GrammaTech CodeSentry v5.0 Available: 9,700 New Vulnerabilities and 3,700 New Components

(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 has released version 10.5.1 of Imagix 4D. The focus of this release is AUTOSAR-C++ 2014.
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.

GrammaTech has released CodeSonar 7.3

(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++ Test Coverage Analyser.
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.

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

GrammaTech CodeSentry v4.2 checks for over 2,300 new Vulnerabilities and 3,800 new Components

(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 with MISRA C++ Support Available

(San Luis Obispo/USA, Offenburg/Germany, 1 February 2023)

Imagix 4D version 10.5 has been released. The focus of this release is MISRA-C++.
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.