Là où la confiance se construit dans tout votre code
BTC TestStack est la suite de test et de vérification destinée aux logiciels critiques pour la sécurité — basés sur des modèles, écrits à la main ou générés par l’IA — conçue pour l’ère du SDV et de l’IA.
basé sur des modèlesécrit à la mainGénéré par l’IA
Vérification aux niveaux unité et intégrationPowered by BTC QCore
BTC EmbeddedPlatform est désormais BTC TestStack. Les licences existantes continuent de fonctionner, avec de nombreuses nouvelles fonctionnalités pour les utilisateurs existants.
Certifié pour
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Ils nous font confiance
+100 entreprises
UN OUTIL — TOUT VOTRE CODE
Les logiciels ne s’écrivent plus d’une seule manière.
Au sein d’une même équipe d’ingénierie coexistent aujourd’hui des composants basés sur des modèles, du code C/C++ écrit à la main et, de plus en plus, du code généré par l’IA. BTC TestStack constitue le choix idéal pour tester tous ces types de code dans une même suite certifiée.
01
Basé sur des modèles
Modèles Simulink et code de production générés par dSPACE TargetLink ou Embedded Coder.
02
Écrit à la main
Pilotes, bibliothèques et logique d’intégration écrits directement en C/C++.
03
Généré par l’IA
Code créé par les assistants et agents directement à partir des spécifications.
TROIS ENVIRONNEMENTS
Intégré à votre environnement de travail
Une seule suite, trois points d’accès pour vos processus interactifs.
C/C++ écrit à la main et généré par l’IA
Vérification du code que vous écrivez – et du code écrit par l’IA.
Testez et vérifiez directement dans l’éditeur VS Code le code C/C++ écrit à la main ou généré par l’IA, avec notamment la prise en charge de Google Test.
01Tests unitaires et d’intégration de code C/C++ dans l’IDE
02Traçabilité avec les outils ALM/PLM de votre choix
03Analyse intégrée de la couverture de code, y compris MC/DC
Visual Studio Code · BTC TestStack
BTC TestStack × IA
Conçu pour l’ère de l’IA.
BTC TestStack s’intègre aux modèles d’IA de votre choix. Utilisez l’IA pour accélérer vos processus interactifs ou laissez l’IA prendre le contrôle et orchestrer vos processus de bout en bout.
Intégré
BTC AI Assistant
Une IA générative qui connaît votre système sous test.
Un assistant conversationnel intégré au processus. Il associe un modèle génératif au contexte que TestStack possède sur votre système sous test — interfaces, exigences, structure — afin de préparer les artefacts que vous devriez sinon rédiger à la main.
Génère des cas de test à partir des exigences et du contexte des interfaces
Transforme les exigences informelles en spécifications formalisées
Fonctionne avec les modèles d’IA de votre choix
Serveur MCP
Pour les agents IA
Simple à utiliser, par les humains comme par les agents IA.
Les actions qu’un ingénieur exécute dans l’IDE sont accessibles aux agents IA via un serveur MCP. Un agent peut générer des tests, lancer la vérification et en récupérer les résultats : la vérification reste ainsi intégrée au processus dans lequel l’agent travaille déjà.
Fonctions de BTC TestStack exposées comme outils MCP
Les agents génèrent et vérifient les artefacts, puis récupèrent les éléments de preuve
Prend en charge les assistants et frameworks d’agents qu’utilise votre équipe
Tous deux se rattachent à BTC TestStack
Une seule suite. De nombreux cas d’usage.
Des exigences à la couverture et à la preuve formelle, chaque flux de travail reste connecté.
Passez librement d’une chaîne d’outils à l’autre, entre systèmes de cycle de vie ALM/PLM, plateformes d’automatisation et interfaces d’IA.
Écosystème connecté
Chaînes d’outils
10 connexions prises en charge dans cette catégorie
Matlab/Simulink/Stateflow
dSPACE TargetLink
Embedded Coder
VS Code
AUTOSAR Classic & Adaptive
Lauterbach Trace32
iSystem winIDEA
Green Hills MULTI
PLS UDE
FMU
Confiance dans l’outil dès la prise en main
Certifié par TÜV Süd.
BTC TestStack — qui succède à BTC EmbeddedPlatform et comprend BTC EmbeddedTester BASE, BTC EmbeddedTester, BTC EmbeddedSpecifier et BTC EmbeddedValidator — a été certifié par l’organisme allemand TÜV SÜD comme apte à une utilisation dans des projets de développement de logiciels critiques pour la sécurité.
Le certificat porte sur des 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.
Pourquoi BTC TestStack
La valeur se concrétise à trois niveaux.
Une seule suite plutôt que plusieurs outils
Une même suite pour le code basé sur des modèles, écrit à la main ou généré par l’IA, plutôt que des outils et licences distincts ainsi qu’un temps de prise en main propre à chaque cas d’usage.
IA de confiance
L’IA accélère la génération de tests, le traitement des exigences et l’automatisation — mais les éléments de preuve continuent de provenir d’une vérification déterministe et certifiée. Votre équipe bénéficie de la productivité de l’IA sans faire reposer le dossier de sécurité sur elle.
Éléments de preuve intégrés pour les audits
Les composants certifiés par TÜV SÜD sont livrés avec leurs éléments de preuve, ce qui réduit le travail requis pour chacun de vos audits.
Feel the Quality
Commencez avec une licence d’évaluation.
Comprend un atelier de 2 heures avec nos ingénieurs, configuré avec votre propre code.
