基于偶然性正确测试用例发现的错误定位方法

计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (22): 252-257.

基于偶然性正确测试用例发现的错误定位方法

冯潞潞，丁佐华

浙江理工大学科学计算与软件工程中心，杭州 310018

出版日期:2015-11-15 发布日期:2015-11-16

Study to improve coverage-based fault localization based on discovery of coincidental correctness test cases

FENG Lulu, DING Zuohua

Scientific Computing & Software Engineering Laboratory, Zhejiang Sci-Tech University, Hangzhou 310018, China

Online:2015-11-15 Published:2015-11-16

摘要/Abstract

摘要： 软件错误定位是目前软件工程领域的重要研究课题，其中基于程序谱的错误定位（CFL）是一类重要的方法。偶然性正确测试用例对于CFL有着很大的负面影响，因此如何发现该类测试用例或者避免它们对CFL的影响对于提高CFL方法的定位效果有着重要的意义。通过分析偶然性正确对CFL定位方法的影响，发现一种没有误判率（false positive）的寻找偶然性正确测试用例的方法。在此基础上，提出了一种基于偶然性正确测试用例发现的CFL定位方法。通过实验表明，该方法可以普遍改善已有CFL方法的定位效果。

关键词: 错误定位, 偶然性正确, 软件测试, 调试

Abstract: Software fault localization is an important research field in software engineering, and the Coverage-based Fault Localization（CFL） is an important method among the existing approaches. Coincidental correctness（CC） test cases could have negative effects on the CFL, so that how to find CC test cases or reduce the impact of the CC test cases is significant to improve the CFL effect. By the research on how does CC test cases affect CFL, discover a way to find what kinds of test case are CC test cases which has no false positive situation. Based on this, propose a method to improve CFL on CC. It shows that this method can improve most of the CFL through the experiments.

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

冯潞潞，丁佐华. 基于偶然性正确测试用例发现的错误定位方法[J]. 计算机工程与应用, 2015, 51(22): 252-257.

FENG Lulu, DING Zuohua. Study to improve coverage-based fault localization based on discovery of coincidental correctness test cases[J]. Computer Engineering and Applications, 2015, 51(22): 252-257.

[1]	谭莉娟，郑巍，刘友林，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证方法综述[J]. 计算机工程与应用, 2021, 57(15): 9-22.
[2]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[3]	黄晴雁，牟永敏，崔展齐，张志华. 基于遗传算法的函数级别软件错误定位[J]. 计算机工程与应用, 2020, 56(22): 66-73.
[4]	祝政，胡志华. 多次抢占项目调度问题的混合遗传算法[J]. 计算机工程与应用, 2019, 55(6): 225-230.
[5]	姚毅文，姜淑娟，薄莉莉. 基于变异测试的错误定位研究进展[J]. 计算机工程与应用, 2019, 55(20): 1-12.
[6]	王莹. 具有不确定需求的软件测试用例生成方法研究[J]. 计算机工程与应用, 2018, 54(20): 35-41.
[7]	薛猛，姜淑娟，王荣存. 基于智能优化算法的测试数据生成综述[J]. 计算机工程与应用, 2018, 54(17): 16-23.
[8]	孟令冲1，舒坚2，黄勤涛2，曹伟芳2. 基于SysML活动图的测试序列集约简方法[J]. 计算机工程与应用, 2018, 54(13): 266-270.
[9]	何海江. 基于线性分类算法的软件错误定位模型[J]. 计算机工程与应用, 2017, 53(21): 42-48.
[10]	王馨樱1，蒋夏军2. 基于UML活动图及混合遗传算法的测试场景生成[J]. 计算机工程与应用, 2017, 53(1): 57-62.
[11]	张柯，张德平. 基于基因表达式编程的错误定位方法[J]. 计算机工程与应用, 2016, 52(9): 6-11.
[12]	刘博，李蜀瑜. ISTREM软件测试可靠性评估方法研究[J]. 计算机工程与应用, 2014, 50(22): 65-68.
[13]	张屹，潘正军. 基于多切片最优融合集的故障测试约束构造方法[J]. 计算机工程与应用, 2014, 50(20): 264-270.
[14]	范涛1，刘高辉1，叶笑春2，李文明2，宋爽2，范东睿2. SPARC平台模拟器源码级调试系统的研究与实现[J]. 计算机工程与应用, 2013, 49(4): 65-70.
[15]	张昊1，占海燕1，邓月堂2，蒋明3. 基于比特流修改的H.264解码器错误自动定位[J]. 计算机工程与应用, 2013, 49(19): 177-179.