GNAT Dynamic Analysis Suite für Ada

Die GNAT Dynamic Analysis Suite gibt Ada-Entwicklern eine Auswahl von Werkzeugen an die Hand, um sichere Software zu erstellen und interne Security- und Qualitätssicherungsverfahren zu erfüllen. Die folgenden Funktionen und Vorteile sind laut Hersteller Teil von AdaCores Softwarepaket:

• GNATtest, ein Generator zum Erstellen automatisierter Testverfahren für Ada.
• GNATcoverage, ein Tool, das die Code Coverage von Ada- und C-Code analysiert und einen entsprechenden Bericht generiert.
• Fundierte Analyse-, Test- und Verifizierungsnachweise, die die Zertifizierungsanforderungen für eine Vielzahl von Sicherheitsstandards für Industriesoftware erfüllen. Diese Funktionen sind als Option für Nutzer von GNAT Pro Assurance verfügbar.
• Early Access zu neuen Cybersecurity-Technologien wie Fuzzing.
• Fuzzing.

Fuzz-Testing, auch "Fuzzing" genannt, wird im Zeitalter der Cybersecurity immer wichtiger. Für die Einhaltung des DO-356-Standards (Airworthiness Security Methods and Considerations) ist Fuzz-Testing sogar vorgeschrieben und wird als Teil der nationalen Bemühungen zur Sicherung der Software-Supply-Chain Pflicht. AdaCore wird aller Voraussicht nach im zweiten Quartal 2022 die Beta-Version eines neuen Fuzzing-Tools für native Linux-Plattformen veröffentlichen, das für ausgewählte GNAT-Pro-Nutzer verfügbar sein soll."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", berichtet Arnaud Charlet, Lead of Product Engineering bei AdaCore. "Die neue GNAT Dynamic Analysis Suite integriert genau dafür unsere Code-Coverage- und Unit-Testing-Tools in einem Paket. Zudem erweitern wir es stetig mit neuen Technologien wie dem Fuzz-Testing, das auf der Roadmap ganz oben steht."Die GNAT Dynamic Analysis Suite ist ab sofort als Add-on für GNAT Pro Enterprise und GNAT Pro Assurance verfügbar. Sie ist kompatibel mit sämtlichen Versionen des Ada-Programmiersprachenstandards sowie mit dem formal analysierbaren Subset SPARK Ada. Manche Funktionen, etwa die strukturelle Code Coverage, unterstützen auch die Programmiersprache C.Weitere Informationen zu spezifischen Funktionen und Vorteilen der GNAT Dynamic Analysis Suite können hier angefordert werden.