L’éditeur d’outils de développement logiciel Qt Group publie une version de sa suite d'outils d'analyse de code statique et de vérification d'architecture Axivion qui se distingue par une couverture à 100% de toutes les règles Misra C automatiquement testables, ainsi que de l'essentiel de la nouvelle norme Misra C++. Dans le même temps cette suite d'outils étend sa prise en charge de l’environnement de débogage de code C/C++ CLion de l’éditeur Jetbrains, intègre la dernière interface de l’éditeur EDG C/C++ (Edison Design Group) et inclut des règles de sécurité spécifiques à Qt. Pour rappel, Axivion Suite de Qt Group (une technologie issue du rachat de l’allemand Axivion en 2022) est une suite d’outils d'analyse de code statique et de vérification d'architecture qui permet aux développeurs de logiciels embarqués de mieux garantir la qualité à long terme de leur code.

L'une des caractéristiques saillantes de ces outils est leur alignement cohérent avec les normes de sécurité logicielle les plus importantes, et les plus usitées sur le terrain, comme les spécifications Misra. Ainsi, le vérificateur Misra d'Axivion Suite 7.7 couvre, selon Qt, 100% de toutes les règles Misra C:2012 et Misra C:2023 automatiquement testables, ce qui autorise une prévention proactive des pannes liées aux logiciels.

Au-delà, en plus du support du plug-in de l’environnement CLion, Axivion Suite 7.7 introduit désormais l'analyse de fichiers dans CLion avec des composants de tableau de bord et une prise en charge de la construction locale. De plus, la suite d'outils ajoute la dernière interface d'analyseur EDG C/C++ (Edison Design Group) pour notamment garantir la compatibilité avec le compilateur GNU Compiler Collection (GCC) 13.1.

Enfin, Axivion Suite a pour ambition de rationaliser et d'accélérer les flux de développement et de test d’un projet grâce une nouvelle interface graphique de configuration qui gère directement et automatiquement les fichiers de configuration sans avoir recours au travail manuel dans un éditeur de texte.