高级检索

    基于条件执行切片谱的多错误定位

    A Technique of Multiple Fault Localization Based on Conditioned Execution Slicing Spectrum

    • 摘要: 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization, CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.

       

      Abstract: Program spectrum-based software fault localization (PS-SFL) has become one of the hottest research directions due to its high efficiency of localizing faults. It usually localizes program faults by computing the suspiciousness of program statements according to the test coverage information. However, the efficiency of this technology will decrease with the increase of the number of faults in the program. One reason is that the suspiciousness of program statement is computed by counting the number of failed tests and passed tests, but the failed tests that covered the program statement may be caused by different faults. This paper proposes a multiple fault localization (CESS-MFL) technique, which is based on conditioned execution slicing spectrum to alleviate the above problem and improve the efficiency of localizing multiple faults. The CESS-MFL technique firstly constructs a spectrum matrix of fault-related conditioned execution slice according to the predicates of input variables, then computes the suspiciousness of elements (statements or blocks of statements) in fault-related conditioned execution slice and generates a suspiciousness report. The experiment shows that the CESS-MFL technique has higher efficiency than the popular program spectrum-based Tarantula technique, program slicing-based Intersection technique and Union technique in the multiple-fault program, and can be implemented in effective space and time complexity.

       

    /

    返回文章
    返回