Fondamentaux de la génération de tests

Simulink^® Design Verifier™ est un outil puissant qui vous permet d’améliorer la fiabilité et la robustesse des modèles Simulink grâce à la génération automatisée de tests. La fonctionnalité de génération de tests facilite la création de cas de test complets qui visent à découvrir les erreurs de design, à valider le comportement du modèle et à assurer la couverture de toutes les exigences fonctionnelles. S’appuyant sur des méthodes formelles, Simulink Design Verifier explore systématiquement la représentation d’état du modèle pour identifier les scénarios de test critiques, réduisant ainsi les efforts de test manuel et accélérant le processus de vérification. Vous pouvez suivre les étapes fondamentales décrites pour générer et utiliser efficacement les cas de test. Votre modèle répond ainsi aux critères de design spécifiés et fonctionne comme prévu.