AdaCore, fournisseur de confiance d'outils de développement et de vérification de logiciels, annonce aujourd’hui la disponibilité de sa nouvelle suite GNAT Dynamic Analysis – un ensemble puissant 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é.
« Après des dizaines d’années passées à aider nos clients à construire des systèmes logiciels critiques, nous savons que les flux de travail les plus réussis intègrent plusieurs approches de test », a déclaré Arnaud Charlet, Lead of Product Engineering chez AdaCore. « Notre nouvelle suite GNAT Dynamic Analysis fait exactement cela. Elle intègre dans un seul package nos outils de couverture de code et de test unitaire, mais aussi des technologies émergentes telles que le fuzz testing, qui est aujourd’hui dans la roadmap de court terme. »
Caractéristiques et avantages de la suite GNAT Dynamic Analysis :
- GNATtest, le générateur de harnais de test automatisé pour Ada.
- L'outil GNATcoverage qui analyse et rend compte de la couverture des programmes Ada et C.
- Des artefacts de preuve d'analyse, de test et de vérification qui 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).
- Un accès précoce aux technologies de cybersécurité émergentes, telles que le fuzzing.
Le fuzzing arrive !
Les techniques de fuzzing prennent de plus en plus d'importance à l'ère de la cybersécurité. Elles sont déjà requises dans le cadre de la conformité DO-356 (Airworthiness Security Methods and Considerations) et deviennent obligatoires dans le cadre des efforts nationaux visant à sécuriser la chaîne d'approvisionnement des logiciels. 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.
Inscrivez-vous ici pour recevoir des mises à jour sur notre nouvel outil de fuzzing.
Disponibilité
La suite GNAT Dynamic Analysis est disponible en tant qu'add-on aux abonnementsGNAT Pro Enterprise 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.
Contactez-nous dès aujourd'hui pour savoir ce que notre suite GNAT Dynamic Analysis peut faire pour vous !