Abstract
Web services are becoming more and more widespread as an emerging technology; it is hard to test Web services because they are distributed applications with numerous aspects of runtime behavior that are different from typical applications. This paper presents a new approach to testing Web services based on Extended Finite State Machine (EFSM). Web Services Description Language (WSDL) file alone does not provide dynamic behavior information. This problem can be overcome by appending the formal model of EFSM to standard WSDL, we can generate a set of test cases which has a better test coverage than other methods. Moreover, a procedure for deriving an EFSM model from WSDL specification is provided to help a service provider augment, the EFSM model describing dynamic behaviors of the Web service. To show the efficacy of our approach, we applied our approach to Parlay-X Web services. In this way, we can test Web services with greater confidence in potential fault detection.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Booth D, Haas H, McCabe F, Newcomer E, Champion M, Ferris C, Orchard D (2004) Web services architecture. W3C working group note, W3C,1201 Massachusetts Avenue, Cambridge, USA
Shafique M, Labiche Y (2010) A systematic review of model based testing tool support. Carleton University, Technical report, May 2010
Bourhfir C, Aboulhamid E, Khendek F, Dssouli R (2012) Test cases selection from SDL specifications. Comput Netw 35(6):693–708
Heckel R, Mariani L (2005) Automatic conformance testing of web services, vol 3442. Springer LNCS, New York, pp 34–48
Baldan P, Konig B, Sturmer I (2011) Generating test cases for code generators by unfolding graph transformation systems. In: Proceedings of 9th International conference on graph transformation, Rome
Ammann P, Offutt J (2011) Introduction to software testing. Cambridge University Press, New York
Weyuker E, Jeng B (2006) Analyzing partition testing strategies. IEEE Trans Softw Eng 31:703–711
White L, Cohen EJ (1980) A domain strategy for computer program testing. IEEE Trans Softw Eng 6:247–257
Tsai WT, Paul R, Wang Y, Fan C, Wang D (2008) In: Extending WSDL to facilitate web services testing. HASE 2008
Bourhfir C, Dssouli R, Aboulhamid E, Rico N (1997) Automatic executable test case generation for EFSM specified protocols. IWTCS’97, pp 75–90
Offutt J, Xu W (2004) Generating test cases for web services using data perturbation. ACM SIGSOFT Softw Eng Notes 29:1–10
Li Y, Li M, Yu J (2009) “Web service testing, the methodology, and the implementation of the automation-testing tool”, GCC2009. LNCS 3032:940–947
Sabnani K, Dahbura A (1985) A new technique for generating protocol tests. ACM Comput Commun 15(4):39–48
Hausmann JH, Heckel R, Lohmann M (2006) Model-based discovery of web services. ICWS’06, pp 63–75
Parlay X (2012) Working group, Parlay-X White Paper. http://www.parlay.org
Acknowledgment
This work is funded by the Shandong Provincial Natural Science Foundation of China (Grant No.ZR2011FL013) and partially supported by the Natural Science Foundation of China (NSFC, Grant No.60873237), Natural Science Foundation of Beijing (Grant No.4092037).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sun, F., Liao, L., Zhang, L. (2014). Model-Based Testing of Web Service with EFSM. In: Wen, Z., Li, T. (eds) Practical Applications of Intelligent Systems. Advances in Intelligent Systems and Computing, vol 279. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54927-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-54927-4_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54926-7
Online ISBN: 978-3-642-54927-4
eBook Packages: EngineeringEngineering (R0)