Combinatorial Test Case Selection with Markovian Usage Models

A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs, in particular for scientific computational software. The central point of the approach is modeling of dependencies between input parameters. Several different types of such dependencies are considered and models for each situation are created. Based on these models, test cases can be automatically generated and executed. Results of using the JUMBL tool for analyzing models and generating test cases are described.

[1]  A. Jefferson Offutt,et al.  Combination testing strategies: a survey , 2005, Softw. Test. Verification Reliab..

[2]  Carmen J. Trammell,et al.  Engineering Practices for Statistical Testing , 1998 .

[3]  J. P. Starski,et al.  Novel Schiffman phase shifters , 1993 .

[4]  Stephen L. Scott,et al.  Model-Based Statistical Testing of a Cluster Utility , 2005, International Conference on Computational Science.

[5]  Jonas Mellin,et al.  Handling Constraints in the Input Space when Using Combination Strategies for Software Testing , 2006 .

[6]  F. De Flaviis,et al.  Microstrip antenna array with beamforming network for WLAN applications , 2005, 2005 IEEE Antennas and Propagation Society International Symposium.

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

[8]  Steven P. Hamilton,et al.  GNES-R: Global Nuclear Energy Simulator for Reactors Task 1: High-Fidelity Neutron Transport , 2006 .

[9]  F. De Flaviis,et al.  Dual-band Butler matrix for WLAN systems , 2005, IEEE MTT-S International Microwave Symposium Digest, 2005..

[10]  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.

[11]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[12]  Jesse H. Poore,et al.  Automated Testing of Generic Computational Science Libraries , 2007, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07).

[13]  D. Pozar.  Microwave Engineering , 1990 .

[14]  Shu-Hung Leung,et al.  Broadband butler matrix with flat coupling , 2007 .

[15]  James A. Whittaker.  Stochastic software testing , 1997, Ann. Softw. Eng..

[16]  Stacy J. Prowell.  TML: a description language for Markov chain usage models , 2000, Inf. Softw. Technol..

[17]  J. T. Lochner.  The Journal of Defense Software Engineering , 1999 .

[18]  K.-K.M. Cheng,et al.  A novel approach to the design and implementation of dual-band compact planar 90/spl deg/ branch-line coupler , 2004, IEEE Transactions on Microwave Theory and Techniques.

[19]  David Lorge Parnas,et al.  Evaluation of automated testing coverage: a case study of wireless secure connection software testing , 2006 .