结合语句执行补集的程序错误定位

计算机科学与探索 ›› 2011, Vol. 5 ›› Issue (6): 522-533.

结合语句执行补集的程序错误定位

胡从兴^1,2, 陈林^1,3, 丁晖¹, 曾奕²

1. 南京大学计算机科学与技术系, 南京 210093
2. 上海市计算机软件评测重点实验室, 上海 201114
3. 南京大学计算机软件新技术国家重点实验室, 南京 210093

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-06-01 发布日期:2011-06-01

Fault Localization Method of Combining Statement Execution Complement

HU Congxing, CHEN Lin, DING Hui, ZENG Yi

1. Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China
2. Shanghai Key Laboratory of Computer Software Testing and Evaluation, Shanghai 201114, China
3. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China

Received:1900-01-01 Revised:1900-01-01 Online:2011-06-01 Published:2011-06-01

摘要/Abstract

摘要： 基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能, 即可疑度, 通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题, 分析了语句执行补集对错误定位的积极影响, 进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明, 与其他方法相比, 所提方法能够减少找到错误时需要检查的语句数目, 从而达到提高错误定位效果的目的。

关键词: 软件测试, 覆盖信息, 错误定位, 调试

Abstract:

Spectrum-based fault localization approaches usually calculate the suspiciousness of statements by coverage information, and then examine the statement sequence ranked by the suspiciousness in descending order until find fault. But most of existing approaches only consider the execution information of statements after running testcases. This paper gives a study revealing that the execution complement of statements should be also taken into consideration, and further presents a method that combines the execution complement of statements to locate fault.Compared with other methods, the experimental results show that the approach can reduce the number of statements that need to be examined to find the faulty statement, and thus improve the effect of fault localization.

Key words: software testing, coverage information, fault localization, debugging

胡从兴1,2 , 陈林1,3 , 丁晖1 , 曾奕2 . 结合语句执行补集的程序错误定位[J]. 计算机科学与探索, 2011, 5(6): 522-533.

HU Congxing, CHEN Lin, DING Hui, ZENG Yi. Fault Localization Method of Combining Statement Execution Complement[J]. Journal of Frontiers of Computer Science and Technology, 2011, 5(6): 522-533.

[1]	韩鑫鑫，贲可荣，张献. 军用软件测试领域的命名实体识别技术研究[J]. 计算机科学与探索, 2020, 14(5): 740-748.
[2]	张毅伟，贲可荣. 基于状态图测试的迁移路径生成方法[J]. 计算机科学与探索, 2019, 13(6): 961-972.
[3]	吕成成，张龙，邓茜，曾凡平，严俊，张健. Web应用程序搜索功能的组合测试[J]. 计算机科学与探索, 2019, 13(11): 1839-1851.
[4]	陆凯，姜淑娟，王兴亚. 结合图挖掘和支持向量机的错误定位[J]. 计算机科学与探索, 2018, 12(10): 1614-1621.
[5]	余恒，贲可荣. 针对模型转换程序的蜕变测试方法研究[J]. 计算机科学与探索, 2016, 10(7): 915-923.
[6]	江联，黄海亮，周晓聪，王欣明，李文军. 基于变量感染分析的软件错误定位技术[J]. 计算机科学与探索, 2014, 8(8): 966-977.
[7]	何炎祥，陈勇，吴伟，李清安，江南，徐超. 绿色编译优化策略：研究综述[J]. 计算机科学与探索, 2013, 7(8): 673-690.
[8]	赵勇，张智强，严俊，张健. 软件兼容性测试的故障定位分析[J]. 计算机科学与探索, 2013, 7(5): 405-411.
[9]	鞠小林，姜淑娟，张艳梅，董国伟. 软件故障定位技术进展[J]. 计算机科学与探索, 2012, 6(6): 481-494.
[10]	潘森, 谭曦, 彭鑫, 赵文耘. 综合包级和类级度量的软件缺陷预测方法[J]. 计算机科学与探索, 2012, 6(2): 109-117.
[11]	李允1 , 罗蕾1,2 , 王丽杰1 . 嵌入式软件生产线的构建技术研究[J]. 计算机科学与探索, 2011, 5(7): 652-661.
[12]	董国伟1,2 ,徐宝文1,2+ ,陈林1,2 ,聂长海1,2 ,王璐璐1,2 . 蜕变测试技术综述[J]. 计算机科学与探索, 2009, 3(2): 130-143.
[13]	王子元1,2+ ,徐宝文1,2 ,聂长海1,2 . 组合测试用例生成技术[J]. 计算机科学与探索, 2008, 2(6): 571-588.
[14]	谢晓园1 ,许蕾1 ,徐宝文1,2+ ,聂长海1 ,史亮3 . 演化测试技术的研究[J]. 计算机科学与探索, 2008, 2(5): 449-466.
[15]	章晓芳1,2 ,陈林1,2 ,徐宝文1,2+ ，聂长海1,2 . 测试用例集约简问题研究及其进展[J]. 计算机科学与探索, 2008, 2(3): 235-247.