Improvement of the Baseline Method in Structural Testing

An algorithm based on the generation for baseline path is proposed in this paper. Making use of it, the original baseline path can be generated randomly and automatically. In respect of traversing the basic path group, the algorithm in- troduces the method of depth-first search to avoid storing more information of branch node and decrease the time of linear traversal. Using the column with S-node with no in-degree and the row with E-node with no out-degree, the case of nodes' value and the number of value cases are stored for reducing the waste in storage. Furthermore, giving priority to the behind path-node when generating a path, the time of judgment for loops is effectively reduced. Theoretical analysis and experimental results show that this new algorithm has an advantage over the original Baseline Method in efficiency and space complexity of the test path generation. The average space complexity is decreased from O(n) to O(log n) , and the time complexity is also reduced to a certain extent.

[1]  Chien-Hung Liu Data flow analysis and testing of JSP-based Web applications , 2006, Inf. Softw. Technol..

[2]  Ilona Bluemke,et al.  Dataflow Approach to Testing Java Programs , 2009, 2009 Fourth International Conference on Dependability of Computer Systems.

[3]  John A. Clark,et al.  A search-based framework for automatic testing of MATLAB/Simulink models , 2008, J. Syst. Softw..

[4]  Norbert Oster,et al.  White and grey-box verification and validation approaches for safety- and security-critical software systems , 2008, Inf. Secur. Tech. Rep..

[5]  Siti Zaiton Mohd Hashim,et al.  An automated framework for software test oracle , 2011, Inf. Softw. Technol..

[6]  Jon Edvardsson,et al.  A Survey on Automatic Test Data Generation , 2002 .

[7]  Baowen Xu,et al.  Testing web applications focusing on their specialties , 2005, SOEN.

[8]  Alessandra Cavarra,et al.  A data-flow approach to test multi-agent ASMs , 2009, Formal Aspects of Computing.

[9]  Jia Limin,et al.  Research of searching algorithm for path test data generation , 2009, 2009 4th International Conference on Computer Science & Education.

[10]  Arnaud Gotlieb,et al.  Symbolic Path-Oriented Test Data Generation for Floating-Point Programs , 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

[11]  Dolores R. Wallace,et al.  Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric , 1996 .

[12]  Rance Cleaveland,et al.  Using formal specifications to support testing , 2009, CSUR.

[13]  W. Greub Linear Algebra , 1981 .

[14]  Arnaud Gotlieb,et al.  Goal-oriented test data generation for pointer programs , 2007, Inf. Softw. Technol..

[15]  N. K. Gupta,et al.  Improving GA based automated test data generation technique for object oriented software , 2013, 2013 3rd IEEE International Advance Computing Conference (IACC).

[16]  Wilkerson de L. Andrade,et al.  Generating Test Cases for Real-Time Systems Based on Symbolic Models , 2013, IEEE Transactions on Software Engineering.

[17]  Basel A. Mahafzah,et al.  Using program data-state scarcity to guide automatic test data generation , 2010, Software Quality Journal.

[18]  Zarina Shukur,et al.  An experimental assessment of module documentation-based testing , 2011, Inf. Softw. Technol..

[19]  Hareton K. N. Leung,et al.  The Minimal Failure-Causing Schema of Combinatorial Testing , 2011, TSEM.

[20]  W. Eric Wong,et al.  Establishing structural testing criteria for Java bytecode , 2006, Softw. Pract. Exp..