Modeling and Testing of Web-Based Systems

  • Ana CavalliEmail author
  • Mounir Lallali
  • Stephane Maag
  • Gerardo Morales
  • Fatiha Zaidi
Part of the Advanced Information and Knowledge Processing book series (AI&KP)


The success and the massive adoption of Web applications and services are pushing the community to increase and enhance their developments. By that way, the complexity and size of Web-based systems are definitely growing. Accordingly, the need for sophisticated and complete methods used to test the reliability and security aspects of Web systems is increasing as well. Quality and relevant test cases development can achieve up to 70% of the total cost of the project when these test cases are hand crafted. Because of this, the industry and the research community are making big efforts to automate test cases generation. That is the reason why the test generator must be supplied with a precise and unambiguous semantic description of the implementation under test (IUT), i.e. a formal model. This chapter presents two methodologies to attain automatic test cases generation: The first one applies extended finite state machines to model Web services composition described in WS-BPEL, while the other one uses UML to model Web applications. Together with the formal models of the web systems, this chapter presents methods for conformance and non-regression test generation.


Finite State Machine Sequence Diagram Test Case Generation Implementation Under Test Conformance Relation 
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.
    Alalfi, M.H., Cordy, J.R., Dean, T.R.: A survey of analysis models and methods in website verification and testing. In: Proc. Seventh International Conference on Web Engineering ICWE 2007, pp. 306–311 (2007) Google Scholar
  2. 2.
    Basanieri, F., Bertolino, A., Marchetti, E.: The cow_suite approach to planning and deriving test suites in UML projects. In: Jézéquel, J.M., Hussmann, H., Cook, S. (eds.) UML 2002—The Unified Modeling Language. Model Engineering, Languages, Concepts, and Tools, Proceedings of 5th International Conference, Dresden, Germany, September/October 2002. Lecture Notes in Computer Science, vol. 2460, pp. 383–397. Springer, Berlin (2002) Google Scholar
  3. 3.
    Bayse, E., Cavalli, A., Núñez, M., Zaidi, F.: A passive testing approach based on invariants: application to the WAP. Computer Networks and ISDN Systems 48(2), 247–266 (2005) zbMATHGoogle Scholar
  4. 4.
    Cambronero, M.E., Diaz, G., Pardo, J.J., Valero, V., Pelayo, F.L.: Rt-RT-UML for modeling real-time web services. In: Proc. IEEE Services Computing Workshops SCW 2006, pp. 131–139 (2006) Google Scholar
  5. 5.
    Cardoso, J.: Approaches to developing semantic web services. International Journal of Computer Science 1(1), 8–21 (2006) Google Scholar
  6. 6.
    Cavalli, A.R., Lee, D., Rinderknecht, C., Zaïdi, F.: Hit-or-jump: An algorithm for embedded testing with applications to in services. In: FORTE XII / PSTV XIX 1999: Proc. of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), pp. 41–56. Kluwer, Dordrecht (1999) Google Scholar
  7. 7.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1. (March 2001)
  8. 8.
    Cockburn, A.: Writing Effective Use Cases, 1st edn. Addison-Wesley, Reading (2000) Google Scholar
  9. 9.
    CollabNet: Argouml. (2008)
  10. 10.
    del Cid, J.P.E., de la Fuente Valentin, L., Gutierrez, S., Pardo, A., Kloos, C.D.: Implementation of a learning design run-time environment for the .LRN learning management system. Journal of Interactive Media in Education. Retrieved from ERIC database (2007) Google Scholar
  11. 11.
    dotLRN: Learn, research, network.
  12. 12.
    EVIWARE: SOAPUI: The web services testing tool. (2009)
  13. 13.
    Farahbod, R., Glasser, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Abstract State Machines, pp. 78–94 (2004) Google Scholar
  14. 14.
    Fouchal, H., Petitjean, E., Salva, S.: Testing timed systems with timed purposes. In: Proc. Seventh International Conference on Real-Time Computing Systems and Applications, pp. 166–171 (2000) Google Scholar
  15. 15.
    García-Fanjul, J., Tuya, J., de la Riva, C.: Generating test cases specifications for BPEL compositions of web services using spin. In: Proc. International Workshop on Web Services—Modeling and Testing WS-MaTe 2006, pp. 83–94, Palermo, Italy (2006) Google Scholar
  16. 16.
    Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: Business Process Management, pp. 220–235. Springer, Berlin (2005) CrossRefGoogle Scholar
  17. 17.
    Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003) Google Scholar
  18. 18.
    Hong, H.S., Cha, S.D., Lee, I., Sokolsky, O., Ural, H.: Data flow testing as model checking. In: International Conference on Software Engineering, pp. 232–242. IEEE Comput. Soc., Washington (2003) Google Scholar
  19. 19.
  20. 20.
    Jones, C.A., Drake, F.L. Jr.: Python & XML, 1st edn. O’Reilly Media, Sebastopol (2001) Google Scholar
  21. 21.
    Kazhamiakin, R., Pandya, P., Pistore, M.: Timed modelling and analysis in web service compositions. In: Proc. First International Conference on Availability, Reliability and Security ARES 2006, p. 7 (2006) Google Scholar
  22. 22.
    Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: Proc. 16th IFIP International Conference on Testing of Communicating Systems TestCom 2005, pp. 209–225 (2005) Google Scholar
  23. 23.
    Kung, D.C., Liu, C.H., Hsia, P.: An object-oriented web test model for testing web applications. In: Asia-Pacific Conference on Quality Software, p. 111 (2000) Google Scholar
  24. 24.
    Lallali, M., Zaidi, F., Cavalli, A.: Timed modeling of web services composition for automatic testing. In: Proc. Third International IEEE Conference on Signal-Image Technologies and Internet-Based System SITIS 2007, pp. 417–426 (2007) Google Scholar
  25. 25.
    Li, N., Ma, Q.-q., Wu, J., Jin, M.-z., Liu, C.: A framework of model-driven web application testing. In: 30th Annual International Computer Software and Applications Conference, vol. 2, pp. 157–162 (2006) Google Scholar
  26. 26.
    Liu, C., Kung, D., Hsia, P., Hsu, C.: Structure testing of web applications. In: Proc. 11th Annual International Symposium on Software Reliability Engineering, pp. 84–96 (October 2000) Google Scholar
  27. 27.
    Lorenzo, G.D., Fasolino, A.R., Melcarne, L., Tramontana, P., Vittorini, V.: Turning web applications into web services by wrapping techniques. In: Working Conference on Reverse Engineering, pp. 199–208 (2007) Google Scholar
  28. 28.
    MacKenzie, C.M., Laskey, K., McCabe, F., Brown, P.F., Metz, R.: Reference model for service oriented architecture 1.0. oasis standard, 12 October 2006.
  29. 29.
    Nakajima, S.: Lightweight formal analysis of web service flows. Progress in Informatics 2, 57–76 (2005) CrossRefGoogle Scholar
  30. 30.
    OASIS: Organization for the advancement of structured information standards.
  31. 31.
    OASIS: Universal description discovery and integration.
  32. 32.
    OASIS: WS-BPEL ver. 2.0. (April 2007)
  33. 33.
    Object Management Group: BPMN, business process modeling notation. (2009)
  34. 34.
    OMG: Unified Modeling Language (UML).
  35. 35.
    OMG: XML Metadata Interchange (XMI).
  36. 36.
    OpenACS Community: Openacs.
  37. 37.
    OpenQA Community: Selenium ide.
  38. 38.
    OpenSTA: Open system testing architecture.
  39. 39.
    Paradkar, A.M., Sinha, A., Williams, C., Johnson, R.D., Outterson, S., Shriver, C., Liang, C.: Automated functional conformance test generation for semantic web services. In: IEEE International Conference on Web Services ICWS, pp. 110–117 (2007) Google Scholar
  40. 40.
    probleme: System modeling workbench tool.
  41. 41.
    Realfsen, A.S.: Tclwebtest recorder.
  42. 42.
    Ricca, F., Tonella, P.: Analysis and testing of web applications. In: International Conference on Software Engineering, pp. 25–34 (2001) Google Scholar
  43. 43.
    Sheshagiri, M.: Automatic composition and invocation of semantic web services. Master’s thesis, UMBC (2004) Google Scholar
  44. 44.
    SOASTA: Soasta CloudTest.
  45. 45.
    Softlogica: Wapt: Web application testing.
  46. 46.
    Software QA and Testing Resource Center: Web site test tools and site management tools.
  47. 47.
    W3C: Extensible Markup Language XML.
  48. 48.
    W3C: Ontology Web Language (OWL).
  49. 49.
    W3C: Resource Definition Framework (RDF).
  50. 50.
    W3C: Web application formats working group.
  51. 51.
    W3C: Web ontology web language for services (OWL-S).
  52. 52.
    W3C: Web service description language with semantics (WSDL-S).
  53. 53.
    W3C: Web services modeling ontology (WSMO).
  54. 54.
    W3C: The world wide web consortium.
  55. 55.
    W3C: Simple Object Access Protocol SOAP (version 1.1). (May 2000)
  56. 56.
    Wombacher, A., Fankhauser, P., Neuhold, E.: Transforming BPEL into annotated deterministic finite state automata for service discovery. In: Proc. IEEE International Conference on Web Services ICWS 2004, pp. 316–323 (2004) Google Scholar
  57. 57.
    Xu, L., Xu, B., Chen, Z., Jiang, J., Chen, H.: Regression testing for web applications based on slicing. In: Annual International Computer Software and Applications Conference, p. 652 (2003) Google Scholar
  58. 58.
    Yang, Y., Tan, Q., Yu, J., Liu, F.: Transformation BPEL to CP-nets for verifying web services composition. In: Proc. of International Conference on Next Generation Web Services Practices NWeSP 2005, p. 6 (2005) Google Scholar
  59. 59.
    Yu, Y., Huang, N., Luo, Q.: Owl-s based interaction testing of web service-based system. In: International Conference on Next Generation Web Services Practices, pp. 31–34 (2007) Google Scholar
  60. 60.
    Zhang, R., Arpinar, I.B., Aleman-Meza, B.: Automatic composition of semantic web services. In: International Conference on Web Services ICWS 2003, pp. 38–41 (2003) Google Scholar

Copyright information

© Springer-Verlag London 2010

Authors and Affiliations

  • Ana Cavalli
    • 1
    Email author
  • Mounir Lallali
    • 1
  • Stephane Maag
    • 1
  • Gerardo Morales
    • 1
  • Fatiha Zaidi
    • 2
  1. 1.SAMOVAR CNRS UMR 5157Telecom & Management SudParisEvry CedexFrance
  2. 2.LRIUniversité Paris-Sud 11Orsay CedexFrance

Personalised recommendations