Program Fault Location Method Based on Critical Predicate
Shujuan Jiang · Jisuanji gongcheng · 2010
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.