ALL-Uses覆盖引导的回归测试用例生成方法

计算机工程与科学

ALL-Uses覆盖引导的回归测试用例生成方法

于嘉维,贲可荣

（海军工程大学电子工程学院,湖北武汉 430033）

收稿日期:2017-07-13 修回日期:2017-09-16 出版日期:2017-12-25 发布日期:2017-12-25

An ALL-Uses coverage guided regression

test case generating method

YU Jia-wei，BEN Ke-rong

(School of Electronic Engineering,Naval University of Engineering,Wuhan 430033，China)

Received:2017-07-13 Revised:2017-09-16 Online:2017-12-25 Published:2017-12-25

摘要/Abstract

摘要：

基于扩展有限状态机（EFSM）的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复，通常需要对多处代码进行同步修改，已有依赖分析方法在这种情况下暴露模型中触发条件和行为语句错误的效率不高。提出以ALL-Uses覆盖准则引导回归测试的方法，引入依赖关系变化因素的概念，修改待覆盖子路径的产生规则，对已有测试用例集中能有效覆盖子路径的用例进行选择、排序。针对已有测试用例无法覆盖的子路径，利用AOE活动图中求关键路径的方法将其补充为一条完整的迁移执行序列。选取三个软件进行实验，结果表明，本文方法可以在减小测试用例集规模的前提下有效提升ALL-Uses和植入错误的覆盖率，提高回归测试效率。

关键词: 扩展有限状态机, 回归测试, ALL-Uses, 依赖分析

Abstract:

In the regression testing process based on extended finite state machine (EFSM), the influence domain of software modification should be analyzed according to dependence change. Because there is no consideration for multiple modifications to the software at the same time, the analysis method is used to expose the trigger conditions and behavior statement errors in the model, but its efficiency is not high. We propose an ALL-Uses coverage guided regression test case generating method. We introduce the concept of dependence factors, modify the production rules, and select and sort the test cases that can cover the sub path. Aiming at the sub paths which cannot be covered by test cases, we use the method of finding the critical path in the AOE activity diagram to supplement it into a complete migration execution sequence. Experiments on three different software show that this method can improve the coverage of ALL-Uses and implanted errors under the premise of reducing the size of the test suite, and enhance the efficiency of regression testing.

Key words: extended finite state machine (EFSM), regression testing, ALL-Uses, dependence analysis

于嘉维,贲可荣. ALL-Uses覆盖引导的回归测试用例生成方法[J]. 计算机工程与科学.

YU Jia-wei，BEN Ke-rong.

An ALL-Uses coverage guided regression

test case generating method

[J]. Computer Engineering & Science.

[1]	张卫祥，齐玉华，魏波，张敏，窦朝晖. 基于蚁群算法的测试用例优先排序[J]. 计算机工程与科学, 2020, 42(02): 241-249.
[2]	殷鹏川，贲可荣. 基于路径引导的回归测试用例集扩增方法[J]. J4, 2014, 36(11): 2159-2163.
[3]	钱雪忠，宋建生. 基于UML图和不同粒度切片的回归测试研究[J]. J4, 2012, 34(11): 124-129.
[4]	陈传波谷涛喻之斌. 引入错误级别的测试集压缩模型研究[J]. J4, 2008, 30(3): 119-122.
[5]	朱海燕范辉谢青松刘培强. 测试用例排序的研究[J]. J4, 2008, 30(1): 79-81.
[6]	卢炎生雷波谢晓东毛澄映. 基于扩展有限状态机的定义-清除路径的生成方法[J]. J4, 2006, 28(7): 67-69.
[7]	曾利永杨灿群黄春. GCC4．1数据依赖分析器的分析与改进[J]. J4, 2006, 28(10): 104-106.
[8]	蒋曹清张大方缪力. 一种回归测试后的错误定位方法[J]. J4, 2005, 27(4): 14-15.
[9]	刘凯枫张大方缪力吴昊. 一种基于测试状态的回归测试方法[J]. J4, 2005, 27(3): 80-82.
[10]	彭熙李艳肖德宝. 基于通信扩展有限状态机的测试集生成技术[J]. J4, 2004, 26(2): 32-35.
[11]	张志军张大方缪力. 面向对象Java语言的类成员防火墙回归测试[J]. J4, 2004, 26(12): 20-22.