Main Content

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

检查模型兼容性

使用Simulink® Design Verifier™，您可以分析Simulink模型以：

  • 检测运行时可能出现的设计错误。

  • 生成达到模型覆盖率的测试用例。

  • 证明属性并识别属性侵权。

在Simulink Design Verifier分析模型之前，软件会检查该模型是否适合分析。满足以下情况时，模型兼容，适合进行分析：

  • 模型被编译成可执行形式。

  • 模型与代码生成兼容。

  • 该模型执行零秒仿真，没有错误，即仿真开始和停止时间为 0 。

该软件支持模型中广泛的Simulink和Stateflow®软件功能。但是，有些功能该产品不支持，如 Simulink 软件功能的支持限制 和 Stateflow 软件功能的支持限制 中所述。

有关支持的 Simulink 模块的更多信息，请参阅 Simulink Design Verifier 中支持和不支持的 Simulink 模块 。

运行兼容性检查

在软件开始分析之前，它会检查模型的兼容性，然后创建模型表示。模型表示包括分析期间使用的模型工件。有关更多信息，请参阅 用于分析的模型表示 。

在开始分析之前，您可以使用以下方法之一对模型运行兼容性检查。当您使用其中任何一种方法时，模型表示总是会被重建。

  • 在 Design Verifier 选项卡的 分析 部分中，点击检查兼容性 。

  • 在模型顾问中，选择 按产品 > Simulink Design Verifier > 检查与 Simulink Design Verifier 的兼容性 或 按任务 > Simulink Design Verifier 兼容性检查 > 检查与 Simulink Design Verifier 的兼容性 。点击 运行此检查 。

    有关更多信息，请参阅 Simulink Design Verifier 检查 。

  • 要在命令行或 MATLAB® 程序中以编程方式运行兼容性检查，请使用 sldvcompat 函数。有关更多信息，请参阅 sldvcompat 。

  • 要检查 Subsystem 的兼容性，请右键单击 Subsystem 并选择 Design Verifier > 检查子系统兼容性 。

兼容性检查结果

当您对模型运行兼容性检查时，“结果摘要”窗口将显示以下结果之一：

模型兼容

如果您的模型兼容，您可以在“结果摘要”窗口中继续进行分析。例如，要继续测试生成分析，点击生成测试 。

Simulink Design Verifier Results summary window that shows the compatibility of a Simulink model.

注意

完成兼容性检查后，如果更改模型，则无法在“结果摘要”窗口中继续分析。如果您更改模型，请重新运行兼容性检查以进行分析。

模型不兼容

如果模型与Simulink Design Verifier不兼容，您可以通过诊断查看器消息识别并修复不兼容性。有关更多信息，请参阅 对错误和警告进行系统化诊断 。

Simulink Design Verifier Results summary window that shows the incompatibility of a Simulink model.

  • 如果您的模型使用可变步长求解器，请将求解器 Type 配置为 定步长 。

    Simulink Design Verifier compatibility analysis window that shows the error.

  • 如果您的模型具有非有限数据，请更改数据的值或配置模型，以便在Simulink Design Verifier分析期间将数据视为变量。有关更多信息，请参阅 非有限数据 。

    Window if Diagnostic Viewer that shows Simulink design Verifier compatibility analysis.

如果您的模型很大且包含许多子系统，您可以使用测试生成顾问来确定某些子系统是否导致不兼容。有关更多信息，请参阅 使用测试生成顾问识别可分析组件 。

模型部分兼容

如果模型中至少有一个模型对象不兼容，则该模型是部分兼容的。Simulink Design Verifier 通过删除不受支持的元素来继续对部分兼容模型的分析。默认情况下，自动桩件不受支持的模块和功能 选项设置为 On 。有关更多信息，请参阅 使用自动桩件处理不兼容性 。

Simulink Design Verifier Results summary window that shows results of a partial compatible Simulink model.

另请参阅

| |