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 分析，请参阅 Verify and Validate Variant Models with Startup Activation Time 。

另请参阅

|

相关主题