基于改良程序谱的软件故障定位方法

计算机工程与科学

基于改良程序谱的软件故障定位方法

余晓菲，张仕，蔡蕊，陈慧峰，蒋建民

（福建师范大学数学与信息学院，福建福州 350007）

收稿日期:2017-08-06 修回日期:2017-10-11 出版日期:2018-02-25 发布日期:2018-02-25
基金资助:
国家自然科学基金（61772004）；福建省自然基金（2014J01221）

A fault localization method based on

improved program spectrum

YU Xiao-fei,ZHANG Shi,CAI Rui,CHEN Hui-feng,JIANG Jian-min

(College of Mathematics and Informatics,Fujian Normal University,Fuzhou 350007,China)

Received:2017-08-06 Revised:2017-10-11 Online:2018-02-25 Published:2018-02-25

摘要/Abstract

摘要：

故障定位是软件调试过程中一项耗时耗力的工作，自动化查错的应用对于提高软件调试效率具有重要的现实意义。近年来，基于程序谱的故障定位方法得到了研究人员的大量关注。针对单错误现象，提出了基于改良程序谱的软件故障定位新方法，该方法基于“在单错误情况下，若测试用例运行错误，则该测试用例运行必定覆盖了故障语句”这一论断，将所有的故障测试用例对程序语句的覆盖情况做交运算，从而得到故障基，再利用故障基定位故障。最后，以西门子测试程序集为测试数据，对比了不同方法对故障定位的效果和效率的影响，其结果表明所提出的方法可以有效地提高故障定位的效果和效率。

关键词: 故障定位, 程序谱, 测试用例, 故障基

Abstract:

Fault localization is a time-consuming and labor-intensive job in the process of software debugging. Debugging automation has important significance for replacing the manual check and improving the efficiency of software debugging. Specifically, many researchers have focused on fault automation location based on program spectrum in recent years. Aiming at the single error phenomenon, this paper presents a new fault localization method based on improved program spectrum. The method is based on the fact that the test case operation must cover the fault statement if the test case runs erroneously under the single error condition. It checks the coverage statements for all fault test cases, and then obtains the fault base. The fault base is used to improve the fault localization method of software debugging. Finally, the Siemens test suite is used as the test data to compare the effect of different methods on fault location and efficiency. The results show that the proposed method can greatly improve the effectiveness and efficiency of fault localization.

Key words: fault localization, program spectrum, test case, fault base

余晓菲，张仕，蔡蕊，陈慧峰，蒋建民. 基于改良程序谱的软件故障定位方法[J]. 计算机工程与科学.

YU Xiao-fei,ZHANG Shi,CAI Rui,CHEN Hui-feng,JIANG Jian-min.

A fault localization method based on

improved program spectrum

[J]. Computer Engineering & Science.

[1]	何海江. 融合语句复杂度的软件错误定位轻量级方法[J]. 计算机工程与科学, 2022, 44(12): 2187-2195.
[2]	张卫祥，齐玉华，魏波，张敏，窦朝晖. 基于蚁群算法的测试用例优先排序[J]. 计算机工程与科学, 2020, 42(02): 241-249.
[3]	占徐政. 一种针对高维输入域的适应性随机测试改进性算法[J]. 计算机工程与科学, 2018, 40(11): 1936-1943.
[4]	孙家泽1,2,王刚1. 利用佳点集遗传算法的白盒测试用例优先排序[J]. 计算机工程与科学, 2018, 40(10): 1815-1821.
[5]	杨羊,何柳柳,尚颖,李征. 面向测试生成的ASM模型约简研究[J]. 计算机工程与科学, 2018, 40(06): 1084-1092.
[6]	杨书新1,刁文1,2. 一种改进的基于交叉矩阵统计的软件故障定位技术[J]. 计算机工程与科学, 2016, 38(04): 679-685.
[7]	宣恒农1,张润驰1,何涛2,刘凌波1. PMC模型下的一个贪婪诊断算法[J]. J4, 2015, 37(08): 1430-1435.
[8]	王燕,聂长海,张少兵. 面向时移电视类业务的组合测试实践研究[J]. J4, 2015, 37(05): 958-966.
[9]	殷鹏川，贲可荣. 基于路径引导的回归测试用例集扩增方法[J]. J4, 2014, 36(11): 2159-2163.
[10]	吴洁明，李硕征. CNONIX标准符合性测试研究[J]. J4, 2014, 36(05): 884-890.
[11]	张小艳，文辉. 基于ASL的模型驱动架构测试方法[J]. J4, 2014, 36(04): 662-666.
[12]	李根,卢凯，张英，卢锡城，冯华，张巍. Hunter：一种指令集体系结构无关的二进制级动态测试用例生成技术[J]. J4, 2011, 33(4): 69-74.
[13]	苗春雨1,陈丽娜2,赵建民2. 基于一致性测试理论的Statechart描述的测试用例自动生成[J]. J4, 2011, 33(3): 82-89.
[14]	楼芳,李亮,贺志强. 基于本体的渗透测试用例复用模型[J]. J4, 2011, 33(2): 23-26.
[15]	朱海燕范辉谢青松刘培强. 测试用例排序的研究[J]. J4, 2008, 30(1): 79-81.