本页采用了机器翻译。点击此处可查看最新英文版本。

创建 Simulink Design Verifier 分析的参数配置

如果您对模型中的参数设置了约束，Simulink® Design Verifier™ 在分析过程中只会使用该参数的受约束值。同一模型中对参数的一组约束称为参数配置。

您可以通过选择预设的约束选择方法或使用引用配置集，指定在 Simulink Design Verifier 分析中使用的参数配置。

选择参数配置的约束条件

要启用参数配置，在 Design Verifier 选项卡上的“配置参数”对话框的Design Verifier > 参数和变体窗格中，从参数配置列表中选择表中的一个值。

参数配置

值描述

Treat all parameters as constants

在分析期间保留所有参数的初始值。该分析将所有参数视为常量。

Automatically infer parameter specification

对于每个参数，使用在 Simulink.Parameter 对象中配置的最小值或最大值作为分析的参数配置。

当测试生成目标为 Model 时，Simulink Design Verifier 会尽可能多地选择参数用于参数配置。

当测试生成目标为 Code Generated as Top Model 或 Code Generated as Model Reference 时，Simulink Design Verifier 选择在生成的代码中可更改值的参数，用于参数配置。有关详细信息，请参阅自动推断分析的参数规范。

Determine from generated code

选择在分析期间可更改其值以进行参数配置的参数。

对于此类参数，会使用 Simulink.Parameter 对象中的最小值或最大值作为参数配置进行分析。有关详细信息，请参阅从生成的代码中确定参数。

Use parameter table

请参阅使用参数表查找约束。

Use parameter configuration files

请参阅使用参数配置文件设置参数。

使用参考配置集指定模型的参数约束

如果您的模型使用参考配置集，您可以使用覆盖功能来指定参数约束。在使用引用配置集中的参数表之前，请按照以下步骤操作：

  1. 打开模型。

  2. 在 Design Verifier 选项卡上，点击设置打开“配置参数”对话框。“配置参数”窗口显示模型的配置参考。

  3. 从 Design Verifier 窗格点击参数和变体。

  4. 要编辑并保存约束，请右键点击参数配置，然后选择覆盖。

    Configuration Parameters dialog box showing configuration reference. The Override option appears over Parameter Configuration.

  5. 类似地，覆盖参数表中的值。在参数表区域右键点击，选择覆盖，然后点击查找参数为模型指定值。

    Parameter configuration for the Parameter Table area with highlighted override settings.

  6. 参数表区域突出显示了模型的覆盖设置。

指定参数表的值后，即可执行分析。有关如何指定约束值的更多信息，请参阅 使用参数表查找约束。

另请参阅

主题