一种基于Kolmogorov-Smirnov检验的缺陷定位方法

被引：4

作者：

叶钢

余丹

李重文

李先军

尹杰

吕江花

马世龙

机构：

[1] 软件开发环境国家重点实验室(北京航空航天大学)

来源：

计算机研究与发展 | 2013年 / 04期

关键词：

软件测试; 缺陷定位; Kolmogorov-Smirnov检验; 程序谓词; 评估偏差;

D O I：

暂无

中图分类号：

TP311.53 [];

学科分类号：

081202 ; 0835 ;

摘要：

现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.

引用

页码：686 / 699

页数：14

共 4 条

[1]

Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact[J] . Hyunsook Do,Sebastian Elbaum,Gregg Rothermel.Empirical Software Engineering . 2005 (4)

[2] THE TEMPORAL LOGIC OF ACTIONS [J].

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03) :872-923

[3]

Bug isolation via remote program sampling .2 Ben Liblit,Alex Aiken,Alice X Zheng,Michael I. Jordan. Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation . 2003

[4]

Locating faulty code using failure-inducing chops .2 Gupta N,He H,Zhang X,Gupta R. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering . 2005

← 1 →