Skip to main content

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

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 133))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. El-Far, I.K., Whittaker, J.A.: Model-based Software Testing. In: Marciniak, J.J. (ed.) Encyclopedia on Software Engineering. Wiley (2001)

    Google Scholar 

  2. Legeard, B., Utting, M.: Practical Model-Based Testing. Elsevier (2007)

    Google Scholar 

  3. Rosaria, S., Robinson, H.: Applying models in your testing process. Information and Software Technology 42, 815–824 (2000)

    Article  Google Scholar 

  4. Tian, J.: Software Quality Engineering. John Wiley&Sons (2005)

    Google Scholar 

  5. Whittaker, J.A., Poore, J.H.: Markov Analysis of Software Specifications. ACM Transactions on Software Engineering and Methodology 2(1), 93–106 (1993)

    Article  Google Scholar 

  6. Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical Testing of Software Based on a Usage Model. Software - Practice and Experience 25(1), 97–108 (1995)

    Article  Google Scholar 

  7. Musa, J.D.: The operational profile. NATO ASI Series F, Computer and System Sciences 154, 333–344 (1996)

    Google Scholar 

  8. Walton, G., Poore, J.: Generating transition probabilities to support model-based software testing. Software Practice and Experience 30(10), 1095–1106 (2000)

    Article  Google Scholar 

  9. Poore, J., Walton, G., Whittaker, J.: A constraint-based approach to the representation of software usage models. Information & Software Technology 42(12), 825–833 (2000)

    Article  Google Scholar 

  10. Takagi, T., Furukawa, Z.: Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, APSEC 2004 (2004)

    Google Scholar 

  11. Dulz, W., Holpp, S., German, R.: A Polyhedron Approach to Calculate Probability Distributions for Markov Chain Usage Models. Electronic Notes in Theoretical Computer Science 264(3), 19–35 (2010)

    Article  Google Scholar 

  12. Dulz, W.: A Comfortable Test Player for Analyzing Statistical Usage Testing Strategies. In: ICSE Workshop on Automation of Software Test (AST 2011), Honolulu, Hawaii (2011)

    Google Scholar 

  13. Prowell, S.J.: Jumbl: A tool for model-based statistical testing. In: HICSS, p. 337 (2003)

    Google Scholar 

  14. Dulz, W., Zhen, F.: MaTeLo - Statistical Usage Testing by Annotated Sequence Diagrams, Markov Chains and TTCN-3. In: IEEE International Conference on Quality Software (QSIC 2003), pp. 336–342 (2003)

    Google Scholar 

  15. Barade, S., Srivastava, P.R., Jose, N., Ghosh, D.: Optimized Test Sequence Generation from Usage Models using Ant Colony Optimization. International Journal of Software Engineering & Applications (IJSEA) 1(2), 14–28 (2010)

    Article  Google Scholar 

  16. Poore, J.H., Trammell, C.J.: Application of statistical science to testing and evaluating software intensive systems. In: Statistics, Testing, and Defense Acquisition. National Academy Press, Washington, D.C. (1998)

    Google Scholar 

  17. Prowell, S.: Computations for Markov Chain Usage Models. Technical report, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, USA, UT-CS-03-505 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dulz, W. (2013). Model-Based Strategies for Reducing the Complexity of Statistically Generated Test Suites. In: Winkler, D., Biffl, S., Bergsmann, J. (eds) Software Quality. Increasing Value in Software and Systems Development. SWQD 2013. Lecture Notes in Business Information Processing, vol 133. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35702-2_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-35702-2_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-35701-5

  • Online ISBN: 978-3-642-35702-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics