An intelligent method based on state space search for automatic test case generation

被引：1

作者：

机构：

[1] State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing

[2] School of Electronic and Information Engineering, Liaoning Technical University, Huludao

[3] State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing

来源：

| 1600年 / Academy Publisher卷 / 09期

关键词：

Backtrack; Bisection; Branch & Bound; Search-based software testing; State space search; Test case generation;

D O I：

10.4304/jsw.9.2.358-364

中图分类号：

学科分类号：

摘要：

Search-Based Software Testing reformulates testing as search problems so that test case generation can be automated by some chosen search algorithms. This paper reformulates path-oriented test case generation as a state space search problem and proposes an intelligent method Best-First-Search Branch & Bound to solve it, utilizing the algorithms of Branch & Bound and Backtrack to search the space of potential test cases and adopting bisection to lower the bounds of the search space. We also propose an optimization method by removing irrelevant variables. Experiments show that the proposed search method generates test cases with promising performance and outperforms some MetaHeuristic Search algorithms. © 2014 ACADEMY PUBLISHER.

引用

页码：358 / 364

页数：6

共 24 条

[1]

Ali S., Briand L.C., Hemmati H., Panesar-Walawege R.K., A systematic review of the application and empirical investigation of search-based test case generation, IEEE Transactions On Software Engineering, 36, 6, pp. 742-762, (2010)

[2]

Beizer B., Software Testing Techniques, (1990)

[3]

Lina C., Automatic test cases generation for statechart specifications from semantics to algorithm, Journal of Computers, 6, 4, pp. 769-775, (2011)

[4]

Jinhui S., Ji W., Qi Z., Survey on path-wise automatic generation of test data, ACTA ELECTRONICA SINICA, 32, 1, pp. 109-113, (2004)

[5]

Afzal W., Torkar R., Feldt R., A systematic review of search-based testing for non-functional system properties, Information and Software Technology, 51, pp. 957-976, (2009)

[6]

Sharma C., Sabharwal S., Sibal R., A survey on software testing techniques using genetic algorithm, International Journal of Computer Science Issues, 10, 1, pp. 381-393

[7]

Patil M., Nikumbh P.J., Pair-wise testing using simulated annealing, Procedia Technology, 4, pp. 778-782, (2012)

[8]

Chengying M., Xinxin Y., Jifu C., Generating test data for structural testing based on ant colony optimization, Proc. the 12th International Conference On Quality Software (QSIC 12), IEEE Computer Society, pp. 98-101, (2012)

[9]

Harman M., McMinn P., de Souza J.T., Yoo S., Search based software engineering: Techniques, taxonomy, tutorial, Empirical Software Engineering and Verification, Springer Berlin Heidelberg, pp. 1-59, (2012)

[10]

Fuad M.M., Deb D., Baek J., Static analysis, code transformation and runtime profiling for self-healing, Journal of Computers, 8, 5, pp. 1127-1135, (2013)

← 1 2 3 →