Model-Driven Testing for Web Applications Using Abstract State Machines

  • Francesco Bolis
  • Angelo Gargantini
  • Marco Guarnieri
  • Eros Magri
  • Lorenzo Musto
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7703)


The increasing diffusion and importance of Web Applications has led to strict requirements in terms of continuity of the service, because their unavailability can lead to severe economic losses. Techniques to assure the quality of these applications are thus needed in order to identify in advance possible faults. Model-driven approaches to the testing of Web Applications can provide developers with a way of checking the conformance of the actual Web Application with respect to the model built from the requirements. These approaches can be used to automatically generate from the model a set of test cases satisfying certain coverage criteria, and thus can be integrated in a classical test driven development process. In this paper we present an automated technique for Web Application testing using a model-driven approach. We present a way of modeling Web Applications by Abstract State Machines (ASMs), and a process for generating automatically from the model a concrete test suite that is executed on the Web Application under test in order to check the conformance between the application and the model.


Assure Derrick 


  1. 1.
    Alalfi, M., Cordy, J., Dean, T.: Modelling methods for web application verification and testing: state of the art. Softw. Test Verif. Reliab. 19(4) (2009)Google Scholar
  2. 2.
    Andrews, A., Offutt, J., Alexander, R.: Testing web applications by modeling with FSMs. Software and Systems Modeling 4, 326–345 (2005)CrossRefGoogle Scholar
  3. 3.
    Arcaini, P., Bolis, F., Gargantini, A.: Test Generation for Sequential Nets of Abstract State Machines. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 36–50. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  4. 4.
    Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw., Pract. Exper. 41(2), 155–166 (2011)CrossRefGoogle Scholar
  5. 5.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)Google Scholar
  6. 6.
    Ceri, S., Fraternali, P., Bongio, A.: Web modeling language (WebML): a modeling language for designing web sites (2000)Google Scholar
  7. 7.
    Deutsch, A., Sui, L., Vianu, V.: Specification and verification of data-driven web applications. J. Comput. Syst. Sci. 73(3) (2007)Google Scholar
  8. 8.
    Di Lucca, G.A., Fasolino, A.R.: Testing web-based applications: The state of the art and future trends. Information and Software Technology 48(12) (2006)Google Scholar
  9. 9.
    Gargantini, A., Riccobene, E.: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence Generation. Journal of Universal Computer Science (2001)Google Scholar
  10. 10.
    Gargantini, A., Riccobene, E., Rinzivillo, S.: Using Spin to Generate Tests from ASM Specifications. In: Börger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol. 2589, pp. 263–277. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. 11.
    Holzmann, G.: Spin model checker, the: primer and reference manual. Addison-Wesley (2003)Google Scholar
  12. 12.
    Manolescu, I., Brambilla, M., Ceri, S., Comai, S., Fraternali, P.: Model-driven design and deployment of service-enabled web applications. ACM Trans. Internet Technol. 5(3) (2005)Google Scholar
  13. 13.
    Memon, A., Akinmade, O.: Automated Model-Based Testing of Web Applications. In: Google Test Automation Conference 2008 (2008)Google Scholar
  14. 14.
    Puolitaival, O.: Adapting model-based testing to agile context. VTT (2008)Google Scholar
  15. 15.
    Ricca, F., Tonella, P.: Analysis and testing of web applications. In: Proc. of ICSE. IEEE (2001)Google Scholar
  16. 16.
    Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Francesco Bolis
    • 1
  • Angelo Gargantini
    • 1
  • Marco Guarnieri
    • 1
  • Eros Magri
    • 1
  • Lorenzo Musto
    • 2
  1. 1.Dip. di Ing. dell’Informazione e Metodi MatematiciUniversità di BergamoItaly
  2. 2.Optics Division Alcatel-LucentVimercateItaly

Personalised recommendations