TrustInSoft renforce son analyseur TISA avec des avancées IA pour simplifier la vérification logicielle critique
Une nouvelle version pensée pour l’efficacité, la précision et la conformité
TrustInSoft annonce la sortie d’avril 2026 de TrustInSoft Analyzer (TISA), intégrant des améliorations majeures destinées à simplifier l’usage, renforcer la puissance de vérification et accélérer la conformité aux normes critiques.
Cette version introduit notamment :
- la génération automatique pilotée par IA de stubs et drivers de test,
- une intégration Rust complète dans l’interface graphique,
- une analyse MC/DC reposant sur des méthodes formelles, unique sur le marché.
Caroline Guillaume, CEO de TrustInSoft, souligne : « En combinant efficacité de l’IA et précision des méthodes formelles, nous donnons aux équipes un avantage incomparable pour la vérification C, C++ et Rust à grande échelle. »
Génération de stubs et drivers de test par IA : un gain de temps décisif
La nouvelle fonctionnalité IA permet :
- configuration en un clic,
- génération instantanée de stubs et drivers context‑aware,
- réduction drastique de l’effort d’analyse,
- maintien de la cohérence et de l’exactitude requises par les normes de sûreté.
Ce module IA apporte une automatisation fiable pour accélérer :
- la création de harness de test,
- la préparation de campagnes d’analyse,
- l’onboarding des équipes moins expertes.
Rust : une expérience graphique complète pour un usage production
La mise à jour intègre désormais tout le workflow Rust dans l’interface utilisateur :
- configuration du projet,
- investigation des causes racines,
- génération de rapports,
- visualisation des traces et alertes.
Un pas important vers une adoption Rust à grande échelle dans les systèmes critiques.
Analyse MC/DC via méthodes formelles : vers une conformité simplifiée
Grâce à la généralisation d’entrées basée sur des méthodes formelles, TISA permet désormais :
- d’obtenir la couverture MC/DC sans multiplier les campagnes de test,
- de réduire massivement l’effort de vérification,
- de s’approcher de la conformité ISO 26262 et normes équivalentes,
- de garantir une exhaustivité mathématique inatteignable avec les approches classiques.
Cette fonctionnalité constitue un atout majeur pour l’automobile, la défense, l’aérospatial et l’IoT critique.
Cette information combine :
- l’automatisation de l’IA,
- la rigueur des méthodes formelles,
- une prise en charge accrue des langages modernes,
- une simplification de la conformité fonctionnelle.
La release d’avril 2026 fait de TrustInSoft Analyzer une plateforme encore plus robuste pour les projets nécessitant une fiabilité absolue.
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :
