logo
Verifysoft Technology Newsletter Testing Solutions for your Productivity and Software Quality

No. 05/2019     Dezember 2019      

Lesen Sie in diesem Newsletter:

1 -Flugzeughersteller Embraer nutzt Testwell CTC++ in DO-178C DAL A Projekten
2 -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
Embraer

Flugzeughersteller Embraer nutzt Testwell CTC++ in DO-178C DAL A Projekten

Embraer, nach Airbus und Boing der drittgrößte Hersteller ziviler Flugzeuge, setzt auf Testwell CTC++ um die Anforderungen der Norm DO-178C bezüglich der Code Coverage zu erfüllen.
"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
SAD 2020

7. Static Analysis Day am 03.03.2020 in Offenburg - Jetzt anmelden!

Bereits zum 7. Mal findet im März 2020 der "Static Analysis Day" mit hochkarätigen Vorträgen von Spezialisten aus Deutschland und den USA statt.
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 - Der Imagefilm

Software ist heute nicht mehr wegzudenken. Aber wie wichtig ist die Softwarequalität und wie wird diese garantiert?
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 Screen

Imagix 4D: Version 9.2 mit verbessertem Pointer-Tracking und Change-Analyse verfügbar

Imagix 9.2 ist ab sofort als Download über die Imagix-Webseite für Windows und Linux (beide für 32 und 64 Bit) 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 Jänner 2020

Software Quality Days 14.-17. Januar 2020 in Wien: Verifysoft bietet Ihnen 20% Rabatt

Die vom 14. bis 17. Januar 2020 in Wien stattfindenden "Software Quality Days" ist die führende Konferenz für Software Qualität in Europa. In fünf Tracks werden anwendungsorientierte Erfahrungen und Vorträge, Tools und Dienstleistgungen anhand von Praxis-Beispielen sowie Beiträge mit hohem Innovationsgrad präsentiert. Im Solution Provider Forum zeigt Verifysoft wie Sie Ihre Codequalität mit Advanced Static Analysis verbesseern und Angriffe vermeiden. Ebenfalls zeigen wir, wie Sie Dank Toolunterstützung Third-Party- und Legacy-Code besser und schneller verstehen und Ihre Testabdeckung (Code Coverage) verbessern.
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).
GrammaTech CodeSOnar 5-2

What is New in CodeSonar 5.2

CodeSonar has been the preferred static analysis solution for software development teams building safety and security critical software built in C and C++.
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 !

Verifysoft Technology wird das Jahr 2019 mit einem neuen Rekordumsatz abschließen und ist jetzt bei über 600 Kunden in 38 Ländern auf allen Kontinenten vertreten. Wir sind stolz darauf, dass wir auch im ablaufenden Jahr dazu beitragen konnten, die Qualität und Sicherheit von Software zu verbessern. Da wir alle täglich mit Software zu tun haben, freuen wir uns, dass wir durch unsere Arbeit einen Beitrag zur Sicherheit und Lebensqualität aller leisten durften. Das Verifysoft-Team bedankt sich bei allen Kunden, Partnern und Lieferanten für die gute Zusammenarbeit im Jahr 2019.
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
Verifysoft Team
Verifysoft Events

Termine

• Kostenfreies Webinar: What is New in CodeSonar 5.2?
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:

Youtube
Twitter
LinkedIn

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

Newsletter-Anmeldung / Newsletter-Archiv


Newsletter-Archiv

Hier zum Newsletter anmelden