检查 Stateflow 调试选项

mathworks.hism.hisf_0011

依赖关系: Simulink^® Check™ 和 Stateflow^®

用法: 高完整性系统建模

规范: hisf_0011:Stateflow 调试设置

说明

使用此检查来验证 Stateflow 调试设置是否有效且高效。

Stateflow 调试设置如下：

使用模型顾问配置编辑器，通过指定输入参数来定义分析范围。

参数	描述
跟随链接	指定是否将文库链接模块的内容纳入分析。 on（默认）\| off
查看封装内部	指定是否在分析中包含掩码模型元素。全部（默认）\| 无 \| 图形 \| 功能性全部 - 检查分析是否包含所有掩码模型元素。无 - 检查分析排除了已屏蔽的模型元素。图形 - 检查分析仅包括图形掩码模型元素。功能性 - 检查分析仅包括功能掩码模型元素。

参数

描述

跟随链接

指定是否将文库链接模块的内容纳入分析。

on（默认）| off

查看封装内部

指定是否在分析中包含掩码模型元素。

全部（默认）| 无 | 图形 | 功能性

查看检查中标记出的违规行为以及建议的修复措施。应用更改后，保存模型并重新运行检查分析。

建模条件	建议的操作
参数溢出时绕回未设置为错误。	在“配置参数”对话框中，将溢出时绕回设置为错误，或者将参数 IntegerOverflowMsg 设置为错误。
参数仿真范围检查未设置为错误。	在“配置参数”对话框中，将仿真范围检查设置为错误，或者将参数 SignalRangeChecking 设置为错误。
真值表的参数欠定未设置为错误	在“配置参数”对话框中，将欠定设置为错误。
真值表的参数过定未设置为错误	在“配置参数”对话框中，将过定设置为错误。
在 Stateflow 图中，检测循环被清除。	在模型窗口中，选择调试> 诊断 > 检测循环行为