Tool specific news: Company Testwell CMT++/CMTJava Testwell CTC++ CodeSentry CodeSonar Imagix Events/Seminars ALL NEWS
(Offenburg/Germany, 3 December 2021)Verifysoft has released version 9.1.3 of Testwell CTC++ Test Coverage Analyser.
Beside bug fixes, this new version provides more control over the coverage data file naming. On Linux, the Host-Target and Bitcov packages formerly deployed separately are now included in the core package. On Windows, the Cygwin integration is easier to install and to handle in combination with MinGW. Learn more
Particularly in safety-critical software development, industry standards prescribe precise requirements for code coverage, so that products cannot be certified here without proof of sufficient test coverage. But also in other development projects, companies increasingly attach great importance to software quality and measure code coverage.
Various code coverage analyzers are available on the market for measuring code coverage. They differ significantly in terms of handling and quality.
Read the entire article here.
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
(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.
(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.