Simulink Coverage
Mesurez la couverture de test dans les modèles et le code généré
Simulink Coverage™ exécute des analyses de couverture de modèle et de code qui mesurent l'état de réalisation des tests dans les modèles et le code généré. Il applique des métriques standard telles que les décisions, les conditions, la couverture des conditions/décisions modifiées (MC/DC) et la couverture des limites relationnelles, l'objectif étant d'évaluer l'efficacité des tests de simulation dans les modèles, ainsi que dans les environnements SIL (Software-in-the-loop) et PIL (Processor-in-the-loop). Vous pouvez utiliser les données de couverture manquantes pour identifier les failles dans les tests, les exigences manquantes ou les fonctionnalités 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é étudiée. Vous pouvez mettre en évidence les résultats de couverture dans des blocs et des sous-systèmes afin d'identifier les failles dans les tests. Pour évaluer l'état de réalisation des tests, vous pouvez cumuler des données de couverture provenant de plusieurs exécutions de 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é via le DO Qualification Kit et l'IEC Certification Kit.
Mesurer la couverture du code et du modèle
Évaluez l'exhaustivité de vos tests en mesurant les éléments du modèle et le code C/C++ étudiés pendant la simulation.
Couverture du modèle
Mesurez la proportion de votre design couverte par les tests de simulation afin d'évaluer l'efficacité des tests et leur exhaustivité. Une couverture incomplète indique des lacunes dans les tests, des exigences manquantes ou des fonctionnalités indésirables.
Examen des résultats de la couverture du modèle dans l'éditeur Simulink.
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, MCDC, limites relationnelles, plages de signaux, etc.
Choix parmi diverses métriques de couverture, y compris les MCDC
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.
Gestion et examen des résultats de couverture cumulés
Utilisez l'explorateur de résultats pour gérer et examiner les données de couverture cumulées pour l'ensemble des simulations et tests exécutés.
Sélection des simulations à utiliser pour l'analyse cumulée de la couverture.
Génération de 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.
Générez un rapport complet sur la couverture.
Traitement de la couverture manquante
Les modèles peuvent contenir des constructions qui empêchent une couverture complète des tests. En excluant ces constructions 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.
Définition de critères pour l'exclusion des éléments de modèle indésirables de l'analyse de couverture.
Nouveautés
Support des changements dans les tables d’interpolation
tenez compte des changements de valeur des breakpoints des tables d’interpolation dans les données de couverture
Visualisation de la couverture du modèle
Obtenez une meilleure vue des résultats de couverture grâce à la mise en surbrillance du modèle et aux fenêtres contextuelles dans l’éditeur Simulink
Support des simulations en parallèle
Accélérez l’analyse de la couverture grâce à la commande parsim
Support du code personnalisé dans Stateflow
Collectez la couverture des éléments de diagramme Stateflow où du code C/C++ est utilisé.
Support des blocs C Caller
Réalisez des analyses de couverture sur le code C/C++ personnalisé des modèles Simulink.
Reportez-vous aux notes de version pour en savoir plus sur ces fonctionnalités et les fonctions correspondantes.
Comment utiliser Simulink pour les projets ISO 26262
Découvrez comment le Model-Based Design avec Simulink vous permet de concevoir et de tester votre système automobile embarqué dans toute une série de conditions de conduite et de scénarios d'incident bien avant les terrains d'essai.