Model-Based Test Case Generation for Web Applications

  • Miguel Nabuco
  • Ana C. R. Paiva
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8584)


This paper presents a tool to filter/configure the test cases generated within the Model-Based Testing project PBGT. The models are written in a Domain Specific Language called PARADIGM and are composed by User Interface Test Patterns (UITP) describing the testing goals. To generate test cases, the tester has to provide test input data for each UITP in the model. After that, it is possible to generate test cases. However, without a filter/configuration of the test case generation algorithm, the number of test cases can be so huge that becomes unfeasible. So, this paper presents an approach to define parameters for the test case generation in order to generate a feasible number of test cases. The approach is evaluated by comparing the different test strategies and measuring the performance of the modeling tool against a capture-replay tool used for web testing.


Test Strategy Label Transition System Test Execution Test Path Extended Finite State Machine 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 1999), pp. 285–294. ACM, New York (1999)CrossRefGoogle Scholar
  2. 2.
    Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Larsen, P.G., Wing, J.M. (eds.) FME 1993. LNCS, vol. 670, pp. 268–284. Springer, Heidelberg (1993)Google Scholar
  3. 3.
    Katsiri, E., Mycroft, A.: Model checking for sentient computing: an axiomatic approach. In: Proceedings of the First International Workshop on Managing Context Information in Mobile and Pervasive Environments (SME 2005), CEUR-WS, Ayia Napa (May 2005)Google Scholar
  4. 4.
    Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Odersky, M., Wadler, P. (eds.) Proc. of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), pp. 268–279. ACM (2000)Google Scholar
  5. 5.
    Mealy, G.H.: A Method for Synthesizing Sequential Circuits. Bell Systems Technical Journal 34, 1045–1079 (1955)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Cheng, K.-T., Krishnakumar, A.S.: Automatic Functional Test Generation Using The Extended Finite State Machine Model. In: 1993 30th Conference on Design Automation, June 14-18, pp. 86–91 (1993)Google Scholar
  7. 7.
    Fröhlich, P., Link, J.: Automated Test Case Generation from Dynamic Models. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, p. 472. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Rayadurgam, S., Heimdahl, M.P.E.: Coverage based test-case generation using model checkers. In: Proceedings. Eighth Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems-ECBS, pp. 83–91 (2001)Google Scholar
  9. 9.
    Tretmans, J.: Test Generation with Inputs, Outputs, and Repetitive Quiescence. Software-Concepts and Tools 17, 103–120 (1996)zbMATHGoogle Scholar
  10. 10.
    Phalippou, M.: Relations d Implantation et Hypotheses de Test sur des Automates a Entrees et Sorties. PhD thesis, L Universite de Bordeaux I, France (1994)Google Scholar
  11. 11.
    Jard, C., Jeron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer 7(4), 297–315 (2005)CrossRefGoogle Scholar
  12. 12.
    Hartman, A., Nagin, K.: The AGEDIS Tools for Model Based Testing. In: Int. Symposium on Software Testing and Analysis - ISSTA 2004, pp. 129–132. ACM Press, New York (2004)CrossRefGoogle Scholar
  13. 13.
    He, J., Turner, K.: Protocol-Inspired Hardware Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int. Workshop on Testing of Communicating Systems, vol. 12, pp. 131–147. Kluwer Academic Publishers (1999)Google Scholar
  14. 14.
    Paiva, A.C.R., Faria, J.C.P., Tillmann, N., Vidal, R.A.M.: A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 450–464. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Moreira, R.M.L.M., Paiva, A.C.R.: Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. In: ICSOFT 2008, pp. 104–111 (March 4, 2008)Google Scholar
  16. 16.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC / SIGSOFT FSE, pp. 109–120 (2001)Google Scholar
  17. 17.
    Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with spec explorer. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 542–547. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  18. 18.
    Feijs, L.M.G., Goga, N., Mauw, S., Tretmans, J.: Test selection, trace distance and heuristics. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems (TestCom 2002), pp. 267–282. Kluwer (2002)Google Scholar
  19. 19.
    Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal strategies for testing nondeterministic systems. In: Avrunin, G.S., Rothermel, G. (eds.) Proc. of the 2004 ACM SIGSOFT International Sym- posium on Software Testing and Analysis (ISSTA 2004), pp. 55–64 (2004)Google Scholar
  20. 20.
    Moreira, R., Paiva, A., Memon, A.: A Pattern-Based Approach for GUI Modeling and Testing. In: Proceedings of the 24th annual International Symposium on Software Reliability Engineering, ISSRE 2013 (2013)Google Scholar
  21. 21.
    Welie, M., Gerrit, C., Eliens, A.: Patterns as tools for user interface design. In: Workshop on Tools for Working With Guidelines, Biarritz, France (2000)Google Scholar
  22. 22.
    Garrett, J.J.: Ajax: a new approach to Web applications (2006),
  23. 23.
    Constantine, L.L., Lockwood, L.A.D.: Usage-centered engineering for Web applications. IEEE Software Journal 19(2), 42–50 (2002)CrossRefGoogle Scholar
  24. 24.
    Monteiro, T., Paiva, A.: Pattern Based GUI Testing Modeling Environment. In: 4th International Workshop on Testing Techniques & Experimentation Benchmarks for Event-Driven Software, TESTBEDS 2013 (2013)Google Scholar
  25. 25.
    Nabuco, M., Paiva, A., Camacho, R., Faria, J., Inferring, U.I.: Patterns with Inductive Logic Programming. In: 8th Iberian Conference on Information Systems and Technologies (2013)Google Scholar
  26. 26.
    Cunha, M., Paiva, A., Ferreira, H., Abreu, R.,, P.: A Pattern-Based GUI Testing Tool. In: 2nd International Conference on Software Technology and Engineering (ICSTE 2010), pp. 202–206 (2010)Google Scholar
  27. 27.
    Sikuli API ( last acessed February 2014),
  28. 28.
    Andrade, F.R., Faria, J.P., Paiva, A.: Test generation from bounded algebraic specifications using alloy. In: ICSOFT 2011, 6th International Conference on Software and Data Technology (January 2011)Google Scholar
  29. 29.
    Rebello de Andrade, F., Faria, J.P., Lopes, A., Paiva, A.C.R.: Specification-driven unit test generation for java generic classes. In: Derrick, J., Gnesi, S., Latella, D., Treharne, H. (eds.) IFM 2012. LNCS, vol. 7321, pp. 296–311. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  30. 30.
    Paiva, A.C.R., Faria, J.P., Vidal, R.M.: Specification-based Testing of User Interfaces. In: Proceedings of the 10th DSV-IS Workshop - Design, Specification and Verification of Interactive Systems, Funchal, Madeira, de Junho 4-6 (2003)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Miguel Nabuco
    • 1
  • Ana C. R. Paiva
    • 1
    • 2
  1. 1.Department of Informatics EngineeringPortugal
  2. 2.INESC TEC Faculty of Engineering of University of PortoPortoPortugal

Personalised recommendations