Automatic Generation of Test Models for Web Services Using WSDL and OCL

  • Macías López
  • Henrique Ferreiro
  • Miguel A. Francisco
  • Laura M. Castro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8274)


Web services are a very popular solution to integrate components when building a software system, or to allow communication between a system and third-party users, providing a flexible, reusable mechanism to access its functionalities.

To ensure these properties though, intensive testing of web services is a key activity: we need to verify their behaviour and ensure their quality as much as possible, as efficiently as possible. In practise, the compromise between effort and cost leads too often to smaller and less exhaustive testing than it would be desirable.

In this paper we present a framework to test web services based on their WSDL specification and certain constraints written in OCL, following a black-box approach and using property-based testing. This combination of strategies allows us to face the problem of generating good quality test suites and test cases by automatically deriving those from the web service formal description. To illustrate the use of our framework, we present an industrial case study: a distributed system which serves media contents to customers’ TV screens.


Property-Based Testing Web Services WSDL OCL 


  1. 1.
  2. 2.
    Object Constraint Language (OCL),
  3. 3.
  4. 4.
    Semantic Web Rule Language (SWRL),
  5. 5.
    Web Services Description Language (WSDL),
  6. 6.
    Web Services Semantics (WSDL-S),
  7. 7.
    Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang., pp. 2–10 (2006)Google Scholar
  8. 8.
    Askarunisa, A., Abirami, A., Mohan, S.: A test case reduction method for semantic based web services. In: International Conference on Computing, Communication and Networking Technologies, pp. 1–7 (2010)Google Scholar
  9. 9.
    Bai, X., Lee, S., Tsai, W., Chen, Y.: Ontology-based test modeling and partition testing of web services. In: IEEE International Conference on Web Services, pp. 465–472 (2008)Google Scholar
  10. 10.
    Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSDL-based testing tool for web services. In: International Conference on Software Testing, Verification, and Validation, pp. 326–335 (2009)Google Scholar
  11. 11.
    Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic synthesis of behavior protocols for composable web-services. In: ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 141–150 (2009)Google Scholar
  12. 12.
    Derrick, J., Walkinshaw, N., Arts, T., Benac Earle, C., Cesarini, F., Fredlund, L.-A., Gulias, V., Hughes, J., Thompson, S.: Property-based testing - the ProTest project. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 250–271. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  13. 13.
    Emmerich, W.: Managing web service quality. In: International Workshop on Software Engineering and Middleware, pp. 1–1 (2006)Google Scholar
  14. 14.
    Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. SIGSOFT Software Engineering Notes 22(4), 74–80 (1997)CrossRefGoogle Scholar
  15. 15.
    Forsberg, M., Ranta, A.: Labelled BNF: a highlevel formalism for defining well-behaved programming languages. Estonian Academy of Sciences: Physics and Mathematics 52, 356–377 (2003)zbMATHGoogle Scholar
  16. 16.
    Francisco, M.A., Castro, L.M.: Automatic generation of test models and properties from UML models with OCL constraints. In: International Workshop on OCL and Textual Modelling, pp. 49–54 (2012)Google Scholar
  17. 17.
    Lampropoulos, L., Sagonas, K.F.: Automatic WSDL-guided test case generation for proper testing of web services. In: International Workshop on Automated Specification and Verification of Web Systems, vol. 98, pp. 3–16 (2012)Google Scholar
  18. 18.
    Mouchawrab, S., Briand, L.C., Labiche, Y., Di Penta, M.: Assessing, comparing, and combining state machine-based testing and structural testing: A series of experiments. IEEE Transactions Software Engineering 37(2), 161–187 (2011)CrossRefGoogle Scholar
  19. 19.
    Noikajana, S., Suwannasart, T.: An improved test case generation method for web service testing from WSDL-S and OCL with pair-wise testing technique. In: International Computer Software and Applications Conference, pp. 115–123 (2009)Google Scholar
  20. 20.
    Farrell-Vinay, P.: Managing Software Testing. Auerbach Publishers (2008)Google Scholar
  21. 21.
    Petrenko, A.: Why automata models are sexy for testers (Invited talk). In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol. 4378, pp. 26–26. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  22. 22.
    Timm, J., Gannod, G.: Specifying semantic web service compositions using UML and OCL. In: IEEE International Conference on Web Services, pp. 521–528 (2007)Google Scholar
  23. 23.
    Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng. 28(2), 183–200 (2002)CrossRefGoogle Scholar
  24. 24.
    Zheng, Y., Zhou, J., Krause, P.: An automatic test case generation framework for web services. Journal of Software 2(3), 64–77 (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Macías López
    • 1
  • Henrique Ferreiro
    • 1
  • Miguel A. Francisco
    • 2
  • Laura M. Castro
    • 1
  1. 1.MADS GroupUniversity of A CoruñaSpain
  2. 2.Interoud Innovation S.LSpain

Personalised recommendations