Abstract
Web Service Choreography Description Language gives a global view on the collaborations among a collection of services involving multiple participants or organizations. Since WS-CDL is aimed at a design specification for service composition, there are few approaches to be proposed to test WS-CDL programs. In this paper, we present an approach to testing WS-CDL programs automatically. The dynamic symbolic execution technique is applied to generate test inputs and assertions are treated as the test oracles. Moreover, a simulation engine for WS-CDL is used to perform the execution of WS-CDL programs during the process of symbolic execution. At the end of each execution, the path conditions collected by symbolic execution are put into a SMT solver to generate new input data that will guide the next simulation. Meanwhile, the SMT solver is applied to decide whether the assertion predicates can be satisfied under current path conditions for all test data which improves the quality of testing further.
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
Preview
Unable to display preview. Download preview PDF.
References
Bartolini, C., Bertolino, A., Marchetti, E., Polini, A.: WS-TAXI: A WSCDL-based Testing Tool for Web Services. In: ICST 2009, pp. 326–335 (2009)
Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. In: Advances in Computers, vol. 58, pp. 118–149 (2003)
Business Process Modeling Language (BPML), http://www.ebpml.org/bpml.htm
Business Process Execution Language for Web Services version 1.1 http://www.ibm.com/developerworks/library/specification/ws-bpel/
Chan, W.K., Cheung, S.C., Leung, K.R.P.H.: Towards a Metamorphic Testing Methodology for Service-oriented Software Applications. In: QSIC 2005, pp. 470–476 (2005)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: AICT/ICIW 2006, p. 149 (2006)
Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed Automated Random Testing. In: PLDI 2005, pp. 213–223 (2005)
Java Architecture for XML Binding (JAXB), https://jaxb.dev.java.net/
Li, Z., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS Unit Testing: Framework and Implementation. In: ICWS 2005, pp. 103–110 (2005)
Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, Heidelberg (2004)
Mei, L., Chan, W.K., Tse, T.H.: Data Flow Testing of Service Choreography. In: ESEC/FSE 2009, pp. 151–160 (2009)
OASIS. Universal Description Discovery and Integration (2004), http://www.uddi.org/pubs/uddi_v3.htm
Pu, G., Shi, J., Wang, Z., Jin, L., Liu, J., He, J.: The Validaton and Verification of WSCDL. In: APSEC 2007, pp. 81–88 (2007)
Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In: ISSRE 2006, pp. 75–84 (2006)
Zhou, L., Zhang, H., Wang, T., Yang, C., Wang, Z., Sun, M., Pu, G.: Static Check of WS-CDL Documents. In: SOSE 2008, pp. 142–147 (2008)
Pu, G., Zhao, Y., Wang, Z., Feng, L., Zhu, H., He, J.: A Denotational Model for Web Services Choreography. In: Parashar, M., Aggarwal, S.K. (eds.) ICDCIT 2008. LNCS, vol. 5375, pp. 1–12. Springer, Heidelberg (2008)
Sen, K., Marinov, D., Agha, G.: Cute: A Concolic Unit Testing Engine for C. In: ESEC/FSE-13, pp. 263–272 (2005)
Monakova, G., Kopp, O., Leymann, F., Moser, S., Schafers, K.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC 2009, pp. 81–94 (2009)
Kang, Z., Wang, H., Hung, P.C.: WS-CDL+ for web service collaboration Information Systems Frontiers, vol. 9, pp. 375–389. Kluwer Academic Publishers, Dordrecht (2007)
W3C Note. Simple Object Access Protocol (SOAP) 1.1 (2000), http://www.w3.org/TR/soap
W3C Note. Web Service Definition Language (WSDL) 1.1 (2001), http://www.w3.org/TR/wsdl
Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.F.: Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More. Prentice Hall PTR, Englewood Cliffs (2005)
Web Services Choreography Description Language (WS-CDL), Version 1.0 (November 2005), http://www.w3.org/TR/ws-cdl-10/
Web Services Flow Language (WSFL), http://xml.coverpages.org/wsfl.html
Web Service Choreography Interface (WSCI), Version 1.0 (January 2004), http://www.w3.org/TR/2002/NOTE-wsci-20020808
Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the SOA. Annals of Mathematics, Computing & Teleinformatics 1(3), 35–43 (2005)
Zhou, L., Xiao, H., Ping, J., Pu, G., Zhang, H.: Simulation and Validation of Web Services Choreography. In: SOCA 2009, Taipei, China (December 2009)
Kaschner, K., Lohmann, N.: Automatic Test Case Generation for Interacting Services. In: ICSOC 2008. LNCS, vol. 5472, pp. 66–78. Springer, Heidelberg (2009)
Z3: An Efficient SMT Solver, http://research.microsoft.com/en-us/um/redmond/projects/z3/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhou, L., Ping, J., Xiao, H., Wang, Z., Pu, G., Ding, Z. (2010). Automatically Testing Web Services Choreography with Assertions. In: Dong, J.S., Zhu, H. (eds) Formal Methods and Software Engineering. ICFEM 2010. Lecture Notes in Computer Science, vol 6447. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16901-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-16901-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16900-7
Online ISBN: 978-3-642-16901-4
eBook Packages: Computer ScienceComputer Science (R0)