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

• 学术论文 • 上一篇    下一篇

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

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

  1. 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-ling1,3, JIANG Shu-juan2, JIN Xiao-bo1, YANG Wei-dong1,3, XUE Meng2   

  1. 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

摘要: 软件错误定位效率可能受诸多因素影响,如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此,提出一个基于函数单调性的理论分析框架来证明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

中图分类号: