Un testeur virtuel piloté par l’IA qui automatise de bout en bout les tests HIL au niveau système et s’appuie sur nos méthodes formelles et symboliques pour rendre les résultats de l’IA dignes de confiance.
Niveau code · Unité et intégration · Pilotage par l’ingénieur
Niveau système (HIL) · Pilotage par l’agent · Digne de confiance
Les tests au niveau système et HIL (Hardware-in-the-Loop) restent aujourd’hui largement manuels, lents et exigeants en expertise. Les ingénieurs traduisent les exigences en tests à la main, préparent l’exécution et évaluent les résultats au cas par cas.
L’IA générative promet d’accélérer ce processus. Mais, à elle seule, elle n’est pas assez fiable pour une vérification liée à la sécurité : ses résultats peuvent être incomplets ou sembler plausibles tout en étant erronés.
BTC TestAgent comble cet écart. L’IA générative apporte rapidité et automatisation ; les méthodes formelles éprouvées apportent confiance et qualité, faisant évoluer les tests au niveau système vers une activité automatisée 24 h/24 et 7 j/7.
Vous fournissez les documents de spécification. L’agent prend ensuite le relais, étape par étape, et vous conservez le contrôle chaque fois que cela est nécessaire.
Lit les documents de spécifications et extrait automatiquement les exigences pertinentes.
Transforme les exigences informelles en exigences formelles et vérifiables automatiquement grâce à notre technologie Universal Pattern.
Identifie les éléments de couverture et génère des cas de test au cours d’un processus en plusieurs étapes, avec des contrôles automatisés d’exhaustivité et d’exactitude.
Les cas de test générés sont validés symboliquement avant leur exécution. Les résultats alimentent en retour la génération afin que les cas incomplets ou incorrects soient corrigés automatiquement.
Les cas de test validés sont exécutés sur le système sous test dans l’environnement HIL ou de simulation.
L’exécution est automatiquement évaluée par rapport aux exigences formalisées, avec un verdict clair, la couverture des exigences et une traçabilité complète.
Les résultats d’exécution et le verdict correspondant alimentent en retour le processus. L’agent apprend ainsi du comportement réel du système et améliore l’exécution suivante.
Les étapes s’exécutent automatiquement lorsque le niveau de confiance de l’agent est élevé. Lorsqu’il est faible, le système vous demande les informations manquantes et vous permet de guider manuellement l’étape.
Ajoutez des instructions ou contournez une étape en fournissant vos propres données d’entrée afin que le processus ne reste jamais bloqué.
La boucle de validation et la boucle d’exécution permettent à l’agent d’apprendre à la fois des résultats de vérification et des verdicts d’exécution réels, au cours d’une même exécution comme d’une exécution à l’autre.
Fournissez vos propres documents spécifiques au processus et au système pour découvrir l’agent dans votre environnement.
BTC TestAgent associe l’IA générative à nos méthodes symboliques afin de rendre les résultats de l’IA vérifiables et dignes de confiance.
Notre technologie de formalisation exprime les exigences sous forme de schémas précis et vérifiables. Elle constitue le fondement de la validation symbolique des cas de test comme de l’évaluation automatique des verdicts.
L’agent agit de manière autonome lorsque son niveau de confiance est suffisant et demande des précisions dans le cas contraire. Il associe ainsi la rapidité de l’automatisation au jugement des ingénieurs.
La formalisation, la validation symbolique et l’évaluation du verdict s’appuient sur la technologie de vérification formelle de BTC Embedded Systems, éprouvée depuis des années dans des projets critiques pour la sécurité.
La création et l’exécution des tests s’appuient sur l’API abstraite de dSPACE dédiée aux tests HIL, en cohérence avec les outils modernes de développement SDV.
BTC TestAgent comble cet écart. L’IA générative apporte rapidité et automatisation ; les méthodes formelles éprouvées apportent confiance et qualité, faisant évoluer les tests au niveau système vers une activité automatisée 24 h/24 et 7 j/7.