No. 04/2019 December 2019
Read in this Newsletter:
1 -Embraer is using Testwell CTC++ to accomplish the objectives of DO-178C DAL A2 -Imagix 4D: Version 9.2 Available
3 -Successful year 2019 is coming to an end
4 -Events
Embraer is using Testwell CTC++ to accomplish the objectives of DO-178C DAL A
"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 with improved pointer tracking and change analysis
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.
learn more
Successful year 2019 is coming to an end -
we are looking forward to 2020!
We wish you and your families happy holidays and a happy new year.
We look forward to continuing our good cooperation in 2020.
Your Verifysoft-Team
Events
Tuesday, 14th January 2020
• Seminar: Efficient Unit-Tests for Embedded Systems
Wednesday 29th January 2020
• Testwell CTC++ Training
Thursday 30th January 2020
• Free Webinar: Refactoring using Imagix 4D
Wednesday 12th February 2020
• Static Code Analysis Day 2020
Tuesday 03rd March 2020
Trade Shows
• Software Quality Days 2020
14th - 17th January 2020 in Vienna, Austria
• Embedded World 2020
25th - 27th February 2020 in Nuremberg, Germany
Follow us on:
With kind regards,
Klaus Lambertz
Managing Director
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg, Germany
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz
Klaus Lambertz
Managing Director
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg, Germany
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz