基于EFSM模型的可执行回归测试数据生成方法 |
| |
引用本文: | 于嘉维,徐成成,徐兴华,鲍先强,邱少华.基于EFSM模型的可执行回归测试数据生成方法[J].海军工程大学学报,2023(6):83-90. |
| |
作者姓名: | 于嘉维 徐成成 徐兴华 鲍先强 邱少华 |
| |
作者单位: | 海军工程大学舰船综合电力技术国防科技重点实验室 |
| |
摘 要: | 基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中,传统的可执行测试数据生成方法由于没有充分利用软件变更信息,在对模型分支错误进行检测时效率较低。为此,提出了一种基于EFSM模型融合的可执行回归测试数据生成方法,制定规则对软件变更前后的模型进行融合,将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历,结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明:该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。
|
关 键 词: | 回归测试 EFSM 可执行数据 模型融合 约束表达式 |
|
|