检测并消除逻辑错误
使用死逻辑检测来识别模型中的逻辑错误
使用死逻辑检测来识别覆盖率条件无法满足所有预期值的逻辑错误。
主题
- 死逻辑检测
描述了Simulink® Design Verifier™中死逻辑检测的两种分析模式。
- 死逻辑的常见原因
描述导致死逻辑的几种场景。
- 检测由错误值导致的死逻辑
展示如何使用死逻辑结果查找不正确的输入规范的示例。
- 检查指定的最小值和最大值违规
描述如何分析模型以验证是否遵守指定的设计最小值和最大值。
- 分析模型中的设计错误
运行设计错误检测分析并解释结果。
精选示例
分析死逻辑分析的结果
此示例演示了如何使用 sldvexCommonCausesOfDeadLogic模型隔离死逻辑的潜在原因。死逻辑检测可以发现模型中无法达到的目标，从而导致模型元素保持非活动。
使用模型切片器调试增强的修正条件/决策覆盖率
使用模型切片器查找与特定模型对象相关的Simulink Design Verifier生成的目标。
You can also select a web site from the following list:
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)