Model-Based Strategies for Reducing the Complexity of Statistically Generated Test Suites

The main purpose of this paper is to show how model-based techniques are used to efficiently control the generation of less complex test suites. By directed adjusting specific probability values in the usage profile of a Markov chain usage model it is relatively easy to generate abstract test suites for different user classes and test purposes in an automated approach. A stepwise refinement process for hierarchical Markov chain usage models and choosing appropriate test generation, respectively selection strategies can reduce the complexity of the resulting test suite significantly. By using proper tools, like the TestUS Testplayer even less experienced test engineers will be able to efficiently generate abstract test cases and to graphically assess quality characteristics of different test suites.

[1]  Tomohiko Takagi,et al.  Constructing a usage model for statistical testing with source code generation methods , 2004, 11th Asia-Pacific Software Engineering Conference.

[2]  Reinhard German,et al.  A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models , 2010, Electron. Notes Theor. Comput. Sci..

[3]  Harry Robinson,et al.  Applying models in your testing process , 2000, Inf. Softw. Technol..

[4]  Winfried Dulz,et al.  MaTeLo - statistical usage testing by annotated sequence diagrams, Markov chains and TTCN-3 , 2003, Third International Conference on Quality Software, 2003. Proceedings..

[5]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

[6]  Jesse H. Poore,et al.  Markov analysis of software specifications , 1993, TSEM.

[7]  Jeff Tian Software Quality Engineering , 2005 .

[8]  Jeff Tian,et al.  Software quality engineering - testing, quality assurance, and quantifiable improvement , 2005 .

[9]  Winfried Dulz A comfortable testplayer for analyzing statistical usage testing strategies , 2011, AST '11.

[10]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[11]  Jesse H. Poore,et al.  Application of statistical science to testing and evaluating software intensive systems , 1999, Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010).

[12]  John D. Musa,et al.  The operational profile , 1996 .

[13]  Jesse H. Poore,et al.  Generating transition probabilities to support model‐based software testing , 2000 .

[14]  Praveen Ranjan Srivastava,et al.  Optimized Test Sequence Generation from Usage Models using Ant Colony Optimization , 2010 .

[15]  James A. Whittaker,et al.  Model‐Based Software Testing , 2002 .

[16]  Jesse H. Poore,et al.  A constraint-based approach to the representation of software usage models , 2000, Inf. Softw. Technol..

[17]  Stacy J. Prowell,et al.  JUMBL: a tool for model-based statistical testing , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.