Simulink Coverage

NOUVEAU PRODUIT

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 standards 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 lacunes 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 surligner les résultats de couverture dans les blocs et sous-systèmes afin d'identifier les lacunes 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 test. Vous pouvez appliquer des filtres afin d'exclure des blocs de la couverture et de justifier la couverture manquante dans les rapports.

Un support des normes industrielles est accessible via le DO Qualification Kit et l'IEC Certification Kit.

Vérifier des modèles et du code pour les systèmes critiques


Fonctionnalités

Mesurer la couverture des modèles

Évaluez l'efficacité des tests réalisés sur votre modèle en mesurant les éléments du modèle étudiés pendant la simulation.

En savoir plus

Mesurer la couverture du code généré

Évaluez l'efficacité des tests réalisés sur le code C ou C++ généré en identifiant le code étudié pendant la simulation.

En savoir plus

Surligner les modèles avec les résultats de couverture

Visualisez la couverture de test dans des diagrammes Simulink® et Stateflow® afin d'évaluer rapidement les résultats de couverture.

En savoir plus

Générer des rapports contenant les métriques de couverture

Générez des rapports contenant un large éventail de métriques, notamment les décisions, les conditions, les conditions/décisions modifiées, les limites relationnelles et les plages de signaux.

En savoir plus

Gérer et cumuler les résultats de couverture

Cumulez des résultats de couverture provenant de plusieurs exécutions de tests avec Coverage Results Explorer.

En savoir plus

Ressources produits

Découvrez-en davantage sur Simulink Coverage en consultant ces ressources.

Documentation

Consultez notre documentation pour connaître les fonctions et les caractéristiques de Simulink Coverage, notamment les notes de version et des exemples.

Fonctions

Parcourez la liste des fonctions disponibles de Simulink Coverage.

Configuration système

Affichez la configuration système requise pour la dernière version de Simulink Coverage.

Articles techniques

Consultez les notes expliquant les avantages techniques de l’utilisation de la solution Simulink Coverage.

Témoignages d'utilisateurs

Découvrez comment Simulink Coverage accélère la recherche et le développement de votre industrie.

Communauté et soutien

Trouvez les réponses à vos questions et consultez nos ressources dédiées à la résolution des problèmes.


Essayer ou Acheter

Obtenez gratuitement la version d'essai

Essayez Simulink Coverage.

Essayer une version d'évaluation

Prêt à acheter ?

Achetez Simulink Coverage et découvrez les produits complémentaires.

Contacter un commercial
Tarifs et licences

Vous avez des questions ?

Paul

Contacter Paul Urban,
expert technique Simulink Coverage

Envoyer un e-mail à Paul

Simulink Coverage requiert: Simulink, MATLAB


 Solutions associées

Utilisez Simulink Coverage pour relever des défis scientifiques et d'ingénierie :


Au fil des événements

Cette présentation introduit Simulink Verification and Validation et Simulink Design Verifier. Elle met en avant les techniques avancées de vérification et de validation (impliquant l’analyse de couverture structurelle et les méthodes formelles)

Améliorer l’efficacité de la conception en utilisant la vérification des règles de modélisation