在分析中使用参数配置

参数配置允许 Simulink® Design Verifier™ 在分析过程中评估参数范围以及默认值的影响。假设有一个示例模型，该模型说明了参数配置对分析结果的影响。该模型包含一个开关模块，其控制端口的条件为 > 0，并受在基础工作区中值为 0 的标定参数 K 的影响。

Switch block with a control port.

下表显示了分析结果如何随参数配置的不同而变化：

在基础工作区中值为 0 的参数 K未指定参数配置 指定参数配置，K 在区间 [-1,1] 内
分析结果

  • 控制端口值大于 0 被报告为死逻辑。

  • 控制端口值小于 0 被报告为活动逻辑。

  • 不会报告死逻辑。

  • 分析引擎选择值 1 来满足控制端口大于 0 的条件。

测试用例 在所有测试用例中参数保持相同的值，该值为基础工作区中指定的值。 参数值与输入值一起报告，并且在不同测试用例中可能会有所不同。

下图显示了参数配置所涉及的三个基本步骤：

Flowchart to show basic steps for parameter configuration. This includes design model, parameter selection, specifying minimum or maximum constraints and analysis.

  1. 选择参数：参数是通过使用 Simulink.Parameter 变量来定义的，以便进行标定。您可以选择手动选择参数进行配置，也可以让 Simulink Design Verifier 自动检测并配置这些参数。有关详细信息，请参阅选择参数配置的约束条件。

  2. 指定范围：您可以为所选参数定义范围（最大值或最小值）。对于 Simulink.Parameter 变量，默认范围由最大值或最小值决定。

  3. 运行分析：Simulink Design Verifier 分析使用这些值来生成结果。生成的测试用例除了包含实现期望覆盖率所需的输入外，还包含参数值。

参数配置的限制

下表说明了 Simulink Design Verifier 不支持指定参数配置的情况：

参数基于限制

位置

Simulink Design Verifier 不支持对以下参数进行参数配置：

  • 生成代码中的只读参数。

  • 在数据字典中定义为 MATLAB® 变量的参数。

  • 在模型工作区中定义的参数。

  • 由模型特定参数使用的参数。

  • 同时用于设计模型和观测器模型的参数。

数据类型

Simulink Design Verifier 不支持对以下参数进行参数配置：

  • 不属于 numeric、logical 或 fixed-point 类型的参数。

  • 具有复数值的参数。

  • 使用 Simulink.ValueType 对象指定的参数。

  • 在总线数组中使用的参数。

  • 在模型中转换为定点的参数。如果模型引用了数据类型为 auto、single 或 double 的基础工作区参数，并且模型将该参数转换为定点数据类型，则您必须根据该参数的定点类型定义该参数的约束。

模块类型

Simulink Design Verifier 不支持对以下模块的参数进行参数配置：

  • Variant 模块。

  • Inport 和 Outport 模块。

  • Lookup、Lookup_n-D、LookupNDDirect、Lookup Table Dynamic 和 Pre-lookup table 模块。

  • Interpolation_n-D 模块。

  • Saturation 模块。

  • Selector 模块。

  • For Iterator 模块。

  • Switch case 模块。

另请参阅

主题