Please wait a minute...
浙江大学学报(工学版)
J4  2011, Vol. 45 Issue (6): 984-990    DOI: 10.3785/j.issn.1008-973X.2011.06.004
自动化技术、计算机技术     
软件故障定位报告质量评估方法
文勇1,2, 蔡铭1, 戴建华3, 陈刚1
1. 浙江大学 计算机科学与技术学院,浙江 杭州 310027； 2. 广西民族大学 物理与电子工程学院,
广西 南宁 530006； 3. 浙江行政学院 信息管理部,浙江 杭州 311121
Quality assessment methods for software fault localizating reports
WEN Yong1,2, CAI Ming1, DAI Jian-hua3, CHEN Gang1
1. College of Computer Science and Technology, Zhejiang University, Hangzhou 310027,China; 2. College of
Physics and Electronic Engineering, Guangxi University for Nationalities, Nanning 530006,China; 3. Department of
Information Management, School of Administration of Zhejiang Province, Hangzhou 311121,China
 全文: PDF  HTML
摘要：

通过对基于静态程序依赖图的软件故障定位报告质量评估方法的分析,指出由于其评分缺乏对程序运行时动态特征的描述,而影响评分质量,提出一种新的改进方法.该方法利用描述程序运行的特征谓词信息和基于失败运行测试用例的程序运行轨迹,将动态特征融入到静态程序依赖图中,构造动态程序依赖图,在此基础上运用基于广度优先搜索算法,得到能够更加真实反映在查错过程中需要排查的程序语句集合.结合软件故障定位模型的实证分析表明,该方法能够有效提高评估质量,促进定位模型的改进.
Abstract:

The quality assessment methods for software fault localization reports based on static program dependence graph fail to take into account the dynamic characteristics, which results in far below expectation. A novel quality assessment method was presented to improve the performance. This method makes use of the predicates describing the characteristics of program running and the running track based on the test cases in which a run of the program failed, constructs a dynamic program dependence graph, utilizes the breadth-first search-based algorithm, and obtains a collection of statements which is a more realistic reflection of the process in finding the bug. This method was implemented and evaluated on a fault localization model. The results show that this novel method can more effectively give out the quality of evaluations and promote the improvement of the localization model.
出版日期: 2011-07-14
:  TP 311.5  
基金资助:

航天科技创新基金重点资助项目（CASC04）;航天支撑技术基金资助项目（GFJG-E10803）.
通讯作者: 蔡铭,男,副教授.     E-mail: cm@zju.edu.cn
作者简介: 文勇(1969—),男,高级工程师,主要研究方向为软件工程.E-mail:wen.yuanshan@gmail.com
服务　　
把本文推荐给朋友
加入引用管理器
E-mail Alert
作者相关文章　　

引用本文:

文勇, 蔡铭, 戴建华, 陈刚. 软件故障定位报告质量评估方法[J]. J4, 2011, 45(6): 984-990.

WEN Yong, CAI Ming, DAI Jian-hua, CHEN Gang. Quality assessment methods for software fault localizating reports. J4, 2011, 45(6): 984-990.

链接本文:

https://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2011.06.004    或    https://www.zjujournals.com/eng/CN/Y2011/V45/I6/984

［1］ 李必信.程序切片技术及其应用［M］.北京: 科学出版社,2006: 31-33.
［2］ RENIERIS M,REISS S P. Fault localization with nearest neighbor queries［C］∥Proceedings of the 18th IEEE International Conference on Automated Software Engineering. Montreal, Canada: IEEE, 2003: 30-39.
［3］ CLEVE H,ZELLER A. Locating causes of program failures［C］∥Proceedings of 27th International Conference on Software Engineering. Missouri, USA: ACM, 2005: 342-351.
［4］ LIU Chao,YAN Xifeng, FEI Long,et al. SOBER: statistical modelbased bug localization［C］∥Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT International Symposium on Foundation of Software Engineering. Lisbon, Portugal: ACM, 2005: 286-295.
［5］ HU Peifeng, ZHANG Zhenyu, CHAN W K,et al. Fault localization with nonparametric program behavior model［C］∥Proceedings of the 8th International Conference on Quality Software. Oxford, UK: IEEE, 2008: 385-395.
［6］ ZHANG Zhenyu, JIANG Bo, CHAN W K,et al. Debugging through evaluation sequences: a controlled experimental study［C］∥ Proceedings of 32nd Annual IEEE International Computer Software and Applications Conference. Turku, Finland: IEEE, 2008: 128-135.
［7］ CHILIMBI T, LIBLIT B, MEHRA K,et al. HOLMES: effective statistical debugging via efficient path profiling［C］∥Proceedings of the 31st International Conference on Software Engineering. Vancouver, Canada: ACM, 2009: 34-44.
［8］ LIBLIT B, NAIK M,ZHENG A X,et al. Scalable statistical bug isolation［C］∥ Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation. Chicago, USA: ACM, 2005: 15-26.
［9］ ROTHERMEL G,ELBAUM S, KINNEER A, et al. SIR: softwareartifact infrastructure repository［EB/OL］.［20090901］. http:∥sir.unl.edu/portal/index.html.
［10］ LIBLIT B. CBI: The cooperative bug isolation project［EB/OL］. ［2009-09-01］. http:∥www.cs.wisc.edu/cbi/.
［11］ GrammaTech, Inc. CodeSurfer 2.1p［EB/OL］.［2009-09-01］. http:/ww.grammatech.com.
[1] 王帆,杨小虎. 基于排队论和模拟的缺陷移除重分配策略改进[J]. J4, 2011, 45(9): 1553-1557.
[2] 王华, 应晶, 蒋涛. 基于审查不确定性的预见式软件自适应[J]. J4, 2010, 44(2): 213-219.
[3] 顾新建, 李晓, 祁国宁, 等. 产品服务系统理论和关键技术探讨[J]. J4, 2009, 43(12): 2237-2243.