L’éditeur de logiciels de développement et de vérification de logiciels pour les systèmes de mission critiques, de sûreté et de sécurité lance une nouvelle suite d'analyse, de test, de vérification et de couverture de code pour les développeurs Ada.
GNAT Dynamic Analysis comprend différents modules. GNATtest est un générateur de harnais de test automatisé pour Ada. GNATcoverage analyse et rend compte de la couverture des programmes Ada et C. Des artefacts de preuve d'analyse, de test et de vérification satisfont aux exigences de certification d'une large gamme de normes de sécurité logicielle de l'industrie (disponible en option pour les clients de GNAT Pro Assurance).
Au deuxième trimestre 2022, AdaCore publiera la version bêta d'un nouvel outil de fuzzing pour les plateformes natives Linux, qui sera disponible pour certains clients GNAT Pro. La solution est un add-on pour les clients GNAT Pro Entreprise et GNAT Pro Assurance. Elle peut être utilisée avec toutes les versions du standard de langage Ada, ainsi qu'avec le sous-ensemble SPARK Ada formellement analysable. Certaines de ses fonctionnalités, telles que la couverture de code structurel, supportent également le langage C.
