Diversity-Oriented Test Suite Generation for EFSM Model
Diversity-Oriented Test Suite Generation for EFSM Model
复制标题
EFSM 模型的面向多样性的测试套件生成
DOI：
10.1109/tr.2020.2971095
复制
发表时间：
2020
影响因子：
5.9
通讯作者：
Li Zheng
中科院分区：
文献类型：
--
作者：
Zhao Ruilian;Wang Weiwei;Song Yuqi;Li Zheng
在这篇文章中，测试的多样性已被认为是一个有效的方法来提高测试套件的有效性。扩展有限状态机（EFSM）是一种应用广泛的形式化模型，但对具有更大多样性的测试用例集的生成研究较少。EFSM测试集生成包括测试路径生成和测试数据生成。考虑到与测试数据之间的差异相比，测试路径之间的差异对测试套件的多样性影响更关键，因此本文主要研究EFSM模型中更具多样性的测试路径生成。因此，影响测试路径之间的差异的因素进行了研究。在此基础上，设计了一个综合的距离度量来度量测试路径之间的差异性，并提出了一种EFSM测试集的差异性度量方法。在传统的基于覆盖率的EFSM测试集生成（COTSG）方法的基础上，采用基于差异度的适应度函数和面向差异度的更新策略，提出了一种面向差异度的测试集生成（DOTSG）方法.实验结果表明，与COTSG相比，DOTSG不仅能生成满足一定覆盖率的更多样的测试集，提高测试集的故障检测能力，而且能降低演化时间开销和生成测试集的规模.
In this article, test diversity has been suggested to be a valid way to improve test suite effectiveness. Extended finite state machine (EFSM) is a widely used formal model, but little attention is paid on the test suite generation with more diversity. EFSM test suite generation involves test paths generation and test data generation. Considering the discrepancy between test paths has a more crucial impact on the diversity of test suite, compared with the difference between test data, this article, therefore, mainly concerns the test paths generation with more diversity for EFSM models. Hence, the factors that influence the discrepancy between test paths are investigated. Then based on these factors, an integrated distance metric is designed to evaluate the dissimilarity between test paths, and a diversity measurement for EFSM test suite is presented. Furthermore, a diversity-oriented test suite generation (DOTSG) method is proposed where a dissimilarity-based fitness function and diversity-oriented update strategy are adopted in traditional coverage-oriented EFSM test suite generation (COTSG) by genetic algorithm. The experimental results show that, compared to COTSG, our DOTSG can not only generate more diverse test suite to satisfy a certain coverage criteria, improving the fault detection capability of the test suite, but also decrease the evolution time cost and the size of test suite generated.