Simulink Coverage

Mesurer la couverture de test dans les modèles et le code généré

Simulink Coverage™ mesure la couverture de modèle et de code qui renseigne sur le pourcentage de modèles et de code exécutés par un jeu de tests. Il utilise des métriques standard telles que la décision, la condition, la couverture des conditions/décisions modifiées (MC/DC) et la couverture des opérateurs relationnels, l'objectif étant d'évaluer l'efficacité des tests en simulation, ainsi qu’en mode SIL (Software-in-the-loop) et PIL (Processor-in-the-loop). Vous pouvez en déduire les parties non couvertes : des tests manquants, des exigences non couvertes par des tests, des parties non atteignables ou indésirables.

Simulink Coverage génère des rapports interactifs, qui indiquent quelle proportion de votre modèle, des S-functions C/C++, des fonctions MATLAB® et du code généré par Embedded Coder® a été exécutée. Vous pouvez remonter le résultat de couverture vers le modèle ou le code pour mettre en évidence des tests manquants. Pour évaluer la pertinence d’un jeu de tests, vous pouvez cumuler des données de couverture provenant de plusieurs exécutions de tests et visualiser la couverture obtenue par des tests unitaires et de système. Les résultats de la couverture peuvent être tracés vers les exigences et les tests. Vous pouvez appliquer des filtres afin d'exclure des blocs de la couverture et de justifier la couverture manquante dans les rapports.

Le support des normes industrielles est assuré par le DO Qualification Kit et l'IEC Certification Kit.

En savoir plus:

Mesurer la couverture du modèle et du code

Évaluez l'exhaustivité de vos tests en mesurant les éléments du modèle et du code C/C++ exécutés pendant la simulation.

Couverture du modèle

Mesurez la proportion du modèle couverte par les tests de simulation afin d'évaluer l'efficacité des tests et leur exhaustivité. Analysez la couverture recueillie lors de tests basés sur des exigences afin de déterminer s'il existe des lacunes dans les tests, des exigences manquantes ou des fonctionnalités indésirables.

Couverture du code

Mesurez la couverture des tests SIL (Software-in-the-loop) et PIL (Processor-in-the-loop) du code généré avec Embedded Coder ou de tout code appelé dans les modèles Simulink depuis des S-functions, du code personnalisé dans les graphiques Stateflow® et des blocs C Caller.

Visualisation de la couverture du code appelé depuis un bloc C Caller.

Métriques de couverture

Mesurez la couverture du modèle et du code pour toute une série de métriques : décisions, conditions, MC/DC, opérateurs relationnels, plages de signaux, etc.

Choisissez parmi diverses métriques de couverture, y compris les MC/DC.

Explorer les résultats et générer des rapports

Cumulez et rapportez les résultats de couverture sur plusieurs simulations. Traitez la couverture manquante.

Gérer et visualiser les résultats de couverture cumulés

Agrégez la couverture de plusieurs simulations. Affichez la couverture de test du système obtenue à partir des tests unitaires.

Analysez les résultats de couverture pour les tests unitaires et de système.

Générer des rapports de couverture

Générez des rapports détaillés exposant les résultats cumulés de la couverture sur les métriques sélectionnées. Affichez les détails de traçabilité des exigences pour les éléments et les tests de modèle.

Visualisez les données de traçabilité des exigences dans un rapport de couverture. 

Traiter la couverture manquante

Les modèles peuvent contenir des constructions qui empêchent une couverture complète des tests. En filtrant ces constructions pour les exclure des enregistrements et des rapports de couverture, vous pouvez vous concentrer sur les autres aspects de la couverture manquante qui peuvent et doivent être testés.

Ajoutez des règles de filtrage de couverture dans le Filter Editor.