基于切片模型的程序回归错误定位方法

本发明提出一种基于切片模型的程序回归错误定位方法,在程序预处理阶段,通过对比两个版本程序源码,识别不同部分,根据识别结果对源码进行重排；在轨迹对应阶段,根据获取到的两个版本程序的执行轨迹、语句间的依赖关系和变量值信息,对两条执行轨迹上的语句进行对应、分类；在切片分析阶段,从新版本程序执行失败点为起点开始进行切片分析；根据语句实体分类及其依赖关系,回溯导致程序执行失败的语句实体,直至待分析的依赖语句为空,且被分析的当前语句不需要继续分析其依赖关系；最后,将切片分析的阶段所有被分析的语句实体作为导致回归错误的程序行为切片输出。本方法阐明了回归错误的产生机理,对回归错误的修复具有指导作用。