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

被引：11

作者：

李伟

郑征

郝鹏

高乙超

饶培峰

宫成

机构：

[1] 北京航空航天大学自动化科学与电气工程学院

来源：

计算机学报 | 2013年 / 36卷 / 12期

关键词：

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

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

谓词执行信息收集和利用的程度会直接影响基于谓词的统计学缺陷定位方法(PBSD)的定位效果.文中主要围绕两个问题进行研究:(1)是否可以通过增加谓词的执行信息量来提高算法的定位精度?(2)执行信息量与算法定位精度有什么关系?在此基础上,设计了一种基于谓词执行序列的软件缺陷定位算法,通过引入谓词执行序列增大算法使用的谓词执行信息量.实验表明,增大谓词执行信息量确实可以提高缺陷定位精度,且当程序中谓词执行信息量充足时,定位精度会随信息量的增加不断提高.

引用

页码：2406 / 2419

页数：14

共 6 条

[1] A Model for Spectra-Based Software Diagnosis [J].

Naish, Lee ;

Lee, Hua Jie ;

Ramamohanarao, Kotagiri .

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (03)

[2] Non-parametric statistical fault localization [J].

Zhang, Zhenyu ;

Chan, W. K. ;

Tse, T. H. ;

Yu, Y. T. ;

Hu, Peifeng .

JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (06) :885-905

[3]

Fault localization through evaluation sequences[J] . Zhenyu Zhang,Bo Jiang,W.K. Chan,T.H. Tse,Xinming Wang.The Journal of Systems & Software . 2009 (2)

[4]

Effective program debugging based on execution slices and inter-block data dependency[J] . W. Eric Wong,Yu Qi.The Journal of Systems & Software . 2005 (7)

[5] PROGRAMMERS USE SLICES WHEN DEBUGGING [J].

WEISER, M .

COMMUNICATIONS OF THE ACM, 1982, 25 (07) :446-452

[6]

Debugging with dynamic slicing and backtracking .2 Agrawal,Hiralal,Demillo,Richard A,Spafford,Eugene H. Software - Practice and Experience . 1993

← 1 →