Analyse de code statique : la suite d’Axivion suit de près les règles Misra C et s’adapte aux développements distribués

Qt Axivion Suite 7.6

Désormais dans le giron de l’éditeur d’environnements de développement Qt Group (voir notre article), la société allemande Axivion, fournisseur de solutions d'analyse de code statique et de protection contre l'érosion logicielle, fusionne aujourd’hui avec les solutions de le firme nordique.

Ainsi, la dernière version 7.6 d’Axivion Suite est désormais livrée avec des vérifications automatisées pour les règles de codage Misra les plus récentes, mais intègre également des règles spécifiques à Qt, avec en sus l’intégration de l’outil d'analyse qmllint, dont l'objet est de vérifier la validité syntaxique des fichiers QML de Qt.

Dans le détail, la suite Axivion contient un vérificateur Misra qui couvre quasiment 100% de toutes les règles Misra testables automatiquement. Pour suivre les dernières normes en date, la version 7.6 ajoute en outre des contrôles automatisés pour les règles et directives Misra C:2012 Amendement 3 et Misra C:2023.

Au-delà, cette suite d'outils d'analyse de code statique et de vérification d'architecture simplifie la configuration, en particulier pour les équipes réparties dans le monde entier avec des routines CI/CD (Continuous Integration/Continuous Development-Deployment) individuelles. Elle ajoute aussi une option permettant à l’environnement de développement intégré multiplateforme pour les langages C et C++ CLion, issu de la société Jetbrains et très répandu sur le terrain, d'effectuer des analyses sur des ordinateurs locaux.

Dans ce contexte, alors que les équipes distribuées collaboratives avaient besoin d'un accès centralisé à une base de données pour le partage de fichiers, la suite d’Axivion procure désormais un mode alternatif où seul le serveur Web accède à l'emplacement de la base de données.

Enfin signalons que pour faciliter l'utilisation de l’outil et accélérer le processus de test, l'interface graphique de configuration permet désormais de rechercher dans les noms d'options, avec des expressions régulières. Autant de caractéristiques qui renforcent le potentiel d’intégration de l’outil de manière transparente aux environnements de développement, aux infrastructures de test et aux processus CI/CD existants.