25. März 2020

Nr. 03/2020 März 2020
Wir sind auch in Zeiten von Corona kompetent für Sie da!
Sie erreichen uns weiterhin unter den gewohnten Telefonnummern, wir freuen uns auf Ihre Kontaktaufnahme.
Lesen Sie in diesem Newsletter:
1 -Version 9.1 von Testwell CTC++ erscheint2 -Static Analysis Day: Wissenswertes zur Statischen Codeanalyse
3 -Embedded World 2020: Safety und Security für Embedded Software mit Tools von Verifysoft Technology
4 -SAEC Days in München - Verschoben auf Juli 2020
5 -Neues Whitepaper: Bessere Software durch statische Analyse
6 -Termine

Version 9.1 von Testwell CTC++ erscheint
Verbesserte Build-Integration unter Windows
Mit dem Tool ctclaunch wird eine völlig neue Methode zur Verfügung gestellt, Testwell CTC++ in Buildsysteme wie CMake oder MSBuild zu integrieren. Sie eignet sich insbesondere für den Einsatz auf Buildservern, auf denen im Parallelbetrieb instrumentierte und nichtinstrumentierte Builds erzeugt werden sollen.
Neue Hilfe
Der bisherige User Guide wird durch eine HTML-basierte Hilfe ersetzt. Verifysoft verfolgt damit zwei Ziele: Alle Informationen sollen einfacher zugänglich sein, gleichzeitig soll aber die inhaltliche Tiefe des User Guides für erfahrene Benutzer bewahrt werden.

Static Analysis Day: Wissenswertes zur Statischen Codeanalyse
Statische Analyse ist für sicherheitskritische Software vorgeschrieben – hat aber auch einen enormen Nutzen für jede andere Software, wie Royd Lüdtke in seiner Einführungspräsentation erläuterte.
Dr. Paul Anderson zeigte, wie statische Analysetools mit Hilfe von SARIF (Static Analysis Results Interchange Format) mit anderen Tools in DevOps- oder SecOps-Umgebungen integriert werden und damit die Effizienz der Analysen erhöht wird.
Die Beurteilung von Auswirkungen notwendiger Codeänderungen bedarf einer umfassenden Sicht auf die Software. Dr. Guido Persch zeigte, wie Tools hierbei unterstützen.
Zum Abschluss gab es noch wertvolle Tipps für die Auswahl eines statischen Analysewerkzeugs.
Sie haben den SAD verpasst oder möchten die Vorträge noch einmal anhören? Einige Präsentationen sind jetzt als Folien bzw. Videos online.
Hier mehr erfahren.

Embedded World 2020: Safety und Security für Embedded Software mit Tools von Verifysoft Technology
Verifysoft war mit einem elfköpfigen Team in Nürnberg vertreten und stellte folgende Tools vor:
Testwell CTC++ Test Coverage Analyser: problemlos auch bei kleinsten Targets
Statische Codeanalyse mit GrammaTech CodeSonar: enorme Steigerung der Softwarequalität
Imagix 4D: Durchblick auch bei unbekanntem Code
Mehr erfahren / Hier Video ansehen

SAEC Days in München - Verschoben auf Juli 2020
Treffen Sie uns an unserem Messestand und besuchen Sie unsere Vorträge zum Thema Code Coverage:
- Code-Coverage - ein Überblick (Roland Person, Technischer Kundenberater, Verifysoft Technology)
Dieser Vortrag vermittelt einen Einstieg in das Thema "Code Coverage". Zunächst werden die gängigen Code-Coverage-Maße erläutert und danach in Bezug zu Sicherheitsnormen aus verschiedenen Branchen gebracht. Der Vortrag geht auch auf die Bedeutung der Messung von Code Coverage jenseits der Anforderung aus den Normen ein und gibt Hinweise zur Auswahl geeigneter Tools.
- Code Coverage trotz pragmatischem Geräteagnostizismus (Sebastian Götzinger, IT-Trainer, Verifysoft Technology)
Bei der Entwicklung von embedded Software ist oft nicht sicher auf welchem Gerät diese letztendlich laufen wird. Wie kann man dieser "Geräteagnostik" begegnen und welche praktischen Schritte sind hierfür erforderlich? Der Vortrag zeigt, wie sogar bei einem eher heterogenem System Code Coverage ermittelt werden kann.
Jetzt mehr erfahren

Neues Whitepaper: Bessere Software durch statische Analyse
Holen Sie sich das Whitepaper „Erweiterte Statische Code-Analyse für C/C++“ und erfahren Sie, wie die statische Analyse Ihre Anwendungen sicherer und zuverlässiger macht.
Download hier.

Termine
Dienstag, 14. April 2020
• Kostenfreies Webinar: Refactoring mit Imagix 4D
Mittwoch, 13. Mai 2020
• Seminar: Testen von Embedded Software
Mittwoch, 30. September - Donnerstag, 01. Oktober 2020
Messen
• SAEC Days 2020
21. - 23. Juli 2020 in München
• Embedded Software Engineering Kongress (ESE) 2020
30. November - 4. Dezember 2020 in Sindelfingen/Stuttgart
• Embedded World 2021
2. - 4. März 2021 in Nürnberg
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