Abstract
Unit testing is a critical step in the development lifecycle of business processes for ensuring product reliability and dependability. Although plenty of unit testing approaches for WS-BPEL have been proposed, only a few of them designed and implemented a runnable unit testing framework, and none of them provides a technique to systematically specifying and testing the causal and temporal dependencies between the process-under-test and its partner services. In this paper, we propose a novel approach and framework for specifying and testing the inter-dependencies between the process-under-test and its partner services. The dependency constraints defined in the business protocol are declaratively specified using a pattern-based high-level language, and a FSA-based approach is proposed for detecting the violation of constraints. A testing framework that integrates with the Java Finite State Machine framework has been implemented to support the specification of both dependency constraints and test cases, and the execution and result analysis of test cases.
Chapter PDF
Similar content being viewed by others
References
Alonso, G., Casati, F., Kuno, H.A., Machiraju, V.: Web Services - Concepts, Architectures and Applications. Springer (2004)
Beck, K.: Test Driven Development: By Example. Addison-Wesley Professional (2002)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-State Verification. In: Proc. of the 2nd Workshop on Formal Methods in Software Practice, pp. 7–15 (1998)
Evdemon, J., Arkin, A., Barreto, A., Curbera, B., Goland, F., Kartha, G., Khalaf, L., Marin, K., van der Rijn, M.T., Yiu, Y.: Web Services Business Process Execution Language Version 2.0. In: BPEL4WS Specifications (2007)
eVelopers Corporation. Java Finite State Machine Framework (2007), http://unimod.sourceforge.net/fsm-framework.html
Garca-Fanjul, J., Tuya, J., de la Riva, C.: Generating Test Cases Specifications For BPEL Compositions Of Web Services Using Spin. In: Proc. of the International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), pp. 83–94 (2006)
Georgakopoulos, D., Papazoglou, M.P.: Service-Oriented Computing. The MIT Press (2008)
Hamill, P.: Unit Testing Frameworks. O’Reilly (2004)
JUnit, http://www.junit.org
Lallali, M., Zaidi, F., Cavalli, A.: Transforming BPEL Into Intermediate Format Language For Web Services Composition Testing. In: Proc. of the 4th International Conference on Next Generation Web Services Practices, pp. 191–197 (2008)
Li, Z.J., Sun, W.: BPEL-unit: JUnit for BPEL processes. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 415–426. Springer, Heidelberg (2006)
Li, Z.J., Sun, W., Jiang, Z.B., Zhang, X.: Bpel4ws unit testing: Framework and implementation. In: ICWS, pp. 103–110 (2005)
Mayer, P., Lübke, D.: Towards a bpel unit testing framework. In: TAV-WEB, pp. 33–42 (2006)
MockObjects, http://www.mockobjects.com
Rusli, H.M., Puteh, M., Ibrahim, S., Hassan, S.G.: Comparative Evaluation of State-of-the-Art Web Service Composition Testing Approaches. In: Proc. of the 6th International Workshop on Automation of Software Test (AST 2011), pp. 29–35 (2011)
Vaughan, J.: Gartner: SOA Will Be Like Electricity For Architects Looking Toward Cloud Computing. SOA News (2010), http://searchsoa.techtarget.com/news/article/0,289142,sid26_gci1523670,00.html
Wikipedia. Unit testing (2002), http://en.wikipedia.org/wiki/Unit_testing
Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern Based Property Specification and Verification for Service Composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 156–168. Springer, Heidelberg (2006)
Yu, J., Phan, M.T., Han, J., Jin, J.: Pattern based Property Specification and Verification for Service Composition. Technical Report SUT.CeCSES-TR010. CeCSES, Swinburne University of Technology (2006), http://www.it.swin.edu.au/centres/cecses/trs.htm
Yuan, Y., Li, Z., Sun, W.: A Graph-Search Based Approach to BPEL4WS Test Generation. In: Proc. of the International Conference on Software Engineering Advances, ICSEA 2006 (2006)
Zakaria, Z., Atan, R., Ghani, A., Sani, N.: Unit Testing Approaches for BPEL: A Systematic Review. In: APSEC, pp. 316–322 (2009)
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
Yu, J., Han, J., Gunarso, S.O., Versteeg, S. (2013). A Business Protocol Unit Testing Framework for Web Service Composition. In: Salinesi, C., Norrie, M.C., Pastor, Ó. (eds) Advanced Information Systems Engineering. CAiSE 2013. Lecture Notes in Computer Science, vol 7908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38709-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-38709-8_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38708-1
Online ISBN: 978-3-642-38709-8
eBook Packages: Computer ScienceComputer Science (R0)