Analisi del modello o del sottosistema
Preparare il modello o il sottosistema per l'analisi, eseguire l'analisi
Utilizzare Simulink® Design Verifier™ per guidare il processo di progettazione durante la creazione del modello. Verificare la compatibilità di un modello esistente. Superare le limitazioni di compatibilità nel modello o personalizzare gli elementi del modello per l'analisi. Eseguire il rilevamento degli errori di progettazione e generare casi di test o dimostrare le proprietà nel modello.
Funzioni
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 (Da R2024a) |
Argomenti
Analisi di un modello o di un sottosistema
- 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.