Model-Based Testing of Web Applications Using NModel

  • Juhan Ernits
  • Rivo Roo
  • Jonathan Jacky
  • Margus Veanes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5826)


We show how model-based on-the-fly testing can be applied in the context of web applications using the NModel toolkit. The concrete case study is a commercial web-based positioning system called WorkForce Management (WFM) which interacts with a number of other services, such as billing and positioning, through a mobile operator. We describe the application and the testing, and discuss the test results.


Model Program Mobile Operator System Under Test Test Execution Test Harness 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems, Advanced Lectures. LNCS, vol. 3472. Springer, Heidelberg (2005)MATHGoogle Scholar
  2. 2.
    Jacky, J., Veanes, M., Campbell, C., Schulte, W.: Model-based Software Testing and Analysis with C#. Cambridge University Press, Cambridge (2008)MATHGoogle Scholar
  3. 3.
    JMeter: (accessed May 2009)
  4. 4.
    Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, San Francisco (2006)Google Scholar
  5. 5.
    Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. SIGSOFT Softw. Eng. Notes 30(5), 273–282 (2005)CrossRefGoogle Scholar
  6. 6.
    Veanes, M., Schulte, W.: Protocol modeling with model program composition. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 324–339. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Juhan Ernits
    • 1
  • Rivo Roo
    • 2
  • Jonathan Jacky
    • 3
  • Margus Veanes
    • 4
  1. 1.University of BirminghamUK
  2. 2.Reach-U LtdTartuEstonia
  3. 3.University of WashingtonSeattleUSA
  4. 4.Microsoft ResearchRedmondUSA

Personalised recommendations