Configuration des paramètres
Vous pouvez demander à Simulink Design Verifier de prendre en compte des valeurs supplémentaires pour les paramètres du modèle au cours de son analyse, autres que les valeurs par défaut définies dans l’espace de travail de base ou dans un dictionnaire de données. Ainsi, Simulink Design Verifier peut gérer les paramètres de votre modèle comme des variables tout au long du processus d’analyse. Une configuration de paramètres définit la plage de valeurs admissibles pour un paramètre.
Par exemple, utilisons en guise d’exemple un modèle qui contient un bloc Switch dont la valeur par défaut est définie sur 0, et dont le port de contrôle dépend d’une valeur de paramètre de calibrage K. Les différentes valeurs de K déterminent si la condition du port de contrôle est signalée comme logique morte ou active, et déterminent les valeurs des paramètres du cas de test. Pour plus d’informations, consultez Use Parameter Configuration in Analysis.
La configuration des paramètres dépend du workflow utilisé.
Configuration des paramètres lorsque vous générez des cas de test pour la couverture : dans ce workflow, vous modifiez les paramètres après avoir évalué si les valeurs des paramètres ont une incidence sur les objectifs de couverture du modèle.
Configuration des paramètres lors de l’analyse de la détection des erreurs de design : dans ce workflow, vous modifiez les paramètres après avoir détecté les erreurs de design afin de vérifier si des valeurs de paramètres entraînent une erreur run-time dans la logique qui utilise ces valeurs.
Rubriques
Concepts fondamentaux de la configuration des paramètres
- 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.
Exemples de 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.
Sélection d՚exemples
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.
