Tests pour l’analyse de la couverture du modèle

Créer automatiquement des cas de test pour une validation complète

« Tests d’analyse de la couverture du code » dans Simulink® Design Verifier™ fait référence au processus d’évaluation de l’exhaustivité du test d’un modèle Simulink en examinant les parties du modèle qui sont exécutées au cours de la simulation. Il s’agit d’une étape cruciale dans la vérification et la validation d’un modèle pour s’assurer que tous les aspects du design ont été appliqués et testés. L’analyse permet d’identifier les parties du modèle qui n’ont pas été testées et qui pourraient potentiellement mener à des erreurs ou à des bugs non détectés.

En effectuant une analyse de la couverture du modèle, vous pouvez :

  • Identifier les cas de tests manquants.

  • Améliorer la qualité et la fiabilité du modèle.

  • Assurer la conformité aux normes industrielles qui exigent des niveaux de couverture spécifiques.

Simulink Design Verifier intègre ces analyses au workflow des tests, en proposant des rapports détaillés et des visualisations pour vous aider à comprendre les insuffisances de couverture et à améliorer l’exhaustivité des tests.

Rubriques