No. 05/2019 Dezember 2019
Lesen Sie in diesem Newsletter:
1 -Flugzeughersteller Embraer nutzt Testwell CTC++ in DO-178C DAL A Projekten2 -7. Static Analysis Day am 03.03.2020 in Offenburg - Jetzt anmelden!
3 -Verifysoft Technology - Der Imagefilm
4 -Imagix 4D: Version 9.2 mit verbessertem Pointer-Tracking und Change-Analyse verfügbar
5 -Software Quality Days 14.-17. Januar 2020 in Wien: Verifysoft bietet Ihnen 20% Rabatt
6 -What is New in CodeSonar 5.2
7 -Das erfolgreiche Jahr 2019 neigt sich dem Ende zu - Wir freuen uns auf das Jahr 2020!
8 -Termine
Flugzeughersteller Embraer nutzt Testwell CTC++ in DO-178C DAL A Projekten
"Testwell CTC++ automatisiert die Code-Instrumentierung sowie die Ausgabe der strukturellen Code Coverage in einem leicht verständlichen Report. Der Nutzer sieht so sofort, wo noch Tests gefahren werden müssen, um die gesamte Software hundertprozentig zu testen. Embraer hat Testwell CTC++ in den Continuous Verification Flow integriert", erklärt Joao Carlos Davison, Verantwortlicher für den Software Verifizierungsplan beim Flugzeugbauer.
Mateus Lucas Alves Ferreira, Produktentwicklungsingenieur bei Embraer bestätigt, dass die Installation und die kommandozeilenbasierte Nutzung des Tool Interfaces von Testwell CTC++ einfach und schnell erlernbar ist.
>Lesen Sie den vollständigen Kundenbericht hier
7. Static Analysis Day am 03.03.2020 in Offenburg - Jetzt anmelden!
Themen sind unter anderem:
• Statische Codeanalyse nur für kritische Software?
• SARIF – A New Standard for Facilitating Static Analysis Tool Integrations
• Static Analysis Found Problems (Again) - What Now?
• Auswahlkriterien für ein Werkzeug zur statischen Codeanalyse
Jetzt anmelden!
Verifysoft Technology - Der Imagefilm
Verifysoft Technology unterstützt Softwareentwicklungsprojekte weltweit mit erstklassigen Testwerkzeugen.
Hiermit werden Qualität und Produktivität der Computerprogramme in Luft- und Raumfahrt, Automotive, Medizintechnik und anderen Bereichen entscheidend erhöht.
Was bietet Verifysoft seinen über 600 Kunden in 40 Ländern?
Warum ist uns die Kundenzufriedenheit wichtiger als der schnelle Euro?
Weshalb ist uns eine positive Arbeitsatmosphäre wichtig?
Antworten gibt der Verifysoft-Imagefilm.
Imagix 4D: Version 9.2 mit verbessertem Pointer-Tracking und Change-Analyse verfügbar
Die neue Version bietet deutlich umfangreichere Datenflussanalysen und -diagramme sowie Sequenz-Diagramme der Kontrollfluss-Graphen. Ebenfalls sind leistungsfähige Tools für das Pointer-Tracking und die Change-Analyse in Projekten verfügbar.
Die Quellcode-Analyse wurde mit Features von C++14 und C++17 auf die letzten Versionen von MSVC 2019 und GCC 9 erweitert. Das Review-Tool untersützt jetzt die neueste Common Weakness Enumeration (CWE) 3.3 Checkliste.
Jetzt mehr erfahren
Software Quality Days 14.-17. Januar 2020 in Wien: Verifysoft bietet Ihnen 20% Rabatt
Erfahren Sie hier mehr zu den Software Quality Days.
Kontaktieren Sie uns und erhalten Sie mit unserem Gutschein-Code 20% Rabatt auf den jeweiligen Ticketpreis (gilt nicht in Kombination mit anderen Rabatten wie Mehrbucherrabatt, Anzahl der Plätze ist limitiert).
What is New in CodeSonar 5.2
In recent releases CodeSonar has been expanding its language coverage through the use of open standards and it has added support for Java, C#, Objective C and C++, Python as well as JavaScript to its arsenal.
This expansion expands the domain in which CodeSonar can help software teams perform Static Application Security Testing (SAST). Software teams from embedded to enterprise domains can use CodeSonar to improve the quality and security of their software.
In this webinar, we will present the new features of CodeSonar 5.2, then use a variety of different projects to demonstrate CodeSonar’s deep static analysis capability on the crazyflie quadcopter by BitCraze, on GnuChess, a desktop application in C/C++, an IoT Edge application as well as some additional code in Python and JavaScript. We will use Docker to run CodeSonar on these applications and view the warnings in both CodeSonar’s web GUI and visualization tool as well as in Microsoft Visual Code.
register hier
Das erfolgreiche Jahr 2019 neigt sich dem Ende zu -
Wir freuen uns auf das Jahr 2020 !
Wir wünschen Ihnen und Ihren Familien frohe Festtage und alles Gute für das neue Jahr.
Für 2020 freuen wir uns auf die Fortführung unserer guten Zusammenarbeit.
Ihr Verifysoft-Team
Termine
Di 17. Dezember 2019
• Kostenfreies Webinar: Code Coverage for safety-critical embedded targets
Di 17. Dezember 2019
• Seminar: Effiziente Unit-Tests für Embedded Systeme
Mi 29. Januar 2020
• Testwell CTC++ Training
Do 30. Januar 2020
• Kostenfreies Webinar: Refactoring mit Imagix 4D
Mi 12. Februar 2020
• Static Code Analysis Day 2020
Di 03. März 2020
• Testen von Embedded Software
Mi 01. April - Do 02. April 2020
Messen
• Software Quality Days 2020
14. - 17. Januar 2020 in Wien, Österreich
• Embedded World 2020
25. - 27. Februar 2020 in Nürnberg, Deutschland
Folgen Sie uns auf:
Mit freundlichen Grüßen,
Klaus Lambertz
Geschäftsführer
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz
Klaus Lambertz
Geschäftsführer
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz