Aviation Electronics: Verifysoft mit drei Voträgen über Software-Qualität für sicherheitskritische Anwendungen

Testwell CTC++ Test Coverage Analyser, GrammaTech CodeSonar und Imagix 4D werden sehr intensiv für die sicherheitskritische Softwareentwicklung eingesetzt. Die Werkzeuge decken die Anforderungen der Luftfahrt-Norm DO-178C ab und trafen daher auf großes Interesse seitens der Besucher der Aviation Electronic Europe / AST Testing in Aerospace in München.
Verifysoft war auf der Konfernez mit drei Vorträgen vertreten. Hier unsere YouTube-Videos der Präsenationen:
Code Coverage for Safety Critical Applications (Klaus Lambertz),
Imagix 4D: The Swiss Army Knife for Software (Jan-David Baltzer) und
From Compliance to Benefit: Combining Static and Dynamic Analysis (Dr. Sabine Poehler und Royd Lüdtke).

Insights Success: Verifysoft Technology unter den 10 besten Anbietern für Software-Testtools

Das Magazin Insights Success fokussiert sich vor allem auf aufstrebende Firmen sowie auf führende Unternehmen mit einem schnellen Wachstum, deren konfrontativen Geschäftsstil und ihrer Art effektive und kollaborative Lösungen anzubieten um ihren Marktanteil auszubauen. Verifysoft wurde nun von Insight Success als einer der 10 aussichtsreichsten Anbieter für Software-Testtools ausgezeichnet.
Seit der Gründung im Jahr 2003 hat Verifysoft einen Kundenstamm in über 40 Ländern weltweit aufgebaut und verzeichnete letztes Jahr ein Umsatzwachstum von mehr als 40%. Das Unternehmen sieht Software Testing als unabdingbar und rechnet mit einem weiteren großen Wachstum des Marktes. Verifysoft hat sich als einer der führenden Anbieter für effiziente und zuverlässige Tools zum Software Testing durchgesetzt. Ihr eigenes Tool, Testwell CTC++, ist selbst unter den ungünstigsten und herausforderndsten Umständen stets zuverlässig. Das Management von Verifysoft ist sich sicher, ein extrem gutes Produkt zu haben und setzt höchste Priorität auf die Kundenzufriedenheit.
Lesen Sie den vollständigen Artikel hier.

Imagix 4D: Das "Schweizer Taschenmesser" für die Software-Entwicklung

Imagix 4D ist ein sehr vielseitiges Tool und kann als Schweizer Taschenmesser für die Software-Entwicklung betrachtet werden. Das Werkzeug hilft, komplexe Software - inklusive Third-Party- und Legacy-Code - zu verstehen, zu dokumentieren und zu verbessern. Das Tool deckt die Programmiersprachen C, C++ und Java ab. Imagix 4D automatisiert die Analyse von Kontrollflüssen und Abhängigkeiten. Zusätzlich deckt das "Schweizer Taschenmesser für Software" Datenprobleme und Probleme bei Task Interactions auf. Entwicklerteams steigern mit Imagix 4D die Softwarequalität, verbesseern die Produktivität und reduzieren Risiken.
Sehen Sie jetzt auf YouTube die Produktpräsentation von David Baltzer (Spezialist für Statische Codeanalyse) auf der Aviation Electronics Europe in München.
Im Mai kam außerdem die neue Version Imagix 4D 9.1 raus.
Lesen Sie hier was Anwender über Imagix 4D sagen.

Verschiedene Seminare zum Softwaretesting und zum interkulturellen Management mit Martin Heininger

Unsere Nachfrage nach Seminaren wächst stetig. So haben wir dieses Jahr noch mehrere zusätzliche Termine sowie ein neues Seminar zum Thema Interkulturelles Management Indien am 23. Oktober 2018 in Offenburg. Im zweitägigen Seminar Testen von Embedded Software werden am 16. - 17. Oktober notwendige Kenntnisse vermittelt, um qualitativ hochwertige und zuverlässige Embedded Systems effizient und effektiv testen zu können. Weitere Schulungen sind:
ISO 26262 Anwendung der Norm im Projektalltag: 24. - 25. Oktober, Offenburg
Software Entwicklung nach IEC 61508: 24. + 25. Oktober 2018, Offenburg
Alle Seminare sind auch als Inhouseschulungen verfügbar.

Mit statischer Code-Analyse Performance-Flaschenhälse finden

Viele Performance-Probleme können bereits in einer sehr frühen Phase des Software Development Lifecycles gefunden werden. Je früher ein Flaschenhals erkannt wird, desto einfacher und kostengünstiger kann er auch beseitigt werden. Dazu eignet sich eine Methode, die eigentlich in jedem Entwicklungsteam vorhanden sein sollte: Die statische Code-Analyse.
Innerhalb der Software-Entwicklung spielt die Qualitätssicherung eine immer größere Rolle. Zurecht, denn mit der steigenden Kritikalität von Software – nicht zuletzt im Embedded-Bereich – müssen die funktionalen und nicht-funktionalen Anforderungen sowie die Sicherheit der Systeme auf hohem Niveau gewährleistet werden. Neben dem Testing hat sich die statische Code-Analyse als Methode etabliert, Fehler oder Abweichungen von Programmierstandards oder -richtlinien aufzuspüren.
Lesen Sie den vollständigen Artikel von Royd Lüdtke, Direktor für statische Codeanalyse bei Verifysoft, hier.

Termine

• Kostenfreies Webinar: Code Coverage für Embedded Targets
Dienstag, 24. Juli 2018
• Free Webinar: Why measuring code coverage can save life and a ton of money?
Mittwoch, 1. August 2018
• Seminar "Effiziente Unit-Tests für Embedded Systeme" in Offenburg
Dienstag, 9. Oktober 2018
• Testwell CTC++ Training
Mittwoch, 10. Oktober 2018
• Seminar "ISO 26262 – Anwendung der Norm im Projektalltag" in Offenburg
Di u. Mi 16. - 17. Oktober 2018
• Seminar "Software Entwicklung nach IEC 61508" in Offenburg
Mi u. Do 24. - 25. Oktober 2018
• Seminar "Testen von Embedded Software" in Schwendi/ Ulm
Mi u. Do 21. - 22. November 2018

Messen
• Embedded Conference Scandinavia 2018
6. - 7. November 2018 in Stockholm, Schweden
• Embedded Software Engineering Kongress (ESE) 2018
3. - 7. Dezember 2018 in Sindelfingen/Stuttgart
• Embedded World 2019
26. - 28. Februar 2019 in Nürnberg