La version 18.1 des produits GNAT Pro, CodePeer, Spark Pro et QGen d’AdaCore renforce cette suite logicielle robuste pour aider les développeurs à construire des logiciels sûrs, sécurisés, fiables et de haute intégrité....
- GNAT Pro inclut la technologie de vérification Spark Discovery
- GNAT Pro Enterprise inclut GNATstack, outil d’analyse de piles logicielles
- Nouvelles règles dans le vérificateur de normes de codage GNATcheck
- Prise en charge de GNATcoverage pour les sondes Lauterbach
- Kit de qualification DO-178C pour CodePeer 18.1, outil d’analyse statique