AdaCore propose avec la suite GNAT Dynamic Analysis un ensemble de technologies d'analyse, de test, de vérification et de couverture de code pour aider les développeurs Ada à créer des logiciels sûrs et sécurisés et à respecter les procédures de sécurité et de qualité. L’idée est d’avoir à “portée de main” plusieurs approches de test dans un même flux de travail. Cette suite intègre pour ce faire dans un seul environnement les outils classiques de couverture de code et de test unitaire, mais aussi des technologies émergentes telles que le fuzz testing.
- Outil GNATtest, générateur de harnais de test automatisé pour Ada
- Outil GNATcoverage qui analyse et rend compte de la couverture des programmes Ada et C
- Artefacts de preuve d'analyse, de test et de vérification pour les exigences de certification des normes de sécurité logicielle de l'industrie
- Accès précoce aux technologies de cybersécurité émergentes, telles que le fuzzing, d’ores et déjà requises dans le cadre de la conformité DO-356 (Airworthiness Security Methods and Considerations)
- Suite disponible en tant qu'add-on aux abonnements GNAT Pro Enterprise et GNAT Pro Assurance, et utilisable avec toutes les versions du standard Ada, ainsi qu'avec le sous-ensemble SPARK Ada formellement analysable.
