基于EFSM模型的可执行回归测试数据生成方法  

An executable regression test data generation method based on EFSM model

作　　者：于嘉维 徐成成 徐兴华[1] 鲍先强 邱少华 YU Jiawei;XU Chengcheng;XU Xinghua;BAO Xianqiang;QIU Shaohua(National Key Laboratory of Science and Technology on Vessel Integrated Power System,Naval Univ.of Engineering,Wuhan 430033,China)

机构地区：[1]海军工程大学舰船综合电力技术国防科技重点实验室,武汉430033

出　　处：《海军工程大学学报》2023年第6期83-90,共8页Journal of Naval University of Engineering

基　　金：海军工程大学自主立项基金资助项目(202250E010)。

摘　　要：基于扩展有限状态机(extened finite state machine,EFSM)的回归测试过程中,传统的可执行测试数据生成方法由于没有充分利用软件变更信息,在对模型分支错误进行检测时效率较低。为此,提出了一种基于EFSM模型融合的可执行回归测试数据生成方法,制定规则对软件变更前后的模型进行融合,将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历,结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明:该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。During regression testing based on extended finite state machine(EFSM)the traditional methods of executable regression test data generation do not fully utilize software change information,resulting in low efficiency of test cases in detecting model branch errors.An executable regression test data generation method based on model fusion of EFSM was proposed,and rules were formulated to fuse the EFSM models before and after software changes.The test sequences to be covered in the fused model were traversed by software variables,and the final test cases were generated by deriving the variable constraint expressions which contain software change information.The experimental results show that the test cases generated by the method are advantageous in terms of branching error detection rate,executable ratio of the generated data,stability and testing efficiency.

关 键 词：回归测试 EFSM 可执行数据 模型融合 约束表达式 

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