面向有效错误定位的偶然正确性识别方法

doi:10.3969/j.issn.0372-2112.2016.12.030

电子学报 ›› 2016, Vol. 44 ›› Issue (12): 3026-3031.DOI: 10.3969/j.issn.0372-2112.2016.12.030

面向有效错误定位的偶然正确性识别方法

曹鹤玲^1,2,3, 姜淑娟¹, 王兴亚¹, 薛猛¹, 钱俊彦³

1. 中国矿业大学计算机科学与技术学院, 江苏徐州 221116;
2. 河南工业大学信息科学与工程学院, 河南郑州 450001;
3. 桂林电子科技大学广西可信软件重点实验室, 广西桂林 541004

收稿日期:2015-03-19 修回日期:2015-08-19 出版日期:2016-12-25
- 通讯作者:
- 姜淑娟
- 作者简介:
- 曹鹤玲,女,1980年5月出生于河南南阳.中国矿业大学博士生,CCF会员.主要研究领域为软件分析与测试、数据挖掘.E-mail:caohl410@cumt.edu.cn
- 基金资助:
- 国家自然科学基金 (No.61202006，No.61340037，No.61502497，No.61562015，No.61602154）; 广西可信软件重点实验室研究课题资助 (No.kx201616，No.kx201532）; 河南省高等学校重点科研项目计划资助 (No.16A520005）

Identifying Coincidental Correctness for Effective Fault Localization

CAO He-ling^1,2,3, JIANG Shu-juan¹, WANG Xing-ya¹, XUE Meng¹, QIAN Jun-yan³

1. School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, Jiangshu 221116, China;
2. College of Information Science and Engineering, Henan University of Technology, Zhengzhou, Henan 450001, China;
3. Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, Guangxi 541004, China

Received:2015-03-19 Revised:2015-08-19 Online:2016-12-25 Published:2016-12-25
- Supported by:
- National Natural Science Foundation of China (No.61202006, No.61340037, No.61502497, No.61562015, No.61602154); Research Project of Guangxi Key Laboratory of Trusted Software (No.kx201616, No.kx201532); Key Scientific Research Programs of colleges and universities of Henan Province (No.16A520005)

摘要/Abstract

摘要：

错误定位是软件调试中耗时费力的活动之一.针对偶然正确性影响错误定位效率的问题，提出面向错误定位的偶然正确性识别方法.该方法首先识别偶然正确性元素；然后，挑选“偶然正确性特征元素”，使用该特征元素约简程序执行轨迹；在此基础上，建立基于模糊c均值聚类的偶然正确性识别模型，将其结果应用于错误定位.为验证该方法的有效性，基于3组测试程序开展偶然正确性识别，并将其结果应用于Tarantula等4种错误定位方法.实验结果表明，与基于k-means聚类的偶然正确性识别方法相比，该方法在偶然正确性识别方面具有较低的误报率和漏报率，并且更能提高错误定位的效率.

关键词: 软件调试, 错误定位, 偶然正确性, 聚类分析

Abstract:

Fault localization is one of the most time-consuming activities in software debugging.An identifying coincidental correctness approach for effective fault localization is proposed to decrease the effect of coincidental correctness on the effectiveness of fault localization.First,the elements of coincidental correctness are computed.Second,the higher suspicious coincidental correctness elements are selected as feature elements of coincidental correctness,and then program execution traces are reduced in terms of feature elements.Finally,fuzzy c-means based coincidental correctness identification model is created based on the reduced execution traces to locate faults.It was applied to analyze three groups of programs,and test cases removing coincidental correctness were used as input for four popular fault localization approaches,such as Tarantula.The experimental results show that our approach had low false positives and false negatives,and performed well in terms of the effectiveness.

Key words: software debugging, fault localization, coincidental correctness, clustering

中图分类号:

TP311

曹鹤玲, 姜淑娟, 王兴亚, 等. 面向有效错误定位的偶然正确性识别方法[J]. 电子学报, 2016, 44(12): 3026-3031.

CAO He-ling, JIANG Shu-juan, WANG Xing-ya, et al. Identifying Coincidental Correctness for Effective Fault Localization[J]. Acta Electronica Sinica, 2016, 44(12): 3026-3031.

参考文献

[1] Hierons R M.Avoiding coincidental correctness in boundary value analysis[J].ACM Transactions on Software Engineering and Methodology,2006,15(3):227-241.
[2] Masri W,Assi R A.Cleansing test suites from coincidental correctness to enhance fault-localization[A].Proceedings of the 3rd International Conference on Software Testing,Verification and Validation[C].Paris,France:IEEE,2010.165-174.
[3] Masri W,Podgurski A.Measuring the strength of information flows in programs[J].ACM Transactions on Software Engineering and Methodology,2009,19(2):5-37.
[4] Wang X,Cheung S C,et al.Taming coincidental correctness:coverage refinement with context patterns to improve fault localization[A].Proceedings of the 31th International Conference on Software Engineering[C].Los Alamitos,CA:IEEE Computer Society,2009.45-55.
[5] Bandyopadhyay A.Mitigating the effect of coincidental correctness in spectrum based fault localization[A].Proceedings of the 5th International Conference on Software Testing,Verification and Validation[C].Montreal,QC:IEEE,2012.479-482.
[6] Miao Y,Chen Z,Li S,et al.A Clustering-based strategy to identify coincidental correctness in fault localization[J].International Journal of Software Engineering and Knowledge Engineering,2013,23(05):721-741.
[7] Masri W,Assi R A.Prevalence of coincidental correctness and mitigation of its impact on fault localization[J].ACM Transactions on Software Engineering and Methodology,2014,23(1):1-28.
[8] Jones J A,Harrold M J,Stasko J.Visualization of test information to assist fault localization[A].Proceedings of the 24th International Conference on Software Engineering[C].Los Alamitos,CA:IEEE Computer Society,2002.467-477.
[9] Rui A,Peter Z,et al.An evaluation of similarity coefficients for software fault localization[A].Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing[C].Riverside,CA:IEEE,2006.39-46.
[10] Naish L,Lee H J,et al.A model for spectra-based software diagnosis[J].ACM Transactions on Software Engineering and Methodology,2011,20(3):11-43.
[11] Renieris M,Reiss S P.Fault localization with nearest neighbor queries[A].Proceedings of the 18th IEEE International Conference on Automated Software Engineering[C].New York,USA:ACM,2003.30-39.

[1]	路皓翔, 刘振丙, 张静, 王子民. 结合多尺度循环卷积和多聚类空间的红外图像增强[J]. 电子学报, 2022, 50(2): 415-425.
[2]	李雅, 黄少滨, 李艳梅, 迟荣华, 郎大鹏. 一种基于最弱前置条件的软件错误定位算法[J]. 电子学报, 2019, 47(1): 25-32.
[3]	曹鹤玲, 姜淑娟, 靳小波, 杨卫东, 薛猛. 怀疑度计算公式受偶然正确性影响理论分析[J]. 电子学报, 2018, 46(6): 1365-1370.
[4]	王亚文, 陈鸿昶, 李邵梅, 高超. 基于自适应分层结构的压缩分布场跟踪算法[J]. 电子学报, 2017, 45(4): 799-804.
[5]	曹鹤玲, 姜淑娟. 基于Chameleon聚类分析的多错误定位方法[J]. 电子学报, 2017, 45(2): 394-400.
[6]	徐勇, 毋国庆, 袁梦霆. 结合Craig插值分析的软件错误诊断方法[J]. 电子学报, 2016, 44(10): 2514-2521.
[7]	徐森, 周天, 于化龙, 李先锋. 一种基于矩阵低秩近似的聚类集成算法[J]. 电子学报, 2013, 41(6): 1219-1224.
[8]	罗养霞, 房鼎益. 基于聚类分析的软件胎记特征选择[J]. 电子学报, 2013, 41(12): 2334-2338.
[9]	范静涛;韩成;张超;李明勋;白宝兴;杨华民. 一种新的De Bruijn彩色结构光解码技术研究[J]. 电子学报, 2012, 40(3): 483-488.
[10]	何宏;谭永红. 一种基于动态遗传算法的聚类新方法[J]. 电子学报, 2012, 40(2): 254-259.
[11]	于尧;郭磊;王兴伟;李平平. 一种适合于分级Ad Hoc网络的实时风险评估安全策略[J]. 电子学报, 2011, 39(1): 108-113.
[12]	淦文燕, 李德毅, 王建民. 一种基于数据场的层次聚类方法[J]. 电子学报, 2006, 34(2): 258-262.
[13]	李洁, 高新波, 焦李成. 基于特征加权的模糊聚类新算法[J]. 电子学报, 2006, 34(1): 89-92.
[14]	任双桥, 刘永祥, 黎湘, 庄钊文. 基于多姿态角下一维距离像的雷达目标三维成像[J]. 电子学报, 2005, 33(6): 1088-1090.
[15]	王洪波, 林宇, 金跃辉, 程时端. 一个消除单向时延测量中时钟频差和时钟重置的新方法[J]. 电子学报, 2005, 33(4): 584-589.

面向有效错误定位的偶然正确性识别方法

Identifying Coincidental Correctness for Effective Fault Localization

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics