Recommandé, mais difficile à mettre en place
Les normes demandent des tests back-to-back, mais mettre en place un harnais opérationnel pour le modèle et le code généré exige un réel effort.
BTC TestStack
Test back-to-back.
Démontrez automatiquement que le code de production généré se comporte comme le modèle — pour Simulink, dSPACE TargetLink et MathWorks Embedded Coder.
MILSILPILSimulinkdSPACE TargetLinkEmbedded Coder
Back-to-back · Controller_Rev4MIL vs SIL
Modèle · MIL
Controller.slx
Code · SIL / PIL
/* Controller_step */
void Controller_step(void) {
real32_T err = ref - fb;
real32_T u = Kp * err;
state = plant(state, u);
out = state;
fb = out;
}
dSPACE TargetLink et Embedded Coder
Comparer les sorties
torque_cmd142.8 ≡ 142.8
mode_outRUN ≡ RUN
1 284 échantillons comparésModèle ≡ code
Le défi
Démontrer que le modèle et le code concordent ne devrait pas être une tâche manuelle.
Les tests back-to-back sont recommandés par ISO 26262 et les normes associées de sécurité fonctionnelle. La question est simple : le code généré se comporte-t-il comme le modèle ? Y répondre manuellement ne l’est pas.
Des données de test manuelles partout
Générer suffisamment de stimuli et comparer les sorties de nombreux sous-systèmes est un travail manuel lent et répétitif.
Chaque modification du modèle relance l’ensemble
À chaque modification du modèle, vous régénérez, réexécutez et comparez de nouveau les deux côtés — un cycle complet à chaque itération.
La solution
100 % d’exhaustivité, 0 % d’effort manuel.
BTC TestStack exécute automatiquement le test back-to-back entre le modèle (MIL) et le code de production (SIL/PIL) dans un seul projet de test. Il extrait l’architecture de dSPACE TargetLink et MathWorks Embedded Coder, génère les cas de test, exécute les deux côtés et fournit le rapport comparatif — sans harnais manuel ni données de test rédigées à la main.
Architecture extraite pour vous
BTC TestStack lit directement l’architecture du modèle et du code dans TargetLink et Embedded Coder — aucun harnais à câbler manuellement.
Modèles de harnais générés à la volée
Pour les modèles volumineux, les modèles de harnais de test sont générés automatiquement : même les hiérarchies profondes s’exécutent sans configuration.
CI/CD
Exécution automatisée dans votre CI, avec une REST API polyvalente qui orchestre BTC TestStack sur une machine virtuelle, dans un conteneur Linux Docker ou via BTC TestStack × Cloud sur AWS.
Le flux de travail du test back-to-back
Automatique
Extraction de l’architecture
Interfaces et hiérarchie des sous-systèmes lues directement depuis le modèle.
Automatique
Génération de tests
Génération automatique de tests pour une couverture structurelle à 100 %, MC/DC comprise.
Exécuter les deux
Exécuter les deux côtés
Exécution sur le modèle · MIL
Exécution sur le code généré · SIL / PIL
Automatique
Comparer les résultats
Sorties concordantes échantillon par échantillon dans les tolérances définies.
Sortie
Rapport et différences
Rapport HTML mettant en évidence chaque échantillon pour lequel le code diverge du modèle.
Génération automatique de tests
Une couverture complète, générée par la technologie Model Checking.
Les cas de test qui pilotent une exécution back-to-back ne sont pas choisis au hasard. BTC TestStack utilise le Model Checking pour générer l’ensemble minimal de vecteurs qui atteignent chaque objectif de couverture — et pour démontrer quels objectifs sont inatteignables.
Générés, pas aléatoires
Le Model Checking dérive les cas de test de la structure elle-même : une couverture à 100 % est atteinte par construction, et non par hasard.
L’ensemble le plus réduit et le plus court
L’ensemble de cas de test le plus réduit et le plus court qui satisfait encore chaque objectif — moins de tests à exécuter, moins à réviser.
Inatteignable, et identifié comme tel
Une analyse dynamique distingue un objectif inatteignable d’un objectif simplement non testé : le code mort s’en trouve ainsi expliqué.
Contrôle des entrées et des paramètres.
L’accès direct aux entrées et aux paramètres révèle des comportements que les tests fonctionnels basés sur les exigences peuvent manquer.
Rapport back-to-back — Controller_Rev4 · build #482MIL vs SIL
Cas de test
24
générés · vérification de modèles
Modèle ≡ code
23 / 24
concordance dans la tolérance
Différences
1
signalé pour révision
Couverture MC/DC
100%
| Cas de test | Modèle (MIL) | Code (SIL) | Δ max. | Résultat |
|---|---|---|---|---|
| TC_01 | 142.80 | 142.80 | 0.0e0 | Concordance |
| TC_02 | RUN | RUN | — | Concordance |
| TC_03 | 0.0491 | 0.0491 | 2.1e-7 | Concordance |
| TC_04 | 88.20 | 88.21 | 1.0e-2 | Écart |
| TC_05 | -1.000 | -1.000 | 0.0e0 | Concordance |
Poursuivre l’exploration
Même technologie, autre question.
Les tests back-to-back, de régression et de migration s’exécutent tous à l’aide de la même technologie BTC TestStack — génération automatique de tests par Model Checking et comparaison structurelle.
Test de régression
« Une modification a-t-elle introduit une régression ? »
Montre que le logiciel conserve le comportement attendu après une modification — au niveau du modèle (MIL) ou du code (SIL/PIL). Exécution en un clic et rapport HTML.
MIL vs. MILSIL vs. SILnon-AUTOSAR vs. AUTOSAR
Test de migration
« Une mise à niveau d’outil a-t-elle modifié le comportement ? »
Montre qu’une nouvelle version d’outil — générateur de code, compilateur, outil de modélisation ou système d’exploitation — ne modifie pas le comportement. Jenkins exécute le flux de travail sur les différentes versions d’outils et de systèmes d’exploitation.
Nouvelle version de SimulinkNouvelle version de TargetLinkNouveau système d’exploitation
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.
Cas d’usage associés
La suite avec BTC TestStack.
Cas d’usage
Tests basés sur les exigences
Tests basés sur les exigences pour Simulink, TargetLink, Embedded Coder, code écrit à la main et généré par IA.
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
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.