Configuración de parámetros
Puede indicar a Simulink Design Verifier que considere valores adicionales para los parámetros del modelo durante su análisis que sean distintos a los valores predeterminados establecidos en el área de trabajo base o en un diccionario de datos. Esto permite que Simulink Design Verifier pueda utilizar parámetros en el modelo como variables a lo largo de todo el proceso de análisis. La configuración de un parámetro define el rango de valores permisibles para un parámetro.
Por ejemplo, considere un modelo que contiene un bloque Switch con el valor predeterminado establecido en 0 y el puerto de control influenciado por un valor del parámetro de calibración K. Valores diferentes de K influyen si la condición del puerto de control se indica como lógica fallida o lógica activa e impactan en los valores de los parámetros de los casos de prueba. Para obtener más información, consulte Use Parameter Configuration in Analysis.
Los parámetros se configuran en diferentes etapas, dependiendo del flujo de trabajo que se utilice.
Configurar parámetros cuando se generan casos de prueba para cobertura: En este flujo de trabajo, se cambian los parámetros después de evaluar si los valores de los parámetros impactan en los objetivos de cobertura del modelo.
Configurar parámetros durante el análisis de detección de errores de diseño: En este flujo de trabajo, se cambian los parámetros después de detectar errores de diseño para comprobar si el valor de algún parámetro produce como resultado un error en tiempo de ejecución en la lógica que utilizar estos valores.
Temas
Conceptos básicos sobre la configuración de parámetros
- 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.
Flujos de trabajo de ejemplo
- 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.
Ejemplos destacados
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.
