变量动态跟踪及精确定位方法研究

摘要：

程序错误很多都是以变量值的错误表现并通过变量间的依赖关系导致错误的传播.而目前由编程工具提供的单步Debug的调试方法,很难对复杂依赖变量依赖关系的程序通过对比变量值及其传播途径的方法来分析定位错误的来源.为了解决此问题,提出了一种基于依赖关系变量跟踪定位的方法,解析源程序中变量的行号、依赖关系、值的变化等相关信息;构建出变量之间的依赖关系矩阵,设计变量直接及间接的检测方法,并给出了变量间的传递关系矩阵;根据项目需求实现了基于Eclipse的C语言分析插件.最后通过试验,证明了该方法可以有效跟踪记录变量的实时变化,准确分析变量间的依赖关系,有效减少了错误查找的范围,明显减少了错误调试的工作量和时间.

关键词：变量跟踪定位、变量依赖、辅助调试、变量错误

所属期刊栏目：36

分类号：V355(航空港（站）、机场及其技术管理)

资助基金：国家博士后基金一等资助2015M580428

在线出版日期：2019-01-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1865-1872