Configurazione dei parametri
È possibile indicare a Simulink Design Verifier di considerare ulteriori valori per i parametri del modello durante l'analisi, oltre a quelli predefiniti impostati nel workspace di base o in un dizionario dei dati. Questo consente a Simulink Design Verifier di gestire i parametri nel modello come variabili durante tutto il processo di analisi. Una configurazione dei parametri definisce l'intervallo dei valori consentiti per un parametro.
Ad esempio, si consideri un modello che contiene un blocco Switch con il valore predefinito impostato su 0 e la relativa porta di controllo influenzata da un valore del parametro di calibrazione K. Valori diversi di K determinano se la condizione della porta di controllo viene riportata come logica morta o attiva e influiscono sui valori dei parametri del caso di test. Per maggiori informazioni, vedere Use Parameter Configuration in Analysis.
Il momento in cui configurare i parametri dipende dal workflow utilizzato.
Configurare i parametri quando si generano casi di test per la coverage: in questo workflow, è possibile variare i parametri dopo aver valutato se i valori dei parametri influiscono sugli obiettivi di coverage del modello.
Configurare i parametri durante l'analisi di rilevamento degli errori di progettazione: in questo workflow è possibile variare i parametri dopo aver rilevato errori di progettazione per verificare se i valori dei parametri causano un errore di runtime nella logica che utilizza tali valori.
Argomenti
Nozioni di base sulla configurazione dei parametri
- Use Parameter Configuration in Analysis
Overview of parameter configuration for Simulink Design Verifier analysis. - Create Parameter Configuration for Simulink Design Verifier Analysis
Configure parameters in a model for analysis. - Parameter Configuration for Variant Blocks
Use parameters to select variants in model. - Import and Export Parameter Constraints
An example on how to import and export specified parameter constraints to and from the Parameter Table.
Workflow di esempio
- Automatically Infer Parameter Specification for Analysis
Describes about a workflow to specify parameter configuration. - Determine Parameters from Generated Code
Describes about a workflow to specify parameter configuration. - Use Parameter Table to Find Constraints
An example of how to specify parameters as variables for analysis. - Set Parameters Using Parameter Configuration File
Describes how to define parameter configurations in MATLAB® code files. - Specify Parameter Configuration for Structure or Bus Parameters
This example describes how to generate tests that constrain the values for the structures and bus signals in a model. - Specify Parameter Configuration for Full Coverage
An example of how to specify parameter constraint values to achieve full model coverage.
Esempi in primo piano
Using Command Line Functions to Support Changing Parameters
Use Simulink® Design Verifier™ command-line functions to generate test data that incorporates different parameter values.
Tune Lookup Table Data Using Planar Approximations
Tune Lookup Table data using Planar Approximations in Simulink Design Verifier.
Extend Existing Test Cases After Applying Parameter Configurations
Achieve missing coverage by extending existing test cases after applying parameter configurations.
Generate Parameters Values
Tune parameters using parameter configuration file for Simulink® Design Verifier™ analysis. The model contains the parameter control_mode that enables the active controller and selects its output to be the model output. Simulink Design Verifier treats this parameter as an input that is constrained to be either 1 or 2 and generates the appropriate value for each test case.
