Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige
Lesedauer 3 Min.

GNAT Dynamic Analysis Suite für Ada

AdaCore hat die Verfügbarkeit der neuen GNAT Dynamic Analysis Suite bekanntgegeben. Das Softwarepaket enthält eine Reihe von Code-Coverage-, Analyse-, Verifizierungs- und Testing-Tools für die Programmiersprache 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.

Neueste Beiträge

Managed DevOps Pools - Azure DevOps Pipelines Security
Agent Pools als Managed Service mit einfacher Integration in private Netzwerke und Authentisierung mittels Managed Identity tragen deutlich zur Sicherheit der Agent-Infrastruktur bei.
7 Minuten
7. Aug 2025
Arbeiten mit Tabellen und KI in Dataverse
Microsoft unterstützt die zentrale Datenmanagement-Lösung Dataverse in Power Apps mit KI-Features.
7 Minuten
6. Aug 2025
Browser-Apps mit Avalonia entwickeln - Avalonia
Klassische UI-Frameworks finden ihren Weg in den Browser
7 Minuten
11. Aug 2025
Miscellaneous

Das könnte Dich auch interessieren

Sicher ist sicher - Azure DevOps Pipelines Security
Als integraler Bestandteil der Entwicklungsumgebung ist Azure DevOps Pipelines oft Ziel von Angriffen. Da ist es gut zu wissen, wo die Schwachstellen des Systems liegen.
14 Minuten
16. Jun 2025
MuMu Player 11 (Beta): Emulator für Android 11 - NetEase
MuMu Player ist eine kostenlose Software, die Android-Geräte emuliert, so dass Spieler verschiedene mobile Spiele und Apps auf einem PC ausführen können. Der Player bietet Vulkan-Unterstützung für die Ausführung weiterer Spiele und bietet Bildraten von bis zu 120 FPS.
3 Minuten
26. Apr 2022
CodeProject.AI Server in neuer Version - Lokaler AI-Server
CodeProject.AI Server (jetzt in Version 2.1.10) ist ein lokal installierter, selbstgehosteter, schneller, kostenloser und Open Source Artificial Intelligence Server für jede Plattform und jede Sprache.
2 Minuten
Anzeige
Anzeige
Anzeige
Anzeige
Anzeige