Cas de test rédigés à la main
Chaque cas est saisi un champ à la fois, sans structure capable de détecter une valeur non valide.
BTC TestStack
Tests basés sur les exigences.
Dérivez directement les cas de test de vos exigences — pour Simulink, dSPACE TargetLink, Embedded Coder, le code écrit à la main et le code généré par l’IA.
SimulinkdSPACE TargetLinkEmbedded CoderC/C++ écrit à la mainCode généré par l’IA
Exigence · DOORS · REQ-142Tracée
Lorsque enable est activé, la sortie atteint progressivement target en 200 ms.
Cas de test liés
TC_07enable=true, target=80 → rampe ≤ 200 ms
TC_08enable=false → sortie maintenue à 0
Résultat synchronisé → DOORS2/2 vérifiés
Le défi
Les tests sont la partie la plus simple.
Écrire un cas de test est rapide. Maintenir chaque test relié à l’exigence qu’il vérifie — alors que les exigences évoluent, que le code est régénéré et que les audits approchent — concentre l’essentiel du travail. La plupart des équipes s’appuient pour cela sur des outils qui n’ont jamais été conçus à cette fin.
Une traçabilité qui se rompt
Une exigence change et les liens vers ses cas de test deviennent silencieusement obsolètes — personne ne sait quels tests doivent être réexaminés.
Des outils conçus pour autre chose
Feuilles de calcul, scripts et harnais développés en interne font office d’outil de test — jusqu’à ce qu’ils atteignent leurs limites.
Un débogage de plus en plus lent
À mesure que le projet grandit, reproduire un seul test en échec et le transmettre prend davantage de temps à chaque version.
La solution
Un flux de travail intégré, pas une accumulation d’outils.
BTC TestStack se connecte directement à Simulink, dSPACE TargetLink et MathWorks Embedded Coder, et configure pour vous le projet de test du code C écrit à la main — génération des bouchons et analyse du graphe d’appels comprises. Exigences, cas de test, résultats et couverture sont réunis au même endroit, avec l’appui de la certification ISO 26262.
Connexions natives aux outils
Intégration directe avec Simulink, TargetLink et Embedded Coder : testez le modèle et le code généré dans un même projet.
Configuration automatique du projet pour C/C++
Pour le code C/C++ écrit à la main, BTC TestStack analyse le graphe d’appels et génère les bouchons : vous partez d’un projet de test, et non d’un harnais vide.
Éléments de preuve issus de composants certifiés
Chaque résultat provient de composants certifiés par TÜV SÜD et est prêt à alimenter le dossier de sécurité associé à ISO 26262 et aux normes connexes.
Traçabilité des exigences
Traçabilité des exigences.
BTC TestStack se connecte à votre outil de gestion des exigences via son API — sans échange Excel ou ReqIF source d’erreurs. La liaison est bidirectionnelle : les cas de test et les résultats sont resynchronisés dans l’outil ALM/PLM.
Lorsqu’une exigence change, BTC TestStack la signale avec tous les cas de test associés et affiche précisément les différences — vous révisez ainsi les tests réellement concernés, et non l’ensemble de la suite.
Connecté à
IBM DOORSSiemens PolarionPTC IntegritycodeBeamerJamaSystemWeaver
La boucle de traçabilité
Importation initiale
ALM/PLM
Importer les exigences et la spécification de test
Rédiger les cas de test
Exécuter les cas de test
Réinjecter les résultats d’exécution des tests
Itérations
ALM/PLM
Mettre à jour les exigences et la spécification de test
Réviser et adapter les cas de test
Réexécuter les cas de test
Réinjecter les résultats d’exécution des tests
Conception des cas de test
Une conception des cas de test pensée pour les logiciels critiques pour la sécurité.
BTC TestComposer est un langage et un éditeur dédiés aux tests. Il connaît l’architecture de test complète et empêche par construction les saisies non valides — une énumération s’affiche comme une liste déroulante, et non comme un champ libre. Chaque cas de test est structuré, révisable et traçable jusqu’à son exigence : ce n’est pas un simple script qui exécute le code.
Générateur de signaux
Créez des signaux de stimulation — rampes, échelons, sinusoïdes — sans quitter le cas de test.
Visualiseur graphique
Visualisez ensemble, dans le temps, les entrées, les valeurs attendues et les valeurs réelles.
Gestion flexible des tolérances
Tolérances absolues, relatives et temporelles par signal — contrôlées automatiquement.
Éditeur de formules
Exprimez les valeurs attendues calculées sous forme de formules reposant sur d’autres signaux.
Macros de test
Éléments réutilisables contenant un ou plusieurs signaux et/ou paramètres.
Filtrage intelligent
Limitez l’affichage à ce qui compte — par exemple aux seuls signaux ou étapes en échec.
Vue des résultats intégrée
Les résultats de test sont représentés directement dans un tableau et un graphique — aucune étape d’exportation n’est nécessaire.
Jeux d’étalonnage réutilisables
Appliquez des jeux d’étalonnage nommés à plusieurs cas afin de maintenir la cohérence des paramètres partagés.
Génération de tests avec l’IA
Génération de tests avec l’IA.
BTC AI Assistant transforme directement une exigence en langage naturel en cas de test fonctionnel. Un chatbot intégré vous permet d’interroger chaque test généré — pourquoi une valeur a été choisie, ce qu’une étape vérifie — avant de l’accepter.
BTC AI Assistant
Exigence en langage naturel
« Lorsque enable est activé, la sortie atteint progressivement target en 200 ms. »
Cas de test généré
TC_07 — enable = true, target = 80 → rampe ≤ 200 ms
Demandez à l’assistant
« Pourquoi ce test utilise-t-il 80 comme valeur cible ? »
Couverture à trois niveaux
Une couverture à trois niveaux.
La couverture des exigences, du modèle et du code est suivie conjointement : toute lacune à un niveau devient visible par rapport aux autres.
Couverture des exigences
Les exigences couvertes par des cas de test et leur statut de réussite ou d’échec en MIL, SIL et PIL.
Couverture du modèle
Couverture Simulink et Stateflow, agrégée en remontant la hiérarchie du modèle.
Couverture du code
De la couverture des lignes de code à la couverture MC/DC, calculée et mise à jour automatiquement en arrière-plan.
Tableau de bord de couvertureMis à jour automatiquement
Exigences
100%
24/24 exigences · 0 échec
Modèle
96%
décision + condition · Stateflow
Code
99%
instructions 100 % · branches 98 % · MC/DC
Certifié
BTC TestStack
est certifié ISO 26262
Le certificat porte sur des normes de sécurité fonctionnelle de plusieurs secteurs :
ISO 26262
Automobile
IEC 61508-3:2010
Sécurité fonctionnelle industrielle / intersectorielle
ISO 25119
Machines agricoles et forestières
IEC 62304
Logiciel pour dispositifs médicaux
EN 50716
Applications ferroviaires
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.
Poursuivre l’exploration
Cas d’usage associés.
Cas d’usage
Couverture de code
Dans BTC TestStack, la couverture du code est automatiquement calculée et mise à jour en arrière-plan.
Cas d’usage
Test back-to-back
Les tests back-to-back entre modèle et code sont fortement recommandés par la norme ISO 26262.
Cas d’usage
Méthodes formelles
La force de la preuve pour les systèmes critiques pour la sécurité.
Feel the Quality
Échangez avec notre équipe d’ingénierie.
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.