Simulink Coverage

 

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.

Version d’évaluation

Bénéficiez d'une version d'évaluation de 30 jours.

Télécharger

Prêt à acheter ?

Obtenez les tarifs et explorez les produits associés.

Vous êtes étudiant ?

Obtenez la version étudiante des logiciels MATLAB et Simulink.

En savoir plus