检测并消除逻辑错误
使用死逻辑检测来识别模型中的逻辑错误
使用死逻辑检测来识别覆盖率条件无法满足所有预期值的逻辑错误。
主题
- 死逻辑检测
描述 Simulink® Design Verifier™ 中用于死逻辑检测的两种分析模式。
- 死逻辑的常见原因
描述导致死逻辑的几种情形。
- 检测由错误值导致的死逻辑
展示如何使用死逻辑结果查找不正确的输入规范的示例。
- 检查指定的最小值和最大值违规
描述如何分析模型以验证是否遵守指定的设计最小值和最大值。
- 分析模型以检测设计错误
运行设计错误检测分析并解释结果。
精选示例
分析死逻辑分析的结果
此示例演示了如何使用 sldvexCommonCausesOfDeadLogic 模型隔离死逻辑的潜在原因。死逻辑检测可以发现模型中无法达到的目标，从而导致模型元素保持非活动。
使用模型切片器调试增强的修正条件/决策覆盖率
使用模型切片器查找与特定模型对象相关的 Simulink Design Verifier 生成的目标。
