基于关键谓词的程序错误定位方法

摘要：

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数.提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术.该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位.

关键词：错误定位、程序切片、关键谓词

所属期刊栏目：36

分类号：TP311.1(计算技术、计算机技术)

资助基金：教育部科学技术研究基金资助重点项目108063;江苏省自然科学基金资助项目BK2008124;中国矿业大学研究基金资助项目0D080310

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

页数：共3页

页码：54-55,58