Parameterkonfiguration
Sie können Simulink Design Verifier anweisen, während der Analyse zusätzliche Werte für Modellparameter zu berücksichtigen, die von den im Basis-Workspace oder einem Data Dictionary festgelegten Standardwerten abweichen. Dadurch kann Simulink Design Verifier Parameter in Ihrem Modell während des gesamten Analyseprozesses als Variablen verarbeiten. Eine Parameterkonfiguration legt den Bereich der zulässigen Werte für einen Parameter fest.
Betrachten Sie beispielsweise ein Modell, das einen Switch-Block mit dem Standardwert 0 enthält und dessen Steuerungsport durch einen Kalibrierungsparameterwert K beeinflusst wird. Unterschiedliche Werte von K beeinflussen, ob der Zustand des Steuerungsports als logisch tot oder aktiv gemeldet wird, und wirken sich auf die Parameterwerte der Testfälle aus. Weitere Informationen finden Sie unter Use Parameter Configuration in Analysis.
Die Konfiguration der Parameter hängt davon ab, welchen Workflow Sie verwenden.
Konfigurieren Sie Parameter, wenn Sie Testfälle für die Abdeckung generieren – In diesem Workflow variieren Sie die Parameter, nachdem Sie geprüft haben, ob die Parameterwerte Auswirkungen auf die Modellabdeckungsziele haben.
Parameter während der Designfehlerdetektionsanalyse konfigurieren – In diesem Workflow variieren Sie Parameter nach der Detektion von Designfehlern, um zu überprüfen, ob Parameterwerte zu einem Laufzeitfehler in der Logik führen, die diese Werte verwendet.
Themen
Grundlagen der Parameterkonfiguration
- 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.
Beispiel-Workflows
- 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.
Enthaltene Beispiele
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.
