Die GNAT Dynamic Analysis Suite stellt Ada-Entwicklern Werkzeuge zur Verfügung, um sichere Software zu erstellen und interne Security- und Qualitätssicherungsverfahren zu erfüllen.
Das Softwarepaket umfasst:
- GNATtest: Generator zum Erstellen automatisierter Testverfahren für Ada
- GNATcoverage: Tool, das die Code Coverage von Ada- und C-Code analysiert und einen entsprechenden Bericht generiert
- Analyse-, Test- und Verifizierungsnachweise, die die Zertifizierungs-Anforderungen 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
Wozu dient Fuzzing?
Fuzz-Testing - auch „Fuzzing“ genannt - wird Zusammenhang mit Cybersecurity wichtiger. Für die Einhaltung des DO-356-Standards (Airworthiness Security Methods and Considerations) ist Fuzz-Testing bereits vorgeschrieben und wird als Teil der nationalen Bemühungen zur Sicherung der Software-Supply-Chain Pflicht. AdaCore wird voraussichtlich im zweiten Quartal 2022 die Beta-Version eines Fuzzing-Tools für native Linux-Plattformen veröffentlichen, das für ausgewählte GNAT-Pro-Nutzer verfügbar sein wird.
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 kompatibel mit sämtlichen Versionen des Ada-Programmiersprachen-Standards sowie mit dem formal analysierbaren Subset SPARK Ada. Manche Funktionen, etwa die strukturelle Code Coverage, unterstützen auch die Programmiersprache C.