Main Content

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

设计验证器窗格：设计错误检测

Configuration Parameter window showing Design Error Detection parameter under Design Verifier pane.

设计错误检测窗格概述

指定控制 Simulink® Design Verifier™ 如何检测其分析的模型中的运行时错误的选项。

死逻辑（部分）

指定是否分析模型中的死逻辑。这可能会导致部分分析。选择 运行详尽分析 始终运行详尽的分析。

设置

默认:离开

开启

报告模型中识别出的死逻辑。

关闭

不分析死逻辑。

命令行信息

参数： DVDetectDeadLogic
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

运行详尽分析

指定是否对模型中的死逻辑运行详尽分析。

设置

默认:离开

开启

对模型中的死逻辑进行详尽的分析。

关闭

不会对模型中的死逻辑进行详尽的分析。

命令行信息

参数： DVDetectActiveLogic
类型：字符数组
值： 'on' | 'off'
默认： 'off'

依赖

要启用此参数，请选择 死逻辑(部分) 。

另请参阅

死逻辑检测

要分析的覆盖目标

指定覆盖率目标来分析模型中的死逻辑。

设置

默认： 'ConditionDecision'

决策

分析死逻辑的决策覆盖率目标。

条件决策

分析死逻辑的条件和决策覆盖率目标。

MCDC

分析死逻辑的修正条件决策覆盖率(MCDC) 目标。

命令行信息

参数： DVDeadLogicObjectives
类型：字符数组
值： 'Decision' | 'ConditionDecision' | 'MCDC'
默认： 'ConditionDecision'

依赖

此参数依赖于死逻辑(部分)，并且只有当死逻辑(部分)也启用时才有效。

另请参阅

死逻辑检测

超出数组访问范围

指定是否分析模型中是否存在超出范围的数组访问错误。

设置

默认:在

开启

报告模型中超出范围的数组访问错误。

关闭

不会报告模型中超出范围的数组访问错误。

命令行信息

参数： DVDetectOutOfBounds
类型：字符数组
值： 'on' | 'off'
默认： 'on'

另请参阅

检测超出范围的数组访问错误

数据存储访问冲突

指定是否分析模型中是否存在数据存储访问冲突。设计错误检测检查与 Data Store Memory 模块相关的这些违规行为：

  • 先读后写

  • 读后写

  • 写后写

设置

默认:离开

开启

报告模型中的数据存储访问冲突。

关闭

不报告模型中的数据存储访问冲突。

命令行信息

参数： DVDetectDSMAccessViolations
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

检测访问顺序错误

被零除

指定是否分析模型中的除以零错误。

设置

默认:在

开启

报告模型中的除以零错误。

关闭

不会报告模型中的除以零的错误。

命令行信息

参数： DVDetectDivisionByZero
类型：字符数组
值： 'on' | 'off'
默认： 'on'

另请参阅

检测整数溢出和除以零错误

整数溢出

指定是否分析模型中的整数和定点数据溢出错误。

设置

默认:在

开启

报告模型中的整数或定点数据溢出错误。

关闭

不报告模型中的整数或定点数据溢出错误。

命令行信息

参数： DVDetectIntegerOverflow
类型：字符数组
值： 'on' | 'off'
默认： 'on'

另请参阅

检测整数溢出和除以零错误

非有限和 NaN 浮点值

指定是否分析模型中的非有限和 NaN 浮点值。

设置

默认:离开

开启

报告模型中的非有限和 NaN 浮点值。

关闭

不会报告模型中的非有限和 NaN 浮点值。

命令行信息

参数： DVDetectInfNaN
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

检测非有限、NaN 和次正常浮点值

低于正常值的浮点值

指定是否分析模型中的次正常浮点值。

设置

默认:离开

开启

报告模型中的低于正常的浮点值。

关闭

不会报告模型中的低于正常的浮点值。

命令行信息

参数： DVDetectSubnormal
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

检测非有限、NaN 和次正常浮点值

指定最小值和最大值违规

指定是否检查模型中的中间信号和输出信号是否在用户指定的最小和最大约束范围内。

设置

默认:离开

开启

检查中间信号和输出信号是否在用户指定的最小和最大约束范围内。

关闭

不检查中间信号和输出信号是否在用户指定的最小和最大约束范围内。

命令行信息

参数： DVDesignMinMaxCheck
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

检查指定的最小值和最大值违规

指定模块输入范围违规

指定是否分析模型中的模块输入范围违规。该检查可检测具有以下设置的模块的输入范围违规：

注意

当 插值方法 设置为 Akima 样条 或 三次样条 时，检查不会标记 n-D Lookup Table 模块的模块输入范围违规。

注意

该检查不会模块具有 CORDIC 逼近方法 的 Trigonometric Function 模块的模块输入范围违规，其 函数 参数为 atan2 且输入信号的数据类型为 double 。

设置

默认:离开

开启

报告模型中的模块输入范围违规。

关闭

不会报告模型中的模块输入范围违规。

命令行信息

参数： DVDetectBlockInputRangeViolations
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

检测模块输入范围违规

rem 和倒数运算的用法 - hisl_0002

指定是否检查导致非有限结果的 rem 和 reciprocal 运算的使用情况。

这对应于高完整性系统建模的 hisl_0002 检查。有关更多信息，请参阅 hisl_0002：Math Function 模块 (rem 和 reciprocal) 的使用。

设置

默认:离开

开启

报告模型中 hisl_0002 检查的违规行为。

关闭

没有报告模型中 hisl_0002 检查的违规行为。

命令行信息

参数： DVDetectHISMViolationsHisl_0002
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

Model Advisor Checks for High-Integrity Systems Modeling Guidelines

Math Function

平方根运算的用法 - hisl_0003

指定是否检查输入可以为负数的 Square Root 运算的使用情况。

这对应于高完整性系统建模的 hisl_0003 检查。有关更多信息，请参阅 hisl_0003：使用平方根模块 。

设置

默认:离开

开启

报告模型中 hisl_0003 检查的违规行为。

关闭

没有报告模型中对 hisl_0003 检查的违反情况。

命令行信息

参数： DVDetectHISMViolationsHisl_0003
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

Model Advisor Checks for High-Integrity Systems Modeling Guidelines

Sqrt

log 和 log10 运算的用法 - hisl_0004

指定是否检查导致非有限结果的 log 和 log10 运算的使用情况。

这对应于高完整性系统建模的 hisl_0004 检查。有关更多信息，请参阅 hisl_0004：Math Function 模块（自然对数和以 10 为底的对数） 的使用。

设置

默认:离开

开启

报告模型中 hisl_0004 检查的违规行为。

关闭

没有报告模型中对 hisl_0004 检查的违反情况。

命令行信息

参数： DVDetectHISMViolationsHisl_0004
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

Model Advisor Checks for High-Integrity Systems Modeling Guidelines

倒数平方根模块的使用 - hisl_0028

指定是否检查输入可以为零或负数的倒数 Square Root 模块的使用情况。

这对应于高完整性系统建模的 hisl_0028 检查。有关更多信息，请参阅 hisl_0028：Reciprocal Square Root 模块 的用法。

设置

默认:离开

开启

报告模型中 hisl_0028 检查的违规行为。

关闭

没有报告模型中对 hisl_0028 检查的违反情况。

命令行信息

参数： DVDetectHISMViolationsHisl_0028
类型：字符数组
值： 'on' | 'off'
默认： 'off'

另请参阅

Model Advisor Checks for High-Integrity Systems Modeling Guidelines