创建 Simulink Design Verifier 分析的参数配置
如果您对模型中的参数设置了约束,Simulink® Design Verifier™ 在分析过程中只会使用该参数的受约束值。同一模型中对参数的一组约束称为参数配置。
您可以通过选择预设的约束选择方法或使用引用配置集,指定在 Simulink Design Verifier 分析中使用的参数配置。
选择参数配置的约束条件
要启用参数配置,在 Design Verifier 选项卡上的“配置参数”对话框的Design Verifier > 参数和变体窗格中,从参数配置列表中选择表中的一个值。
参数配置
值 | 描述 |
---|---|
| 在分析期间保留所有参数的初始值。该分析将所有参数视为常量。 |
| 对于每个参数,使用在 当测试生成目标为 当测试生成目标为 |
| 选择在分析期间可更改其值以进行参数配置的参数。 对于此类参数,会使用 |
| 请参阅使用参数表查找约束。 |
| 请参阅使用参数配置文件设置参数。 |
使用参考配置集指定模型的参数约束
如果您的模型使用参考配置集,您可以使用覆盖功能来指定参数约束。在使用引用配置集中的参数表之前,请按照以下步骤操作:
打开模型。
在 Design Verifier 选项卡上,点击设置打开“配置参数”对话框。“配置参数”窗口显示模型的配置参考。
从 Design Verifier 窗格点击参数和变体。
要编辑并保存约束,请右键点击参数配置,然后选择覆盖。
类似地,覆盖参数表中的值。在参数表区域右键点击,选择覆盖,然后点击查找参数为模型指定值。
参数表区域突出显示了模型的覆盖设置。
指定参数表的值后,即可执行分析。有关如何指定约束值的更多信息,请参阅 使用参数表查找约束。