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:
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.
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.
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.
