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

Program Fault Location Method Based on Critical Predicate

作　　者：辛良[1] 姜淑娟[1] 

机构地区：[1]中国矿业大学计算机科学与技术学院,徐州221116

出　　处：《计算机工程》2010年第14期54-55,58,共3页Computer Engineering

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

摘　　要：将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。The statements need to be tested can be decreased by applying the program slicing technology to locate program fault.This paper presents a program fault location method based on critical predicate.The method identifies the critical predicate that can affect the output result,adopts data slicing according to the predicate and fault output statement and introduces the code prioritization technology.It uses the information of data dependences and control dependences and can locate the fault precisely and quickly.

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

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]