La société française TrustInSoft, éditeur d'outils d'analyse de code et de vérification formelle pour la sécurité des logiciels, indique apporter à son outil TrustInSoft Analyzer (TISA), dans sa version 2026, des améliorations conçues pour optimiser la productivité du développement de logiciels critiques et de sécurité, grâce notamment à l’apport d’algorithmes d’intelligence artificielle (IA) .

Cette version de TrustInSoft Analyzer intègre en particulier la génération de pilotes de test et de stubs (code qui n'effectue aucun traitement et retourne toujours le même résultat) générés grâce à l’IA, une analyse de couverture MC/DC (Modified Condition / Decision Coverage) optimisée fondée sur des méthodes formelles, ainsi qu'une prise en charge étendue du langage Rust grâce à une interface graphique adaptée.

Selon TrusInSoft, ces améliorations favorisent une adoption plus large de la vérification formelle rigoureuse, prouvée mathématiquement, au sein des équipes de développement. 

Dans le détail, les pilotes de test et les stubs contextuels peuvent désormais être générés automatiquement grâce à l'IA, ce qui réduit l'effort de configuration de l'analyse tout en préservant la rigueur requise pour la vérification de la certification des systèmes critiques. 

En ce qui concerne le langage Rust, grâce à une interface graphique optimisée, les flux de travail d'analyse d’un code écrit en Rust - de la configuration du projet à l'analyse des causes profondes et à la génération de rapports - sont désormais entièrement visibles sur l'interface graphique de TrustInSoft Analyzer. Avec à la clé une prise en charge de la la vérification d’un code Rust de niveau production à l'aide de méthodes formelles.

Enfin, côté analyse de la couverture MC/DC à l'aide de méthodes formelles, la version 2026 de TrsutInSot Analyser autorise la conformité du code grâce à la généralisation des entrées fondées sur des méthodes formelles, réduisant ainsi l'effort de vérification pour les normes telles que l'ISO 26262, massivement utilisée dans l’automobile.

« TrustInSoft Analyzer offre un niveau de garanties unique grâce à l'utilisation de méthodes formelles robustes, une approche qui s'intègre naturellement à l’IA, précise Caroline Guillaume, PDG de TrustInSoft. En combinant l'efficacité de l'IA à la “mesurabilité” et à la précision des méthodes formelles, les équipes de développement des secteurs de l'IoT, de l'automobile, de l'aéronautique et de la défense peuvent optimiser l'assurance qualité de leur code écrit en C, C++ et en Rust tout en conservant le niveau de confiance requis pour les logiciels critiques. »

In fine, cette vérification assistée par une IA fiable permet aux équipes de développement, selon TrusInSoft, de réduire les interventions manuelles tout en préservant le déterminisme, la "mesurabilité" et la conformité aux normes industrielles.