Simulink Coverage

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

Vous avez des questions  ? Contacter un commercial.

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. Le software utilise des métriques standard telles que la décision, la condition, la couverture des conditions/décisions modifiées (MCDC) et la couverture des opérateurs relationnels pour é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 : soit des tests manquants, soit des exigences non couvertes par des tests, soit 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.

Capture d'écran des détails de couverture pour un bloc Simulink dans le canevas Simulink.

Couverture du modèle

Mesurez la part de votre design couverte par les tests de simulation pour évaluer l'efficacité et l'exhaustivité des tests. Analysez la couverture relevée lors des tests basés sur les exigences pour déterminer s'il y a des lacunes dans les tests, des exigences manquantes ou des fonctionnalités involontaires.

Comment étendre la couverture de modèles aux tests basés sur les exigences ? (5:31)

Documentation | Exemples

Couverture du code

Mesurez la couverture des tests en mode SIL (Software-in-the-Loop) et PIL (Processor-in-the-Loop) du code généré avec Embedded Coder, ou la couverture du code appelé dans les modèles Simulink.

Comment effectuer des tests comparatifs dans Simulink (2:14)

Documentation | Exemples

Capture d'écran des résultats agrégés de la couverture et case à cocher permettant de faire correspondre les résultats aux exigences.

Gérer les résultats agrégés de la couverture

Agrégez la couverture de plusieurs simulations. Affichez la couverture de test du système obtenue à partir des tests unitaires. Établissez des résultats en fonction des exigences liées pour éviter une couverture involontaire.

Comment analyser la couverture avec la traçabilité des cas de test. (2:23)

Documentation | Exemples

Métriques de couverture

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

Introduction à la métrique MCDC (6:03)

Documentation | Exemples

Capture d’écran du filtrage de la couverture manquante permettant de se concentrer sur ce que vous voulez tester.

Traiter la couverture manquante

Filtrez les constructions de modèle qui empêchent une couverture de test complète, comme les patterns de modélisation défensive, afin de vous concentrer sur le test d’autres parties de votre design.

Remédier aux couvertures manquantes (4:44)

Documentation | Exemples

Détails de la couverture, y compris la traçabilité vers les tests, issus d’un rapport détaillé.

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.

Documentation | Exemples

Ressources produits :

Documentation Exemples Vidéos Configuration requise Notes de version

FAQ sur Simulink Coverage

Tout afficher

Simulink Coverage effectue une analyse de couverture de modèles et de code qui mesure l'exhaustivité des tests dans les modèles et le code généré en utilisant des métriques standard de l'industrie.

Il prend en charge les métriques de couverture de décision, de condition, de couverture condition/décision modifiée (MC/DC), de couverture des limites relationnelles, de couverture de la plage de signaux et de couverture des tables de recherche.

Vous pouvez utiliser les données de couverture manquantes pour identifier des lacunes dans les tests, des exigences manquantes ou des fonctionnalités non intentionnelles dans vos modèles et dans le code généré.

Oui. Il mesure la couverture pour les tests software-in-the-loop (SIL) et processor-in-the-loop (PIL) du code généré avec Embedded Coder, ainsi que pour les S-Functions C/C++ et les fonctions MATLAB appelées depuis des modèles Simulink.

Oui. Vous pouvez accumuler les données de couverture issues de plusieurs simulations et consulter la couverture obtenue tant par les tests unitaires que par les tests système.

Il génère des rapports interactifs et met en évidence les résultats de couverture directement dans les blocs et les sous-systèmes afin de visualiser les lacunes des tests.

Oui. Vous pouvez appliquer des filtres pour exclure des blocs de la couverture et justifier les couvertures manquantes dans les rapports, par exemple pour des motifs de modélisation défensive. Corrige uniquement les erreurs terminologiques restantesFournis la version finale prête à copierVérifie la cohérence avec la terminologie MathWorks