Main Content

检查 Simulink 中是否存在除以零情况

检查 ID：mathworks.jmaab.jc_0794

规范：jc_0794：Simulink 中的除法

描述

标识 Simulink® 中导致除以零错误的除法运算。

此检查需要 Simulink Check™ 和 Simulink Design Verifier™ (SLDV) 许可证。

检查参数化

此检查不包括子检查，因为 MAB 建模规范仅提供一个子 ID。

对于引用，NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为：

  • NA-MAAB — a

  • JMAAB - a

结果和建议的操作

条件建议采取的操作
一个或多个执行除法的模块可能导致除以零错误。重新建模以避免除以零错误。

功能和限制

  • 无法对库模型运行。

  • 允许排除模块或图。

  • 分析库链接模块的内容。默认情况下，将输入参数 Follow links 设置为 on。

  • 分析封装子系统中的内容。默认情况下，将输入参数 Look under masks 设置为 graphical。