Simulink Design Verifier

Méthodes formelles dans Model-Based Design

Simulink Design Verifier utilise les techniques d’analyse formelle fournies par Prover Plug-In de Prover Technology et le moteur d’analyse formelle Polyspace de MathWorks. Ces techniques s’appuient sur de rigoureuses procédures mathématiques afin de rechercher dans les divers chemins d’exécution possibles de votre modèle, des cas de test et des contre-exemples. Contrairement aux méthodes de test traditionnelles, dans lesquelles les scénarios de test et les résultats escomptés sont exprimés par des valeurs de données concrètes, les techniques d’analyse formelle vous permettent d’utiliser des modèles du comportement système au lieu de ces valeurs. Un modèle de comportement système peut inclure des modèles de scénarios de test et des objectifs de vérification décrivant les comportements désirés et indésirables du système. L’exécution d’une analyse formelle avec de tels modèles complète la simulation et offre une meilleure compréhension de votre conception.

Point suivant: Détection des erreurs de conception

Essayer Simulink Design Verifier

Obtenir une version d'évaluation

Développez des tests pour des modèles Simulink et du code embarqué

Visionner le webinar