GNAT Dynamic Analysis Suite veröffentlicht Umfangreiches Software-Paket für Ada

Development- und Verifikationsspezialist AdaCore hat seine neue GNAT Dynamic Analysis Suite auf den Markt gebracht. Sie enthält eine Reihe an Code-Coverage-, Analyse-, Verifizierungs- und Testing-Tools für die Programmiersprache Ada.

Anbieter zum Thema

PresseBox - unn | UNITED NEWS NETWORK GmbH

AdaCore

Die Suite umfasst mit GNATtest einen Generator zum Erstellen automatisierter Testverfahren für Ada. Ebenfalls an Bord ist GNATcoverage für die Analyse und Berichterstellung rund um die Code Coverage von Ada- und C-Code.

Die GNAT Dynamic Analysis Suite liefert laut AdaCore fundierte Analyse-, Test- und Verifizierungsnachweise, die Zertifizierungsanforderungen für eine Vielzahl an Sicherheitsstandards von Industriesoftware erfüllen. Entsprechende Funktionen sind als Option für die Nutzer von GNAT Pro Assurance verfügbar.

Fuzzing im Early Access

Neben der Software-Suite kündigte AdaCore auch die Beta-Version eines Fuzzing-Tools für native Linux-Plattformen an. Sie wird für ausgewählte GNAT-Pro-Nutzer voraussichtlich im zweiten Jahresquartal bereitstehen. Fuzz-Testing („Fuzzing“) gewinnt im Security-Bereich immer mehr an Bedeutung und ist zum Beispiel in der Luftfahrtindustrie für die Einhaltung des DO-356-Standards („Airworthiness Security Methods and Considerations“) bereits Pflicht. Gleiches ist für die Software-Supply-Chain bereits absehbar.

„Aus unserer jahrzehntelangen Erfahrung in der Unterstützung von Kunden bei der Entwicklung kritischer Softwaresysteme wissen wir, dass die erfolgreichsten Workflows mehr als einen Testing-Ansatz beinhalten“, erklärt Arnaud Charlet, Lead of Product Engineering von AdaCore. Die GNAT Dynamic Analysis Suite integriere zu diesem Zweck die Code-Coverage- und Unit-Testing-Tools des Anbieters in einem Paket. „Zudem erweitern wir es stetig mit neuen Technologien wie dem Fuzz-Testing, das auf der Roadmap ganz oben steht“, ergänzt Charlet.

Verfügbarkeit

Die GNAT Dynamic Analysis Suite ist ab sofort als Add-on für GNAT Pro Enterprise und GNAT Pro Assurance verfügbar. Sie ist zu sämtlichen Versionen des Ada-Programmiersprachenstandards sowie dem formal analysierbaren Subset SPARK Ada kompatibel. Teilweise wird auch die Programmiersprache C unterstützt.

(ID:48030142)