Skip to main content

Model-Based On-the-Fly Testing of Web Applications and Multilingual Websites

  • Conference paper
  • First Online:
Software Technologies (ICSOFT 2018)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1077))

Included in the following conference series:

  • 364 Accesses


This paper examines techniques for the model-based testing of web applications and multilingual websites. For this purpose, the simple web game application GuessNumbers is used to explain the essential steps for a model-based test process that applies statistical usage models to generate appropriate test suites. We also discuss methods for performing on-the-fly testing by means of an executable usage model. Model-based techniques that provide graphical representations of usage models make it easy to set the test focus on specific regions of the system under test that shall be tested. In addition, adapted profiles support the selective generation of test suites. We also show how generic usage models that are adapted to specific environments during the test execution, enable multilingual websites to be tested. Using the TestPlayer tool chain, a model-based testing approach is easily done.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
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

Institutional subscriptions

Similar content being viewed by others


  1. 1.

  2. 2.

  3. 3.

  4. 4.

  5. 5.

  6. 6.

  7. 7.

  8. 8.


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

    Google Scholar 

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

    Google Scholar 

  3. Rosaria, S., Robinson, H.: Applying models in your testing process. Inf. Softw. Technol. 42, 815–824 (2000)

    Article  Google Scholar 

  4. Whittaker, J.A., Poore, J.H.: Markov analysis of software specifications. ACM Trans. Softw. Eng. Methodol. 2(1), 93–106 (1993)

    Article  Google Scholar 

  5. Walton, G.H., Poore, J.H., Trammell, C.J.: Statistical testing of software based on a usage model. Softw. Pract. Exp. 25(1), 97–108 (1995)

    Article  Google Scholar 

  6. Musa, J.D.: The operational profile. In: Özekici, S. (ed.) Reliability and Maintenance of Complex Systems. NATO ASI Series (Series F: Computer and Systems Sciences), vol. 154, pp. 333–344. Springer, Heidelberg (1996).

    Chapter  Google Scholar 

  7. Walton, G., Poore, J.: Generating transition probabilities to support model-based software testing. Softw. Pract. Exp. 30(10), 1095–1106 (2000)

    Article  Google Scholar 

  8. Poore, J., Walton, G., Whittaker, J.: A constraint-based approach to the representation of software usage models. Inf. Softw. Technol. 42(12), 825–833 (2000)

    Article  Google Scholar 

  9. 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 

  10. Dulz, W., Holpp, S., German, R.: A polyhedron approach to calculate probability distributions for Markov chain usage models. Electron. Notes Theor. Comput. Sci. 264(3), 19–35 (2010)

    Article  Google Scholar 

  11. Prowell, S.: Computations for Markov chain usage models. Technical report, Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, USA, 2000. UT-CS-03-505 (2000)

    Google Scholar 

  12. Sayre, K., Poore, J.: Stopping criteria for statistical testing. Inf. Softw. Technol. 42(12), 851–857 (2000)

    Article  Google Scholar 

  13. Gutjahr, W.: Importance sampling of test cases in Markovian software usage models. Probab. Eng. Inf. Sci. 11, 19–36 (1997)

    Article  Google Scholar 

  14. Prowell, S.J.: JUMBL: a tool for model-based statistical testing. In: HICSS, pp. 3–37 (2003)

    Google Scholar 

  15. 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 

  16. Dulz, W.: A comfortable testplayer for analyzing statistical usage testing strategies. In: ICSE Workshop on Automation of Software Test (AST 2011), Honolulu, Hawaii (2011)

    Google Scholar 

  17. Dulz, W.: Model-based strategies for reducing the complexity of statistically generated test suites. In: Winkler, D., Biffl, S., Bergsmann, J. (eds.) SWQD 2013. LNBIP, vol. 133, pp. 89–103. Springer, Heidelberg (2013).

    Chapter  Google Scholar 

  18. Veanes, M., Campbell, C., Schulte, W., Kohli, P.: On-The-fly testing of reactive systems. Technical report, Microsoft Research, Redmond, WA, USA, 2005. MSR-TR-2005-05 (2005)

    Google Scholar 

  19. Dulz, W.: On-the-fly testing by using an executable TTCN-3 Markov chain usage model. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds.) ENASE 2008. CCIS, vol. 69, pp. 17–30. Springer, Heidelberg (2010).

    Chapter  Google Scholar 

  20. Dulz, W.: A versatile tool environment to perform model-based testing of web applications and multilingual websites. In: 13th International Conference on Software Technologies (ICSOFT 2018), pp. 45–56 (2018)

    Google Scholar 

Download references

Author information

Authors and Affiliations


Corresponding author

Correspondence to Winfried Dulz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Dulz, W. (2019). Model-Based On-the-Fly Testing of Web Applications and Multilingual Websites. In: van Sinderen, M., Maciaszek, L. (eds) Software Technologies. ICSOFT 2018. Communications in Computer and Information Science, vol 1077. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-29156-3

  • Online ISBN: 978-3-030-29157-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics