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

• 作者: 宫成 李伟 郑征 郝鹏 饶培峰 高乙超
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件缺陷定位 软件调试 统计学调试 谓词 执行序列
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 软件工程与系统软件
• 页码范围: 2406-2419
• 页数: 14页
• 分类号: TP311
• 字数: 13731字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.02406

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟	北京航空航天大学自动化科学与电气工程学院	68	692	13.0	25.0
2	郑征	北京航空航天大学自动化科学与电气工程学院	16	127	7.0	11.0
3	郝鹏	北京航空航天大学自动化科学与电气工程学院	3	39	2.0	3.0
4	高乙超	北京航空航天大学自动化科学与电气工程学院	3	39	2.0	3.0
5	宫成	北京航空航天大学自动化科学与电气工程学院	3	39	2.0	3.0
6	饶培峰	北京航空航天大学自动化科学与电气工程学院	2	22	1.0	2.0