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

作     者：周航 蒋欣欣 周世康 张杨 张灿恒 ZHOU Hang;JIANG Xinxin;ZHOU Shikang;ZHANG Yang;ZHANG Canheng

作者机构：南京航空航天大学南京211106 北京计算机技术及应用研究所北京100854 

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

出 版 物：《河南科学》 (Henan Science)

年 卷 期：2018年第36卷第12期

页      码：1865-1872页

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

主 题 词：变量跟踪定位 变量依赖 辅助调试 变量错误 

学科分类：08[工学] 0825[工学-环境科学与工程类] 

馆 藏 号：203424046...