基于谓词执行序列的软件缺陷定位算法  

Predicate Execution-Sequence Based Fault Localization Algorithm

作　　者：李伟[1] 郑征[1] 郝鹏[1] 高乙超[1] 饶培峰[1] 宫成[1] 

机构地区：[1]北京航空航天大学自动化科学与电气工程学院,北京100191

出　　处：《计算机学报》2013年第12期2406-2419,共14页Chinese Journal of Computers

基　　金：国家自然科学基金(60904066;91018001)资助~~

摘　　要：谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.For predicates based statistical debugging, the strength of gathering and utilizing execution information of predicates has a strong influence on the accuracy of software fault locali- zation. This paper mainly focuses on two questions. （1） Whether the accuracy of fault localization can be improved by enriching the predicate execution information？ （2） How to evaluate the relationship between the accuracy of fault localization and the augment of predicate execution information？ Based on the researches related with the two questions, a new statistical method, called Pesla, is proposed, which introduces the predicate execution-sequences to enrich the predicate execution information. Experimental results clearly demonstrate that more predicate execution information can indeed improve the accuracy of the fault localization. Furthermore, if the predi- cate execution information of target program meets the algorithm＇s demand, the higher accuracy of the fault localization will be achieved as the more predicate execution information is used.

关 键 词：软件缺陷定位 软件调试 统计学调试 谓词 执行序列 

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