摘要: 将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。
关键词:
错误定位,
程序切片,
关键谓词
Abstract: 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.
Key words:
fault location,
program slicing,
critical predicate
中图分类号:
辛良, 姜淑娟. 基于关键谓词的程序错误定位方法[J]. 计算机工程, 2010, 36(14): 54-55.
XIN Liang, JIANG Chu-Juan. Program Fault Location Method Based on Critical Predicate[J]. Computer Engineering, 2010, 36(14): 54-55.