怀疑度计算公式受偶然正确性影响理论分析

doi:10.3969/j.issn.0372-2112.2018.06.013

电子学报 ›› 2018, Vol. 46 ›› Issue (6): 1365-1370.DOI: 10.3969/j.issn.0372-2112.2018.06.013

怀疑度计算公式受偶然正确性影响理论分析

曹鹤玲^1,3, 姜淑娟², 靳小波¹, 杨卫东^1,3, 薛猛²

1. 河南工业大学信息科学与工程学院, 河南郑州 450001;
2. 中国矿业大学计算机科学与技术学院, 江苏徐州 221116;
3. 粮食信息处理与控制教育部重点实验室, 河南郑州 450001

收稿日期:2016-11-21 修回日期:2017-07-05 出版日期:2018-06-25
- 通讯作者:
- 姜淑娟
- 作者简介:
- 曹鹤玲,女,1980年5月出生于河南南阳.河南工业大学信息科学与工程学院教师,CCF会员.主要研究领域为软件分析与测试、数据挖掘.E-mail:caohl@haut.edu.cn
- 基金资助:
- 国家自然科学基金 (No.61602154，No.61673384，No.61502497，No.61601170，No.61772173，No.U1404617）; 粮食信息处理与控制教育部重点实验室资助项目 (No.KFJJ-2016-105）; 河南省高等学校重点科研项目 (No.16A520005）; 河南工业大学高层次人才基金 (No.2015BS006）; 河南工业大学"省属高校基本科研业务费专项资金"(No.2016QNJH28）; 河南省科技攻关计划项目 (No.172102210216）; 粮食行业公益性科研专项 (No.201413001）; 河南省高校科技创新团队 (No.16IRTSTHN026）

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

CAO He-ling^1,3, JIANG Shu-juan², JIN Xiao-bo¹, YANG Wei-dong^1,3, XUE Meng²

1. College of Information Science and Engineering, Henan University of Technology, Zhengzhou, Henan 450001, China;
2. School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, Jiangshu 221116, China;
3. Key Laboratory of Grain Information Processing and Control, Ministry of Education, Zhengzhou, Henan 450001, China

Received:2016-11-21 Revised:2017-07-05 Online:2018-06-25 Published:2018-06-25
- Corresponding author:
- JIANG Shu-juan
- Supported by:
- National Natural Science Foundation of China (No.61602154, No.61673384, No.61502497, No.61601170, No.61772173, No.U1404617); Key Laboratory of Food Information Processing and Control, Ministry of Education (No.KFJJ-2016-105); Key Scientific Research Programs of colleges and universities of Henan Province (No.16A520005); High-level Talents Fund of Henan University of Technology (No.2015BS006); Fundamental Research Funds for Provincial Colleges and Universities of Henan Province, Henan University of Technology (No.2016QNJH28); Supported by Technology Research and Development Program Fund of Henan Province (No.172102210216); Public Welfare Research Project of Food Industry (No.201413001); Science Technology Innovation Team of Universities in Henan Province (No.16IRTSTHN026)

摘要/Abstract

摘要： 软件错误定位效率可能受诸多因素影响，如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此，提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索.

关键词: 软件调试, 错误定位, 偶然正确性, 理论证明

Abstract: The efficiency of software fault localization may be affected by many factors,such as the prioritization of test case,the structure of test case,the coverage of test case and coincidental correctness test case etc.This paper focuses on the impact of the efficiency of calculation formula by coincidental correctness test cases.For this,we put forward a theoretical analysis framework based on function monotonicity to prove the validity of 30 classical calculation formulas by coincidental correctness.It is a useful theoretical exploration that the efficiency of calculation formula is affected by coincidental correctness.

Key words: software debugging, fault localization, coincidental correctness, theoretical analysis

中图分类号:

TP311

曹鹤玲, 姜淑娟, 靳小波, 等. 怀疑度计算公式受偶然正确性影响理论分析[J]. 电子学报, 2018, 46(6): 1365-1370.

CAO He-ling, JIANG Shu-juan, JIN Xiao-bo, et al. Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness[J]. Acta Electronica Sinica, 2018, 46(6): 1365-1370.

参考文献

[1] Masri Wes,Assi Rawad Abou.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.
[2] Lee Hua Jie,Naish Lee,Ramamohanarao Kotagiri.Study of the relationship of bug consistency with respect to performance of spectra metrics[A].Proceedings of the 2nd IEEE International Conference on Computer Science and Information Technology[C].Beijing,China:IEEE,2009.501-508.
[3] Naish Lee,Lee Hua Jie,Ramamohanarao Kotagiri.A model for spectra-based software diagnosis[J].ACM Transactions on Software Engineering and Methodology,2011,20(3):11-43.
[4] Xie Xiaoyuan,Chen Tsong Yueh,Xu Baowen.A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization[J].ACM Transactions on Software Engineering and Methodology,2013,22(4):1-40.
[5] Xie Xiaoyuan,Kuo Fei-Ching,Harman Mark.Provably optimal and human-competitive results in sbse for spectrum based fault localisation[A].Search Based Software Engineering[C].Heidelberg:Springer,2013.224-238.
[6] Yoo Shin.Evolving human competitive spectra-based fault localisation techniques[A].Proceedings of the 4th International Conference on Search Based Software Engineering[C].Heidelberg:Springer,2012.244-258.
[7] Masri Wes,Assi Rawad Abou,Fatairi Nour.Enhancing fault localization via multivariate visualization[A].Proceedings of the 5th IEEE International Conference on Software Testing,Verification and Validation[C].Montreal,QC:IEEE,2012.737-741.
[8] 王建峰,魏长安,等.基于错误交互集的组合测试软件故障定位方法[J].电子学报,2014,42(6):1173-1178. Wang Jianfeng,Wei Chang-an,et al.Locating errors in combinatorial testing using set of possible faulty interactions[J].Acta Electronica Sinica,2014,42(6):1173-1178.(in Chinese)
[9] 陈翔,鞠小林,文万志,顾庆.基于程序频谱的动态缺陷定位方法研究[J].软件学报,2015,26(2):390-412. Chen Xiang,Ju Xiao-Lin,Wen Wan-Zhi,Gu Qing.Review of dynamic fault localization approaches based on program spectrum[J].Journal of Software,2015,26(2):390-412.(in Chinese)
[10] 王克朝,王甜甜,苏小红,马培军.软件错误自动定位关键科学问题及研究进展[J].计算机学报,2015,38(11):2262-2278. Wang Ke-Chao,WangTian-Tian,Su Xiao-Hong,Ma Pei-Jun.Key scientific issues and state-art of automatic software fault localization[J].Chinese Journal of Computers,2015,38(11):2262-2278.(in Chinese)

怀疑度计算公式受偶然正确性影响理论分析

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

[1]	李雅, 黄少滨, 李艳梅, 迟荣华, 郎大鹏. 一种基于最弱前置条件的软件错误定位算法[J]. 电子学报, 2019, 47(1): 25-32.
[2]	曹鹤玲, 姜淑娟. 基于Chameleon聚类分析的多错误定位方法[J]. 电子学报, 2017, 45(2): 394-400.
[3]	曹鹤玲, 姜淑娟, 王兴亚, 薛猛, 钱俊彦. 面向有效错误定位的偶然正确性识别方法[J]. 电子学报, 2016, 44(12): 3026-3031.
[4]	徐勇, 毋国庆, 袁梦霆. 结合Craig插值分析的软件错误诊断方法[J]. 电子学报, 2016, 44(10): 2514-2521.