软件错误自动定位关键科学问题及研究进展

被引：17

作者：

王克朝 ^{[1
,2
]}

王甜甜 ^{[1
]}

苏小红 ^{[1
]}

马培军 ^{[1
]}

机构：

[1] 哈尔滨工业大学计算机科学与技术学院

[2] 哈尔滨学院软件学院

来源：

计算机学报 | 2015年 / 38卷 / 11期

基金：

高等学校博士学科点专项科研基金;

关键词：

软件失效; 软件缺陷; 错误定位; 自动化调试; 程序分析;

D O I：

暂无

中图分类号：

TP311.53 [];

学科分类号：

081202 ; 0835 ;

摘要：

程序源代码中的缺陷是导致软件不可靠的一个主要原因.软件错误自动定位技术通过计算机分析程序源代码或执行过程中产生的运行状态,检测程序中的异常并将其独立出来作为需要进一步调试的可疑代码,从而缩小缺陷代码的搜索范围,辅助开发人员更快地识别缺陷语句并分析软件失效的产生原因.为了清晰地分析软件错误定位领域的关键科学问题,文中首先定义了"失效-错误定位-理解"模型,然后形式化地描述了软件错误定位相关概念;接下来,调研国内外最新研究进展,统计分析了发展趋势;重点分析了各种错误定位方法的基本思想、优缺点及其对关键问题的解决情况;最后总结了尚待解决的难点问题,指出了未来可能的研究方向.

引用

页码：2262 / 2278

页数：17

共 43 条

[1] 基于谓词执行序列的软件缺陷定位算法 [J].

李伟 ;

郑征 ;

郝鹏 ;

高乙超 ;

饶培峰 ;

宫成 .

计算机学报, 2013, 36 (12) :2406-2419

[2] 考虑类特性的面向对象错误定位 [J].

涂径玄 ;

陈林 ;

许蕾 ;

卢红敏 ;

徐宝文 .

计算机学报, 2013, 36 (12) :2420-2428

[3] 一种基于程序变异的软件错误定位技术 [J].

贺韬 ;

王欣明 ;

周晓聪 ;

李文军 ;

张震宇 ;

张成志 .

计算机学报, 2013, 36 (11) :2236-2244

[4] 一种基于信息量的缺陷定位方法 [J].

丁晖 ;

陈林 ;

钱巨 ;

许蕾 ;

徐宝文 .

软件学报, 2013, 24 (07) :1484-1494

[5] 基于条件执行切片谱的多错误定位 [J].

文万志 ;

李必信 ;

孙小兵 ;

齐珊珊 .

计算机研究与发展, 2013, 50 (05) :1030-1043

[6] 一种基于层次切片谱的软件错误定位技术 [J].

文万志 ;

李必信 ;

孙小兵 ;

刘翠翠 .

软件学报, 2013, 24 (05) :977-992

[7] 一种基于Kolmogorov-Smirnov检验的缺陷定位方法 [J].

叶钢 ;

余丹 ;

李重文 ;

李先军 ;

尹杰 ;

吕江花 ;

马世龙 .

计算机研究与发展, 2013, (04) :686-699

[8] 神经网络在软件多故障定位中的应用研究 [J].

何加浪 ;

张宏 .

计算机研究与发展, 2013, 50 (03) :619-625

[9] 基于马尔可夫模型的软件错误定位方法 [J].

张云乾 ;

郑征 ;

季晓慧 ;

张文博 ;

张震宇 .

计算机学报, 2013, 36 (02) :445-456

[10] 基于关联挖掘的软件错误定位方法 [J].

赵磊 ;

王丽娜 ;

高东明 ;

张震宇 ;

熊作婷 .

计算机学报, 2012, 35 (12) :2528-2540

← 1 2 3 4 5 →