死亡逻辑检测
找到非功能逻辑,非活动执行路径
职能
sldvextract. |
将子系统或子地点内容提取到新模型中进行分析 |
sldvoptions. |
创建设计验证选项对象 |
Sldvrun. |
分析模型 |
sldvreport. |
生成Simulin金宝appk设计验证程序报告 |
话题
解释了设计错误检测分析选项。
描述了死逻辑检测的两个分析模式金宝app®设计Verifier™。
关于特定模型对象的死亡逻辑设计错误检测的信息。
示例显示如何使用死逻辑结果找到错误的输入规范
指定控制如何的选项金宝appSimulink Design Verifier检测它分析模型中的运行时错误。
概述了金宝appSimulink Design Verifier“配置参数”对话框中的选项。
描述了一个不同的部分金宝appSimulink Design Verifier报告。
描述了一个内容金宝appSimulink Design Verifier数据文件。