期刊
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
卷 18, 期 1, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3289256
关键词
Test case generation; model-based testing; mutation testing; search-based testing; heuristics; parallel search
资金
- ECSEL joint undertaking [692455]
- European Union's Horizon 2020 Research and Innovation Programme
- Austrian Federal Ministry of Transport, Innovation and Technology (BMVIT) under the program ICT of the Future via FFG project [853308]
- Austrian National Research Network [S11403-N23]
- LogiCS doctoral program of the Austrian Science Fund (FWF) [W1255-N23]
- Vienna Science and Technology Fund (WWTF) [VRG11-005]
- FFG [845582, 1821983]
This work introduces a heuristic-guided branching search algorithm for model-based, mutation-driven test-case generation. The algorithm is designed towards the efficient and computationally tractable exploration of discrete, non-deterministic models with huge state spaces. Asynchronous parallel processing is a key feature of the algorithm. The algorithm is inspired by the successful path planning algorithm Rapidly exploring Random Trees (RRT). We adapt RRT in several aspects towards test-case generation. Most notably, we introduce parametrized heuristics for start and successor state selection, as well as a mechanism to construct test cases from the data produced during the search. We implemented our algorithm in the existing test-case generation framework MoMuT. We present an extensive evaluation of the proposed heuristics and parameters of the algorithm, based on a diverse set of demanding models obtained in an industrial context. In total, we continuously utilized 128 CPU cores on three servers for several weeks to gather the experimental data presented. We show that branching search works well and the use of multiple heuristics is justified. With our new algorithm, we are now able to process models consisting of over 2,300 concurrent objects. To our knowledge, there is no other mutation-driven test-case generation tool that is able to process models of this magnitude.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据