Abstract
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.
Chapter PDF
Similar content being viewed by others
References
Object Constraint Language (OCL), http://www.omg.org/spec/OCL/2.3.1/
Semantic Web Rule Language (SWRL), http://www.w3.org/Submission/SWRL/
Web Services Description Language (WSDL), http://www.w3.org/TR/wsdl/
Web Services Semantics (WSDL-S), http://www.w3.org/Submission/WSDL-S/
Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang., pp. 2–10 (2006)
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)
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)
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)
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)
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)
Emmerich, W.: Managing web service quality. In: International Workshop on Software Engineering and Middleware, pp. 1–1 (2006)
Fink, G., Bishop, M.: Property-based testing: a new approach to testing for assurance. SIGSOFT Software Engineering Notes 22(4), 74–80 (1997)
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)
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)
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)
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)
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)
Farrell-Vinay, P.: Managing Software Testing. Auerbach Publishers (2008)
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)
Timm, J., Gannod, G.: Specifying semantic web service compositions using UML and OCL. In: IEEE International Conference on Web Services, pp. 521–528 (2007)
Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng. 28(2), 183–200 (2002)
Zheng, Y., Zhou, J., Krause, P.: An automatic test case generation framework for web services. Journal of Software 2(3), 64–77 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
López, M., Ferreiro, H., Francisco, M.A., Castro, L.M. (2013). Automatic Generation of Test Models for Web Services Using WSDL and OCL. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds) Service-Oriented Computing. ICSOC 2013. Lecture Notes in Computer Science, vol 8274. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45005-1_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-45005-1_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-45004-4
Online ISBN: 978-3-642-45005-1
eBook Packages: Computer ScienceComputer Science (R0)