De la configuration aux résultats en quelques minutes.
static bool handle_overcurrent(void){if (current_mA > MOTOR_MAX_CURRENT_MA){fault_status.overcurrent = true;motor_set_state(MOTOR_STATE_FAULT);log_event(EVENT_OVERCURRENT_FAULT);return true;}return false;Les développeurs sont désormais responsables de la qualité, mais les outils permettant d’en apporter la preuve ne les ont pas suivis jusque dans l’IDE. Trois lacunes se manifestent au quotidien.
Chaque contrôle de couverture, mise à jour de la traçabilité ou revue des résultats oblige à quitter VS Code, à composer avec une chaîne gcov/lcov/gcovr, puis à retrouver le fil du travail. Le test devient une tâche distincte au lieu de faire partie intégrante de l’écriture du code.
Le coût de correction d’un défaut est minimal au moment où il est introduit, mais le retour d’information n’arrive souvent que plusieurs jours plus tard, lors d’un cycle d’assurance qualité ou d’un build nocturne. À mesure que l’IA produit du C/C++ plus vite que les équipes ne peuvent le relire, cet écart ne fait que se creuser.
gcov, lcov et gcovr fournissent des valeurs de couverture, mais pas les éléments de preuve nécessaires à la qualification selon ISO 26262. L’assemblage de cinq outils open source forme une chaîne d’outils non validée qui s’arrête aux lignes de code et aux branches — sans couverture des Conditions ni MC/DC.
Des tests C/C++ professionnels qui se déroulent là où vous travaillez déjà, avec un processus qualifié derrière chaque résultat.
Couverture et création de stubs en un clic, surlignage en temps réel dans l’éditeur et débogage : tout est déclenché depuis VS Code, sans outil ni exécution séparés.
Les résultats de couverture et de robustesse apparaissent progressivement dans l’éditeur, sans configuration de build à maintenir. Les mêmes tests s’exécutent directement dans la CI.
Couverture des lignes de code jusqu’à MC/DC, matrice de traçabilité générée automatiquement et résultats consignés dans votre outil de gestion des exigences.
Six capacités, un seul client et aucun changement de contexte hors de l’éditeur.
Importez et reliez les exigences, puis réintégrez les résultats des tests dans VS Code. Les connexions à DOORS, Polarion, Jama, codeBeamer et SystemWeaver propagent directement toute modification d’une exigence aux tests associés.
heatingCoil = high;leds[0] = 1;leds[1] = 1;leds[2] = 1;} else if (state.temperatureStage == 2) {}Couverture en un clic des lignes de code, décisions, conditions, MC/DC, fonctions, opérateurs relationnels et branches switch/case, mise en évidence directement dans l’éditeur avec une analyse détaillée par ligne et par test.
Les fonctions et variables manquantes sont automatiquement remplacées par des stubs, chacun pouvant être adapté pour modéliser le comportement requis par un test.
static void handle_overcurrent(void){if (current_mA > MOTOR_MAX_CURRENT_MA){fault_status.overcurrent = true;motor_set_state(MOTOR_STATE_FAULT);}Définissez des points d’arrêt et parcourez le code pas à pas dans VS Code, avec les informations de couverture affichées en regard.
Rapports HTML couvrant les résultats des tests, les chiffres de couverture et les graphiques de comportement, prêts pour une revue ou un dossier de sécurité.
C et C++ standard, AUTOSAR Classic et AUTOSAR Adaptive, avec génération automatique du code des stubs et des harnais de test RTE ou ara::com.
Les technologies de Model Checking et de couverture de BTC TestStack sont déterministes, que le code testé ait été écrit à la main ou proposé par un assistant IA. La solution est conçue pour GitHub Copilot, accessible à tout agent via un serveur BTC MCP et ouverte aux modèles que votre équipe utilise déjà.
La couverture apparaît dans l’éditeur au fur et à mesure que vous écrivez, au lieu d’une exécution manuelle gcov/lcov/gcovr après coup.
Aucun répertoire de build à maintenir, aucun script propre à chaque cible. Le système est prêt en quelques minutes, pas en plusieurs jours.
Généré automatiquement à mesure que les exigences sont liées, et non assemblé au moyen de scripts spécifiques.
Un processus qualifié derrière chaque résultat, et non un assemblage de cinq outils open source.
Chaque mesure de couverture fournie par BTC TestStack, y compris MC/DC, repose sur un processus d’outil qualifié et ne se résume pas à une valeur chiffrée.
Le même certificat TÜV SÜD couvre également IEC 61508-3, ISO 25119, IEC 62304 et EN 50716 — il est fourni gratuitement avec chaque licence.
BTC TestStack prend en charge les chaînes d’outils GCC et MSVC sous Windows et Linux.
est certifié ISO 26262
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.
La même suite certifiée est également accessible dans d’autres environnements et couvre les cas d’usage ci-dessous.
Testez le modèle et le code généré dans un même flux de travail natif de Simulink.
Exécutez des charges de travail de test et de vérification à l’échelle de votre pipeline, dans le navigateur.
La licence comprend un atelier de prise en main de deux heures avec nos ingénieurs, configuré de bout en bout pour votre propre code C/C++.