了解跟踪查看器
当 SDV 检测到至少一个规则违反所选用于验证的规则时,可以使用跟踪查看器。
跟踪查看器由三个窗口组成。
以下屏幕截图显示了“缺陷查看器”窗口及其“跟踪树”和“源代码”。
SDV 自动协调三个缺陷查看器窗口中的显示。 例如,如果在“ 跟踪树 ”窗格中选择源代码元素,SDV 会自动将光标移动到“ 源代码 ”窗格中的相应代码行 (反之亦然,) 。
同样,如果在 “跟踪树 ”或“源代码”窗格中选择的 源代码 元素更改了 SDV 监视的变量的值,则这些更改将自动显示在“ 状态 ”窗格中。