Analyser un modèle ou un sous-système
Préparer un modèle ou un sous-système à l’analyse, effectuer l’analyse
Utilisez Simulink® Design Verifier™ pour guider le processus de design lors du design de votre modèle. Vérifiez la compatibilité d’un modèle existant. Contournez les limites de compatibilité de votre modèle ou personnalisez les éléments du modèle en vue de l’analyse. Détectez les erreurs de design et générez des cas de test ou prouvez les propriétés de votre modèle.
Fonctions
sldvcompat | Check model for compatibility with analysis |
sldvextract | Extract subsystem or subchart contents into new model for analysis |
sldvisactive | Verify updating of a block diagram |
sldvoptions | Create design verification options object |
sldvtimer | Identify, change, and display timer optimizations |
sldvrun | Analyze model |
sldvexporttoversion | Exports a data file for use in a previous version of Simulink Design Verifier (depuis R2024a) |
Rubriques
Analyser un modèle ou un sous-système
- Explore Analysis Modes in Simulink Design Verifier
Analyzing a simple model that demonstrates Simulink Design Verifier capabilities. - Perform Analysis on a Model
Analyzing a simple example model with Simulink Design Verifier. - Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Simulink Design Verifier Checks
Describes Model Advisor checks for Simulink Design Verifier analysis. - Analyze Coverage for Lookup Table Boundary Values
Describes how to generate tests for lookup table boundary value coverage. - Analyze Export-Function Models
Analyzing an export-function models by using Simulink Design Verifier. - Analyze Export-Function Model with Global Simulink Function
Analyze an export-function model with global Simulink function by using Simulink Design Verifier. - Analyze Export-Function Model with Function-Call Subsystems
Analyze an export-function model with function-call subsystems by using Simulink Design Verifier. - Analyze AUTOSAR Component Models
Analyze AUTOSAR component models for the Classic Platform. - Inspect Test Generation Objectives by Using Model Slicer
Inspect Test Generation Objectives using Model Slicer.