点击次数：
所属单位：民航学院
发表刊物：河南科学
关键字：变量跟踪定位;变量依赖;辅助调试;变量错误;
摘要：程序错误很多都是以变量值的错误表现并通过变量间的依赖关系导致错误的传播.而目前由编程工具提供的单步Debug的调试方法,很难对复杂依赖变量依赖关系的程序通过对比变量值及其传播途径的方法来分析定位错误的来源.为了解决此问题,提出了一种基于依赖关系变量跟踪定位的方法,解析源程序中变量的行号、依赖关系、值的变化等相关信息;构建出变量之间的依赖关系矩阵,设计变量直接及间接的检测方法,并给出了变量间的传递关系矩阵;根据项目需求实现了基于Eclipse的C语言分析插件.最后通过试验,证明了该方法可以有效跟踪记录变量的实时变化,准确分析变量间的依赖关系,有效减少了错误查找的范围,明显减少了错误调试的工作量和时间.
是否译文：否
发表时间：2018-12-24
合写作者：蒋欣欣,周世康,张杨,张灿恒
通讯作者：周航