AdaCore veröffentlicht GNAT Dynamic Analysis Suite

EMBEDDED SYSTEMS

Das Softwarepaket GNAT Dynamic Analysis Suite von Ada beinhaltet Code-Coverage-, Analyse-, Verifizierungs- und Testing-Tools für die Programmiersprache Ada.



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.

Fachartikel