Atteignez une couverture structurelle complète et transformez les exigences en cas de test — générés automatiquement par BTC TestStack.
Les tests dont vous avez besoin sont clairement définis — couverture structurelle complète, robustesse au niveau unitaire et tests basés sur les exigences. C’est leur production manuelle ou aléatoire qui concentre l’effort.
Sélectionner manuellement les entrées pour exercer chaque décision et chaque objectif MC/DC demande un réel effort, et certains objectifs sont tout simplement difficiles à atteindre par intuition.
La génération aléatoire ou basée sur la recherche produit de grands ensembles redondants — sans pouvoir distinguer une véritable lacune de couverture d’un objectif simplement inaccessible.
Transformer une exigence en langage naturel en cas de test exécutable — entrées, sorties attendues et traçabilité — est une tâche répétitive, qui recommence à chaque modification de l’exigence.
BTC TestStack génère automatiquement des tests pour chaque objectif essentiel — couverture structurelle, robustesse et exigences. Un moteur déterministe de vérification de modèles prend en charge la couverture et la robustesse, tandis que BTC AI Assistant transforme les exigences en cas de test exécutables.
Dérivés de la structure elle-même, les cas de test de couverture et de robustesse atteignent une couverture à 100 %, sont mathématiquement complets et reposent sur une technologie certifiée selon ISO 26262 et les normes associées.
Lit une exigence en langage naturel et propose un cas de test exécutable basé sur les exigences, que vous révisez avant son acceptation.
Lorsqu’une exigence est disponible sous une forme formelle lisible par machine, BTC TestStack l’utilise comme référence indépendante pour contrôler le résultat de l’IA. L’artefact généré est vérifié par rapport à cette exigence formelle, afin que le résultat puisse être considéré comme fiable sans étape de revue manuelle.
Trois objectifs pour la génération automatique de tests.
Génère les cas de test — valeurs d’entrée et paramètres — qui exercent chaque élément structurel accessible : instruction, décision, MC/DC et autres, sur le modèle ou le code.
Fondé sur la technologie Model Checking, le moteur de génération trouve le chemin le plus court vers l’objectif, puis fournit une preuve mathématique lorsque celui-ci est inaccessible. Ces tests sont utiles pour les tests back-to-back, les tests de régression, les tests de migration et l’analyse du code mort.
Détecte les erreurs d’exécution au niveau unitaire — division par zéro, conversions vers un type plus étroit, dépassement de tableaux et dépassement de plages de valeurs — en générant un cas de test qui démontre l’état défaillant.
Le résultat idéal est qu’aucun cas de test ne soit trouvé : cela prouve que l’état problématique ne peut pas être atteint. S’il peut l’être, vous obtenez le cas de test qui permet de le déboguer.
idx_buf @ ligne 213 → ouvrir le test pour le débogage
BTC AI Assistant transforme une exigence en cas de test exécutable basé sur les exigences — avec un mode brouillon soumis à votre revue avant acceptation — au niveau unitaire et d’intégration.
Le cas de test reste structuré, peut être soumis à revue et demeure traçable jusqu’à l’exigence.
est certifié ISO 26262
Le certificat répond aux normes de sécurité fonctionnelle dans plusieurs secteurs :
Pour ISO 26262, BTC TestStack est certifié selon le niveau de confiance dans l’outil (TCL) le plus élevé, valable pour tous les niveaux ASIL, y compris ASIL D. Sur demande, nous fournissons gratuitement le certificat et le rapport aux clients, ce qui supprime l’essentiel de leur effort de qualification des outils.
Dans BTC TestStack, la couverture du code est automatiquement calculée et mise à jour en arrière-plan.
Les tests back-to-back entre modèle et code sont fortement recommandés par la norme ISO 26262.
Tests basés sur les exigences pour Simulink, TargetLink, Embedded Coder, code écrit à la main et généré par IA.
La force de la preuve pour les systèmes critiques pour la sécurité.
Expliquez-nous où se situe réellement votre difficulté d’ingénierie. Nous vous indiquerons si la prochaine étape la plus pertinente est une licence d’évaluation, un atelier ou un échange.