Main Content

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

分析参数配置

分析的参数配置是什么？

Simulink® Design Verifier™ 软件可以在分析过程中将模型中的参数视为变量。例如，假设您将 MATLAB® 工作区中定义的变量指定为模型中模块参数的值。您可以指示 Simulink Design Verifier 在分析中为该参数使用附加值。

您可以通过对模型中的参数施加约束来实现这一点，在分析过程中，该参数只采用您指定的约束值或值。同一模型中对参数的一组约束也称为参数配置。

例如，这允许您：

  • 扩展设计错误检测或属性证明分析的结果，以考虑附加参数值的影响。

  • 针对参数值必须变化的情况生成全面的测试用例，以实现更完整的覆盖率结果。有关更多信息，请参阅 指定全面覆盖的参数配置 。

Simulink Design Verifier提供了以下工作流程来指定参数配置：

参数配置工作流程

参数配置如何选取参数约束？

将所有参数视为常量

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

自动推断参数规范

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

当测试生成目标为模型时，Simulink Design Verifier会选取尽可能多的参数进行参数配置。

当测试生成目标为生成的顶层模型代码或生成的模型引用代码时，参数配置中选择生成代码中可以改变值的参数。参见 自动推断参数规范 。

根据生成的代码确定

在分析过程中，选择生成的代码中可以改变其值的参数进行参数配置。

对于此类参数，会使用Simulink.Parameter对象中的最小值或最大值作为参数配置进行分析。参见 根据生成的代码确定 。

使用参数表

必须指定参数表中的参数和约束。参见 使用参数表

使用参数配置文件

必须指定输入文件中的参数和约束。参见 使用参数配置文件

Simulink Design Verifier 不支持改变以下参数类型：

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

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

  • 来自变体模块的参数

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

  • 具有复值的参数

  • 总线阵列中使用的参数

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

  • Inport 和 Outport 模块中使用的参数

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

  • 这些模块的参数：

    • Loopup

    • Lookup_n-D

    • LookupNDDirect

    • Interpolation_n-D

    • 动态查找表

    • 预查找表

    • Saturation

    • Selector

    • For Iterator

    • Switch case

    • 离散整数模块

  • 设计模型和观察者模型中使用的参数

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

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

  1. 打开模型。

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

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

  4. 要在本地编辑和保存约束，请右键单击 Parameters configuration 并选择 覆盖 。

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

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

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

参数配置中的数据类型

在约束参数值时，请考虑以下与数据类型相关的问题：

模型中转换为定点的参数

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

定义为 Simulink.Parameter 且被多个位置引用的参数

对于定义为Simulink.Parameter或Simulink.Parameter的继承类且数据类型为自动的参数，如果该参数被多个具有不同数据类型的位置引用，则Simulink Design Verifier在分析过程中无法为该参数生成值。

不支持复杂数据作为参数

如果 MATLAB 工作区中某个参数的数据类型较复杂，Simulink Design Verifier 不支持在分析过程中为该参数生成值。

不支持调整结构数组或总线数据类型

Simulink Design Verifier 不支持在分析过程中调整结构体数组或总线数据类型。

变量模块中的参数

可以使用参数通过使用变体模块（例如 Variant Subsystem、Variant Source 和 Variant Sinks ）来选择模型中的变体。

Simulink Design Verifier 仅支持 变体激活时间 参数未设置为 startup 的模块的活动变体。对于 变体激活时间 为 startup 的模块，当您在配置参数对话框中选择 Design Verifier > 参数和变体 下的 分析所有启动变体 时，Simulink Design Verifier 会分析所有变体。

要分析包含变体约束的模型，请打开 启动变体管理器。使用变体管理器运行模型的预定义配置，并在任何配置下使用该模型。Simulink Design Verifier分析报告包含变体模块的结果信息。

Simulink Design Verifier 不支持在包含 startup 变体的模型引用的模型中进行模块替换。

要对将 变体激活时间 设置为 startup 的变体模块执行 Simulink Design Verifier 分析，请参阅 。

另请参阅

|

相关主题