doi: 10.4304/jsw.9.2.358-364
An Intelligent Method Based on State Space Search for Automatic Test Case Generation
- 1 State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing, China
- 2 School of Electronic and Information Engineering, Liaoning Technical University, Huludao, China
Abstract
Search-Based Software Testing reformulatestesting as search problems so that test case generation canbe automated by some chosen search algorithms. This paperreformulates path-oriented test case generation as a statespace search problem and proposes an intelligent methodBest-First-Search Branch & Bound to solve it, utilizing thealgorithms of Branch & Bound and Backtrack to search thespace of potential test cases and adopting bisection to lowerthe bounds of the search space. We also propose anoptimization method by removing irrelevant variables.Experiments show that the proposed search methodgenerates test cases with promising performance andoutperforms some MetaHeuristic Search algorithms.
Keywords
- Search-Based Software Testing
- test case
How to Cite
Ying Xing, Junfei Huang, Yunzhan Gong, Yawen Wang, and Xuzhou Zhang, "An Intelligent Method Based on State Space Search for Automatic Test Case Generation," Journal of Software, vol. 9, no. 2, pp. 358-364, 2014. https://doi.org/ 10.4304/jsw.9.2.358-364
Copyright & License
Copyright © 2014 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).