[00251711]基于切片模型的程序回归错误定位方法
交易价格:
面议
类型:
发明专利
技术成熟度:
正在研发
专利所属地:中国
专利号:CN201610368555.0
交易方式:
完全转让
许可转让
技术入股
联系人:
西安交通大学
所在地:陕西西安市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明提出一种基于切片模型的程序回归错误定位方法,在程序预处理阶段,通过对比两个版本程序源码,识别不同部分,根据识别结果对源码进行重排;在轨迹对应阶段,根据获取到的两个版本程序的执行轨迹、语句间的依赖关系和变量值信息,对两条执行轨迹上的语句进行对应、分类;在切片分析阶段,从新版本程序执行失败点为起点开始进行切片分析;根据语句实体分类及其依赖关系,回溯导致程序执行失败的语句实体,直至待分析的依赖语句为空,且被分析的当前语句不需要继续分析其依赖关系;最后,将切片分析的阶段所有被分析的语句实体作为导致回归错误的程序行为切片输出。本方法阐明了回归错误的产生机理,对回归错误的修复具有指导作用。