Testez votre modèle et le code de production généré dans un seul flux de travail, avec la prise en charge intégrée de dSPACE TargetLink et MathWorks Embedded Coder.
Des cycles de livraison plus rapides transfèrent les tests des équipes spécialisées vers les développeurs. Par le passé, tester dans Simulink consistait souvent à essayer manuellement différentes entrées dans un modèle, sans traçabilité vers les exigences, sans automatisation et sans possibilité de réutiliser les cas de test sur le code généré ou dans un pipeline CI.
1
Essais et erreurs manuels
Tester manuellement les entrées du modèle, une par une.
2
Aucune traçabilité des exigences
Les tests ne sont pas liés aux exigences qu’ils vérifient.
3
Pas d’automatisation ni de réutilisation
Les cas de test ne peuvent pas être réutilisés sur le code généré ni dans un pipeline CI.
La solution
Développement piloté par les tests, directement dans Simulink.
BTC TestStack apporte directement à vos modèles Simulink des capacités certifiées de test et de vérification. Réalisez des tests basés sur les exigences, des tests back-to-back et des analyses de couverture aux niveaux MIL, SIL et PIL, dans un projet unique qui comprend à la fois le modèle et le code généré. Les harnais de test sont créés et tenus à jour pour vous.
Intégration Simulink
Créer, exécuter et déboguer sur place
Configurez et exécutez les tests depuis le ruban Simulink, puis parcourez pas à pas les échecs directement sur le modèle d’origine.
MIL/SIL/PIL
Modèle et code, un projet
Exécutez les mêmes tests sur le modèle et le code généré, puis démontrez qu’ils présentent le même comportement.
Aucun harnais de test manuel
Des harnais de test gérés pour vous
Les harnais de test sont générés et maintenus en arrière-plan ; ils suivent l’évolution du modèle.
Capacités
Tout ce dont vous avez besoin pour les tests unitaires et d’intégration, au même endroit.
Sept capacités, un projet, aucune chaîne d’outils distincte.
Gestion des tests01
BTC TestCase Manager
Une interface web avec des tableaux triables, filtrables et regroupables, des raccourcis clavier configurables et des vues personnalisées enregistrées.
Exécution02
Exécuter et déboguer sur le modèle
Exécutez et parcourez les tests pas à pas sur le modèle Simulink d’origine afin d’accélérer les itérations pilotées par les tests.
Tests back-to-back03
Modèle vs code, automatiquement
Comparez MIL avec SIL et PIL, avec l’architecture de test extraite automatiquement de TargetLink ou Embedded Coder.
Génération automatique de tests04
En fonction des exigences ou de la couverture
BTC TestStack génère automatiquement des cas de test, soit à partir de vos exigences, soit pour combler les lacunes de couverture structurelle.
Couverture de code05
Des simples lignes de code au MC/DC
Couverture structurelle et de robustesse, mise à jour automatiquement à mesure que les tests et le code évoluent.
AUTOSAR06
Modèles d’enveloppe générés automatiquement
Génération automatique de modèles d’enveloppe, y compris l’ordonnancement et les stubs client/serveur.
Traçabilité des exigences07
Intégration ALM/PLM
Traçabilité bidirectionnelle des exigences et des tests avec IBM DOORS, Siemens Polarion, PTC Integrity, codeBeamer, Jama et SystemWeaver.
BTC TestStack × IA
Conçu pour l’ère de l’IA.
BTC TestStack se connecte aux modèles d’IA de votre choix. Utilisez l’IA pour accélérer vos flux de travail interactifs, ou laissez l’IA prendre le contrôle et orchestrer vos flux de travail 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 flux de travail. Il associe un modèle génératif aux informations contextuelles dont TestStack dispose sur votre système sous test — interfaces, exigences et structure — afin d’élaborer les artefacts que vous devriez autrement rédiger à la main.
Élabore des cas de test à partir des exigences et du contexte des interfaces
Transforme les exigences informelles en spécifications formalisées
Fonctionne avec vos modèles d’IA préférés
Serveur MCP
Pour les agents IA
Facile à utiliser par les humains comme par les agents IA.
Les mêmes actions qu’un ingénieur exécute dans l’IDE sont mises à la disposition des agents IA par l’intermédiaire d’un serveur MCP. Un agent peut générer des tests, lancer la vérification et récupérer les résultats ; la vérification reste ainsi intégrée à son cycle de travail.
Actions de BTC TestStack mises à disposition sous forme d’outils MCP
Les agents génèrent les tests, les vérifient et récupèrent les éléments de preuve
Fonctionne avec les assistants et les frameworks d’agents utilisés par votre équipe
Tous deux se connectent à BTC TestStack
Ce que vous y gagnez
Cinq étapes du flux de travail sont raccourcies.
1
Un projet pour le modèle et le code
Le modèle et son code généré sont réunis dans un même projet et testés avec un même jeu de tests.
2
Aucun harnais de test manuel
Les harnais de test sont créés et maintenus pour vous ; ils suivent l’évolution du modèle.
3
Éléments de preuve certifiés
Les résultats sont produits par des composants certifiés par TÜV SÜD pour ISO 26262 et les normes de sécurité connexes de différents secteurs.
4
Itération rapide
Exécutez et déboguez directement sur le modèle : un test en échec renvoie ainsi immédiatement au bloc concerné.
5
Couverture automatique
La couverture, des instructions à MC/DC, se met automatiquement à jour lorsque les tests ou le code changent.
Certifié
BTC TestStack
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.
Poursuivre l’exploration
Une seule suite, plusieurs points d’accès.
La même suite certifiée est également accessible dans d’autres environnements et couvre les cas d’usage ci-dessous.
