Main Content

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

Simulink 软件功能的支持限制

Simulink® Design Verifier™ 不支持以下 Simulink 软件功能。避免使用这些不受支持的功能。

不支持描述

可变步长求解器

该软件仅支持固定步长求解器。

有关更多信息，请参阅 Fixed Step Solvers in Simulink 。

回调函数

软件在分析期间不会执行模型回调函数。分析生成的结果（例如框架模型）可能与预期行为不一致。

  • 如果模型或任何引用模型调用回调函数来改变任何模块参数、模型参数或工作区变量，则分析不会反映这些改变。

  • 不支持更改模型回调函数或掩码初始化上的基础工作区变量的存储类。

  • 完全支持分析之前调用的回调函数，例如 PreLoadFcn 或 PostLoadFcn模型回调。

模型回调函数

只有当模型的InitFcn回调为空时，软件才支持模型回调函数。

代数环

该软件不支持包含代数环的模型。

有关更多信息，请参阅 代数环概念 。

屏蔽子系统初始化函数

该软件不支持屏蔽子系统初始化的模型：

  • 修改任何工作区参数的任何属性。

  • 删除或创建模块。

可变大小信号

该软件支持具有有界可变大小信号模型的测试生成。有关在输入信号大小可变时如何生成测试用例的更多信息，请参阅在具有可变大小输入的模型中实现覆盖率。

此外，分析还存在以下局限性：

  1. 关系边界覆盖率目标

  2. 增强 MCDC覆盖率目标

  3. 根级输入端口信号大小可变的模型

  4. 具有可变尺寸信号的模型，最大尺寸为 1

  5. 不支持无界可变大小信号的分析。

注意

  • 不考虑单端口逻辑与具有可变大小信号的min-max模块的覆盖目标。

  • 分析是在这样的假设下进行的：在任何步骤中，模块的所有可变大小输入都具有相同的大小。

无界可变大小信号

不支持。

多字定点数据类型

该软件不支持大于 128 位的多字定点数据类型。

非零开始时间

尽管Simulink允许您指定非零的仿真开始时间，但分析会生成仅从零开始的信号数据。如果您的模型指定了非零的开始时间：

  • 如果不选择 生成的框架中的引用输入模型 参数（默认），则框架模型就是一个子系统。分析将框架模型的开始时间设置为 1，并继续分析。

  • 如果选择 生成的框架中的引用输入模型 参数，则 Model模块将引用框架模型。该软件无法更改框架模型的开始时间，因此分析停止，并且您会看到将 开始时间 参数设置为 0 的建议。

  • Simulink Design Verifier 假设分析的开始时间为零，并生成从零开始的信号数据。零开始时间可能会影响目标状态的报告。例如，在测试生成分析中，软件可能会将某些目标报告为 Undecided with Testcases 。有关更多信息，请参阅 仿真基础知识 。

非有限数据

该软件不支持非有限数据（例如，NaN和Inf）和相关操作。

在 Relational Operator模块中，软件分配输出如下：

  • 如果 关系运算符 参数是 isFinite，则输出始终为 1。

  • 如果 关系运算符 参数是 isNan 或 isInf，则输出始终为 0。

在MATLAB Function模块中，软件分配返回值如下：

  • 对于 isFinite 函数，输出始终为 1。

  • 对于 isNan 和 isInf 函数，输出始终为 0。

并发执行

该软件不支持配置为并发执行的模型。

具有非零采样时间偏移的信号

该软件不支持具有非零采样时间偏移的信号的模型。

无输出端口的型号

该软件仅支持具有一个或多个输出端口的模型。如果模型包含test condition或test objective模块并且模型中没有输出端口，那么将生成名义测试用例。

[-realmax/2, realmax/2] 范围之外的大型浮点常数

使用较大的浮点常量可能会导致内存不足错误或精度大幅下降。如果可能的话，避免使用这样的常量。

象征性维度

该软件不支持用于测试生成、属性证明或设计错误检测的符号尺寸。

Simulink 字符串

不支持包含以字符串数据类型作为模块参数的模块的模型。有关更多信息，请参阅 Simulink 字符串 。

参数调整

  • 软件不支持调整属于不同模型工作区且名称相同的模型工作区参数。

  • 模型工作区中的 MATLAB 变量不可调。为了使这些变量可调，将它们转换为 Simulink.Parameter 对象。

行优先算法

该软件不支持包含使用coder.rowMajor指令的MATLAB系统模块的模型。有关更多信息，请参阅Use algorithms optimized for row-major array layout。

区模块执行顺序

该软件不支持将 ExecutionOrder 设置为 First 或 Last 的模块的模型。有关更多信息，请参阅 指定模块执行顺序、执行优先级和标记 。