Générer des tests

Simulink^® Design Verifier™ génère automatiquement des cas de test qui vous permettent d’évaluer le comportement du modèle de manière exhaustive. Les cas de test vous aident à confirmer les performances du modèle en démontrant la manière dont les blocs du modèle s’exécutent dans différents modes. Lors de la génération des cas de test, le logiciel effectue une analyse formelle de votre modèle. Une fois l’analyse terminée, le logiciel vous propose plusieurs façons d’examiner les résultats. Pour plus d’informations, consultez Générer des cas de test pour un modèle. En générant des cas de test, Simulink Design Verifier aide à atteindre les objectifs de couverture du modèle, tels que la couverture des conditions/décisions modifiées (MC/DC) et l’analyse des valeurs limites. Cette analyse permet non seulement d’améliorer la fiabilité du modèle, mais également d’accélérer le processus de vérification en réduisant les efforts de test manuel. Les cas de test générés peuvent être utilisés pour valider le modèle par rapport aux exigences spécifiées, ce qui garantit la conformité avec les normes industrielles et réduit le risque d’erreurs aux stades ultérieurs du développement.