Test Case Generation of Web Service Composition: An Approach Based on the Color Petri Net

Abstract:

Based on CP-nets models, an approach of test case generation is proposed for BPEL processes, with which the semantic of BPEL concurrence is well dealt. Firstly, a web service composition which coded in BPEL language is expressed as CP-net models on which depth-first traversal works immediately, and result in sequence test paths obtained. After merging these sequence test paths into program executable units (PEU for short), constraint set of these units is solved and formed into test cases. Finally an application of the approach is illustrated with an example, which more efficiency shown with 7 test units less than 9 test path appear in reference available for same example.

• Periodical: Applied Mechanics and Materials (Volumes 336-338)
• Pages: 2063-2070
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.336-338.2063
• Online since: July 2013
• Authors: Yu Ying Wang, Ping Chen
• Keywords: Colored Petri Net, State Space Explosion, Test Case Generation, Web Service Composition

References

[1] Y. Yuan, Z.J. Li, W. Sun. A Graph-Search Based Approach to BPEL4WS Test Generation . International Conference on Software Engineering Advances (ICSEA'06), 2006, pages14.

DOI: 10.1109/icsea.2006.261270

[2] R.N. Taylor, D.L. Levine, and C.D. Kelly. Structural testing of concurrent programs. IEEE Transactions on Software Engineering. March, 1992, vol18(3), pages206-215.

DOI: 10.1109/32.126769

[3] R.D. Yang and C.G. Chung, A path analysis approach to concurrent program testing, Information and Software Technology, 1992, 34(1), pages 43-56.

[4] T. Katayama, E. Itoh, and Z. Furukawa, Test-case generation for concurrent programs with the testing criteria using interaction sequences, Proceedings of the 6th Asian-Pacific Software Engineering Conference, December 1999, pages590-597.

DOI: 10.1109/apsec.1999.809654

[5] C. Ouyang, E. Verbeek, and W. M. P. Van der Aalst et al. Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming archive. July 2007, Vol67(2-3), pages162-198.

DOI: 10.1016/j.scico.2007.03.002

[6] D. L¨ubke and A. Salnikow. Definition and Formalization of BPEL Process Test Coverage. Technical report, Leibniz Universit¨at Hannover, FG Software Engineering. http: /www. se. uni-hannover. de/techreports/2009-01Definition AndFormalizationOfBpelProcessTestCoverage. pdf, (2008).

[7] D. Lubke, L. Singer, A. Salnikow. Calculating BPEL Test Coverage through Instrumentation. Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada: May (2009).

DOI: 10.1109/iwast.2009.5069049

[8] UDDI. Universal Description, Discovery and Integeration 2. 0. http: /www. w3. org/TR/wsdl.

[9] J. Thomas. McCabe. A Complexity Measure. IEEE Transaction on Software Engineering, SE-2(4). 1976, pages308-320.

[10] Desel (Editor), B. Pernici (Editor), and M. Weske (Editor). Proceedings of the 2nd International Conference on Business Process Management, volume 3080 of Lecture Notes in Computer Science. Potsdam, Germany: Springer-Verlag, June (2004).

DOI: 10.1007/b98280

[11] W. M. P. van der Aalst (Editor), A. ter Hofstede (Editor), and M. Weske (Editor). Proceedings of the International Conference on Business Process Management, volume 2678 of Lecture Notes in Computer Science. Eindhoven, Netherlands: Springer-Verlag, June (2003).

DOI: 10.1007/3-540-44895-0

[12] WANG Yu-ying, CHEN Ping. Models of BPEL's flow activity based on color Petri net. Application Research of Computers, 2011, 28(2), pages631-634.

[13] WANG Yu-ying, CHEN Ping. Models of Web Services Composition Based on Timed Color Petri Nets [J]. COMPUTER SCIENCE, 2010, 37（10, pages151-155.

[14] http: /wiki. daimi. au. dk/cpntools/cpntools. wiki[OL]. (2009).

[15] J. Zhang, X. Wang. A constraint solver and its application to path feasibility analysis. International Journal of Software Engineering & Knowledge Engineering. 2001. Vol11(2), pages139-156.

DOI: 10.1142/s0218194001000487

[16] J. Yan, Z. Li, Y. Yuan et al. BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. In 17th International Symposium on Software Reliability Engineering (ISSRE'06). IEEE, (2006).

DOI: 10.1109/issre.2006.16

[17] OASIS. Web Services Business Process Execution Language Version 2. 0. http: /docs. oasis-open. org/wsbpel/2. 0/OS/wsbpel-v2. 0-OS. pdf. (2008).