Optimized Branch and Bound for Path-wise Test Data Generation

Ya-Wen Wang, Ying Xing, Yun-Zhan Gong, Xu-Zhou Zhang

Abstract


The increasing complexity of real-world programs necessitates the automation
of software testing. As a basic problem in software testing, the automation
of path-wise test data generation is especially important, which is in essence a constraint
satisfaction problem solved by search strategies. In this paper, the search
algorithm branch and bound is introduced and optimized to tackle the problem of
path-wise test data generation. The optimized branching operation is fulfilled by a
dynamic variable ordering algorithm with a heuristic rule to break ties. The optimized
bounding operation is accomplished by analyzing the results of interval arithmetic.
In order to facilitate the search methods, the solution space is represented as state
space. Experimental results prove the effectiveness of the optimized branching and
bounding operations, and show that the proposed method outperformed some other
methods used in test data generation. The results also demonstrate that the proposed
method is applicable in engineering.


Keywords


test data generation, constraint satisfaction problem, branch and bound, state space search

Full Text:

PDF

References


Michael R. Lyu; Sampath Rangarajan; Ada P. A. van Moorse. (2002); Optimal allocation of test resources for software reliability growth modeling in software development, IEEE Transactions on Reliability, ISSN 1841-9836, 51(2): 183-192.

Tassey Gregory.(2002);The economic impacts of inadequate infrastructure for software testing, National Institute of Standards and Technology, RTI Project 7007.011.

Weyuker Elaine J.(1999); Evaluation techniques for improving the quality of very large software systems in a cost-effective way, Journal of Systems and Software, ISSN 0164-1212, 47(2): 97-103.

Shaukat Ali, Lionel C. Briand; Hadi Hemmati; Rajwinder K. Panesar-Walawege. (2010); A systematic review of the application and empirical investigation of search-based test case generation, IEEE Transactions on Software Engineering, ISSN 0098-5589, 36(6): 742-762.

Mao Chengying; Yu Xinxin; Chen Jifu.(2012); Swarm Intelligence-Based Test Data Generation for Structural Testing, Proceedings of 11th International Conference on Computer and Information Science (ICIS 12),623-628.

Suzette Person; Guowei Yang; Neha Rungta; Sarfraz Khurshid. (2012); Directed incremental symbolic execution, IACM SIGPLAN Notices, ISSN 0362-1340, 46(6): 504-515.

Moore Ramon Edgar; R. Baker Kearfott; Michael J. Cloud.(2009);Introduction to interval analysis, Society for Industrial and Applied Mathematics, Philadelphia, PA, USA.

Richard A. DeMillo; A. Jefferson Offutt. (1991); Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, ISSN 0098-5589, 17(9): 900-910.

Arnaud Gotlieb; Bernard Botella; Michel Rueher.(1998);Automatic test data generation using constraint solving techniques, Proceedings of the 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, 23(2):53-62.

Cristian Cadar; Daniel Dunbar; Dawson Engler.(2008);KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs, Proceedings of USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), 209-224.

Wang Yawen; Gong Yunzhan; Xiao Qing. (2013); A Method of Test Case Generation Based on Necessary Interval Set, Journal of Computer-Aided Design & Computer Graphics, ISSN 1003-9775, 25(4): 550-556.

A.E. Eiben; Zs Ruttkay.(1997);Constraint satisfaction problems, pp. C5.7:1-8, New York, NY, USA: IOP Publishing Ltd and Oxford University Press.

Ling-Ling Wang; Wen-Hsiang Tsai. (1988); Optimal assignment of task modules with precedence for distributed processing by graph matching and state-space search, BIT Numerical Mathematics, ISSN 0003-3835, 28(1): 54-68.

Lianbo Gao; Shashi K. Mishra; Jianming Shi. (2012); An extension of branch-and-bound algorithm for solving sum-of-nonlinear-ratios problem, Optimization Letters, ISSN 1862-4472, 6(2): 221-230.

Ying Xing; Junfei Huang; Yunzhan Gong; Yawen Wang; Xuzhou Zhang. (2014); An Intelligent Method Based on State Space Search for Automatic Test Case Generation, Journal of Software, ISSN 1796-217X, 9(2): 358-364.

Ying Xing; Junfei Huang; Yunzhan Gong; Yawen Wang; Xuzhou Zhang. (2014); Path-wise Test Data Generation Based on Heuristic Look-ahead Methods, Mathematical Problems in Engineering, ISSN 1024-123X,volume 2014, Article ID 642630.

Matthew J Gallagher; V. Lakshmi Narasimhan. (2012); Adtest: A test data generation suite for Ada software systems, IEEE Transactions on Software Engineering, ISSN 0098- 5589, 23(8): 473-484.

Mao Chengying; Yu Xinxin; Chen Jifu.(2012); Generating Test case for Structural Testing Based on Ant Colony Optimization, Proceedings of the 12th International Conference on Quality Software (QSIC12), 98-101.

Ammann Paul; Jeff Offutt.(2008); Introduction to Software Testing, Cambridge University Press, New York, NY, USA.

E. Alba; F. Chicano. (2008); Observation in Using Parallel and Sequential Evolutionary Algorithms for Automatic Software Testing, Computers & Operators Research, ISSN 0305- 0548, 35(10): 3161-3183.




DOI: https://doi.org/10.15837/ijccc.2014.4.1169



Copyright (c) 2017 Ya-Wen Wang, Ying Xing, Yun-Zhan Gong, Xu-Zhou Zhang

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

CC-BY-NC  License for Website User

Articles published in IJCCC user license are protected by copyright.

Users can access, download, copy, translate the IJCCC articles for non-commercial purposes provided that users, but cannot redistribute, display or adapt:

  • Cite the article using an appropriate bibliographic citation: author(s), article title, journal, volume, issue, page numbers, year of publication, DOI, and the link to the definitive published version on IJCCC website;
  • Maintain the integrity of the IJCCC article;
  • Retain the copyright notices and links to these terms and conditions so it is clear to other users what can and what cannot be done with the  article;
  • Ensure that, for any content in the IJCCC article that is identified as belonging to a third party, any re-use complies with the copyright policies of that third party;
  • Any translations must prominently display the statement: "This is an unofficial translation of an article that appeared in IJCCC. Agora University  has not endorsed this translation."

This is a non commercial license where the use of published articles for commercial purposes is forbiden. 

Commercial purposes include: 

  • Copying or downloading IJCCC articles, or linking to such postings, for further redistribution, sale or licensing, for a fee;
  • Copying, downloading or posting by a site or service that incorporates advertising with such content;
  • The inclusion or incorporation of article content in other works or services (other than normal quotations with an appropriate citation) that is then available for sale or licensing, for a fee;
  • Use of IJCCC articles or article content (other than normal quotations with appropriate citation) by for-profit organizations for promotional purposes, whether for a fee or otherwise;
  • Use for the purposes of monetary reward by means of sale, resale, license, loan, transfer or other form of commercial exploitation;

    The licensor cannot revoke these freedoms as long as you follow the license terms.

[End of CC-BY-NC  License for Website User]


INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL (IJCCC), With Emphasis on the Integration of Three Technologies (C & C & C),  ISSN 1841-9836.

IJCCC was founded in 2006,  at Agora University, by  Ioan DZITAC (Editor-in-Chief),  Florin Gheorghe FILIP (Editor-in-Chief), and  Misu-Jan MANOLESCU (Managing Editor).

Ethics: This journal is a member of, and subscribes to the principles of, the Committee on Publication Ethics (COPE).

Ioan  DZITAC (Editor-in-Chief) at COPE European Seminar, Bruxelles, 2015:

IJCCC is covered/indexed/abstracted in Science Citation Index Expanded (since vol.1(S),  2006); JCR2018: IF=1.585..

IJCCC is indexed in Scopus from 2008 (CiteScore2018 = 1.56):

Nomination by Elsevier for Journal Excellence Award Romania 2015 (SNIP2014 = 1.029): Elsevier/ Scopus

IJCCC was nominated by Elsevier for Journal Excellence Award - "Scopus Awards Romania 2015" (SNIP2014 = 1.029).

IJCCC is in Top 3 of 157 Romanian journals indexed by Scopus (in all fields) and No.1 in Computer Science field by Elsevier/ Scopus.

 

 Impact Factor in JCR2018 (Clarivate Analytics/SCI Expanded/ISI Web of Science): IF=1.585 (Q3). Scopus: CiteScore2018=1.56 (Q2); Editors-in-Chief: Ioan DZITAC & Florin Gheorghe FILIP.