Main Content

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

分析模型中的设计错误

检测设计错误的工作流程

要分析模型中的设计错误，请使用以下工作流程：

  1. 验证您的模型是否与Simulink® Design Verifier™软件兼容。

  2. 如果您的模型中有 Stateflow® 对象，请在配置参数对话框的 诊断 > Stateflow窗格中将 不可达的执行路径 设置为 错误 。

  3. 指定控制 Simulink Design Verifier 如何检测模型中的设计错误的选项。

  4. 执行Simulink Design Verifier分析。

  5. 查看分析结果。

了解分析结果

当您运行设计错误检测分析时，默认情况下，软件会以四种颜色之一突出显示模型对象，以便于查看分析结果。

模型对象高亮颜色分析结果

绿色

以下两项：

  • 分析证明不存在死逻辑。

  • 分析证明其他设计错误检测检查没有错误。

红色

至少满足以下其中一项：

  • 分析发现，逻辑无效。

  • 分析发现其他设计错误检测检查之一存在错误。

橙色

对于至少一个目标，分析无法确定模型对象是否具有死逻辑或其他设计错误检测错误之一。这种情况可能发生在以下情况：

  • 分析超时。

  • 软件无法确定是否发生了错误。这一结果归因于：

灰色的

模型对象不是分析的一部分。

钢蓝色

使用分析期间提供的过滤文件排除或证明该模型对象的所有目标。

Simulink Design Verifier 结果窗口最初显示分析结果的摘要，如下例所示。

Results window for Design Error Detection analysis.

当您点击模型中的某个对象时，有关该对象结果的更多详细信息将显示在Simulink Design Verifier结果窗口中。

提示

默认情况下，Simulink Design Verifier 结果窗口始终是最顶层的可见窗口。要更改该设置，点击 图标，然后在上下文菜单上清除 Always on top 旁边的复选标记。

在结果摘要窗口中查看最新的分析结果

如果您关闭分析结果来修复模型中错误的原因，则可能需要再次检查分析结果。只要您的模型保持不变，您就可以在结果摘要窗口中查看最近的分析结果。

要查看最新结果，请在 Design Verifier 选项卡的 查看结果 部分中点击结果摘要 。

对于任何Simulink Design Verifier分析，您可以从结果摘要窗口执行以下任务：

  • 打开过滤器资源管理器。

  • 突出模型的分析结果。

  • 在仿真数据检查器中查看测试。

  • 生成详细的分析报告。

  • 创建框架模型，或者如果框架模型已经存在，则打开它。

    注意

    如果没有任何目标被证伪或满足，则无法创建框架模型。

  • 将测试用例导出到 Simulink Test 。

  • 查看数据文件。

  • 查看日志文件。

使用模型顾问检查设计错误

您可以从 Model Advisor 执行设计错误检测分析，如果您需要执行其他模型检查，这特别有用。要从 Model Advisor 分析您的模型，请遵循以下高级工作流程：

  1. 指定控制 Simulink Design Verifier 如何检测模型中的设计错误的选项。

  2. 打开模型顾问。

  3. 从系统层次结构中，选择要分析的模型或模型组件

  4. 扩展设计错误检测分析项目。在 按产品 或 按任务 下查找 Simulink Design Verifier。

  5. 如果您尚未检查模型的兼容性，请启用 Simulink Design Verifier 的兼容性检查。

  6. 选择您想要运行的设计错误检测检查。

  7. 运行选定的检查。

  8. 查看分析结果。

相关主题