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

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

作　　者：曹鹤玲[1,2] 姜淑娟[3] 靳小波[1] 杨卫东[1,2] 薛猛 CAO He-ling;JIANG Shu-juan;JIN Xiao-bo;YANG Wei-dong;XUE Meng(College of Information Science and Engineering,Henan University of Technology,Zhengzhou,Henan 450001,China;School of Computer Science and Technology,China University of Mining and Technology,Xuzhou,Jiangshu 221116,China;Key Laboratory of Grain Information Processing and Control,Ministry of Education,Zhengzhou,Henan 450001,China)

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

出　　处：《电子学报》2018年第6期1365-1370,共6页Acta Electronica Sinica

基　　金：国家自然科学基金(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)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]