跟踪树 窗格显示了源代码中沿着通往规则违规路径执行的关键元素的跟踪,如以下屏幕截图所示。
这些关键元素(如函数调用和分配)来自用于检测规则冲突的所有源文件,包括 SDV作系统模型代码(sdv-harness.c 文件)、SDV 规则源文件(*.slic)和驱动程序的源代码。 代码元素按执行的顺序显示,即使它们源自不同的文件也是如此。
SDV 将 “跟踪树 ”窗格中的显示与 “源代码”窗格 和 “状态”窗格中的显示进行协调。 在“ 跟踪树 ”窗格中逐步执行源代码时,SDV 会在 “源代码 ”窗格中自动突出显示相应的代码行,并在 “状态 ”窗格中的相应点显示变量的值。
本部分包括:
了解跟踪树窗格
跟踪树窗格中的颜色编码
跟踪树窗格操作