Computer Engineering and Applications ›› 2019, Vol. 55 ›› Issue (19): 253-262.DOI: 10.3778/j.issn.1002-8331.1901-0329

Previous Articles     Next Articles

Software Fault Localization Based on Conditioned Classification Execution Slicing Spectrum

QIU Baoxin, ZHOU Wei, CHEN Tinghai   

  1. School of Information Engineering, Xiangtan University, Xiangtan, Hunan 411105, China
  • Online:2019-10-01 Published:2019-09-30

基于条件分类可执行切片谱的软件缺陷定位

邱宝鑫,周维,陈听海   

  1. 湘潭大学 信息工程学院,湖南 湘潭 411105

Abstract: A technique of multiple fault localization based on conditioned execution slicing spectrum  considers program dependency and reduces the problem which the efficiency of the technology will decrease with the increase of the number of faults in the program. But the technology is affected by the fault-independent statement and is validated in a particular program. Therefore, Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization(CCESS-SFL) is proposed, The technology improves and classifies predicate conditions in CESS-MFL technology. Firstly, the conditional feature set is determined according to the predicate conditions and the fault-related conditioned execution slicing, the conditional classification is performed according to the conditional feature set to obtain the conditional classification execution slicing spectrum, then, the suspiciousness of the element is calculated, finally the suspiciousness report is generated. CCESS-SFL technology has been validated in seven Siemens suites. It is superior to the current popular Tarantula, Jaccard, Ochiai and CESS-MFL technology and can reduce the impact of fault-independent statements.

Key words: software fault localization, program slicing spectrum, conditional classification execution slicing, suspiciousness

摘要: 基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的影响比较大。因此,提出了一种基于条件分类可执行切片的软件缺陷定位方法(Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization,CCESS-SFL),该技术对CESS-MFL技术中的谓词条件进行了改进并分类。根据谓词条件与缺陷相关执行切片确定条件特征集,根据条件特征集进行分类得到条件分类执行切片谱,计算元素的可疑度,最后生成可疑度报告。CCESS-SFL技术在西门子7个套件中得到了有效的验证,它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术,可以进一步降低与缺陷无关语句的影响。

关键词: 软件缺陷定位, 程序切片谱, 条件分类执行切片, 可疑度