No Access

GENERATING TEST CASES OF COMPOSITE SERVICES BASED ON OWL-S AND EH-CPN

BIXIN LI

School of Computer Science and Engineering, Southeast University, Nanjing 210096, Jiangsu Province, P. R. China

Search for more papers by this author

SHUNHUI JI

School of Computer Science and Engineering, Southeast University, Nanjing 210096, Jiangsu Province, P. R. China

Search for more papers by this author

DONG QIU

School of Computer Science and Engineering, Southeast University, Nanjing 210096, Jiangsu Province, P. R. China

Search for more papers by this author

, and

JU CAI

School of Computer Science and Engineering, Southeast University, Nanjing 210096, Jiangsu Province, P. R. China

Search for more papers by this author

https://doi.org/10.1142/S0218194010004955Cited by:4 (Source: Crossref)

Abstract

In web service times, the techniques for composing services are based on service reuse and automatic integration. A new web service will be generated by composing some existing web services. These web services cooperate with each other to provide a new more complex function. It is necessary and very important to test the interaction behavior between any two web services during composition. In this paper, a kind of enhanced hierarchical color petri-net (or EH-CPN) is introduced to generate test cases for testing the interaction, where EH-CPN is transformed from OWL-S document, and both control flow and data flow information in EH-CPN are analyzed and used to generate an executable test sequence, and further test cases are created by combining the test sequence and test data in an XML file.

This work is supported partially by National High Technology Development Plan under Grant No. 2008AA01Z113, partially by the National Natural Science Foundation of China under Grant No. 60773105, 60973149.

Keywords:

References

W3C WSDL Specification, http://www.w3.org/TR/wsdl . Google Scholar
IBM WS-BPEL Specification, http://www.ibm.org/developerworks/libary/specification/ws-bpel . Google Scholar
W3C OWL Web Ontology Langauge Overview, http://www.w3.org/TR/2004/REC-owlfeatures-20040210/ . Google Scholar
H. M. Sneed and S. H. Huang, WSDLTest-A tool for testing web services, Eighth IEEE International Symposium on Web Site Evolution (2006) pp. 14–21. Google Scholar
X. Y. Baiet al., WSDL-based automatic test case generation for web services testing, Proc. of 2005 IEEE International Workshop on Service-Oriented System Engineering (SOSE'05) (2005) pp. 207–212. Google Scholar
Y. B. Wanget al., Ontology-based test case generation for testing web services, Proc. of Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) (2007) pp. 43–50. Google Scholar
Y. P. Yanget al., Transformation BPEL to CP-nets for verifying web services composition, Proc. of the International Conference on Next Generation Web Services Practices (NWeSP'05) (2005) p. 6. Google Scholar
Y. P. Yanget al., Exploiting hierarchical CP-nets to increase the reliability of web services workflow, Proc. of the 2005 Symposium on Applications and the Internet (SAINT'06) (2006) p. 7. Google Scholar
S. Y. Wang et al. , Petri nets for Systems Engineering ( Publishing House of Electronics Industry , 2005 ) . Google Scholar
C. Bourhfiret al., Automatic executable test case generation for extended finite state machine protocols, Proc. of IWTCS'9717 pp. 75–90. Google Scholar
B. Antoniaet al., Automatic test data generation for XML schema-based partition testing, Proc. of Automation of Software Test 2007, Second International Workshop (2007) p. 4. Google Scholar
D. Martin et al., CongoProcess.owl document, http://www.daml.org/services/owl-s/1.2/ . Google Scholar
W. T. Tsaiet al., Coyote: An XML-based framework for web services testing, Proc. of 7th IEEE International Symposium on High Assurance Systems Engineering (2002) pp. 173–174. Google Scholar
R. Siblini and N. Mansour , Testing web services , Proc. of the 3rd ACS/IEEE International Conference on Computer Systems and Applications ( 2005 ) . Google Scholar
R. Bechtold et al. , Test case generation for ATM protocols using high-level Petri net models , Proc. of the IFIP TC6 9th International Workshop on Testing of Communicating Systems ( Darmstadt, Germany , 1996 ) . Google Scholar
R. Hamadi and B. Benatallah, A Petri net-based model for web service composition, Proc. of the 14th Australasian Database Conference17 (Adelaide, Australia, 2003) pp. 191–200. Google Scholar
Y. Y. Zheng, J. Zhou and P. Krause, A model checking based test case generation framework for web services, Proc. of Fourth International Conference on Information Technology (ITNG'07) (2007) pp. 715–722. Google Scholar
L. Hua and Y. X. Ming, Generation executable test sequence based on Petri-net for combined control and data flow of communication protocol, Proc. of International Conference on Communication Technology (1998) pp. S48-02-1–S48-02-5. Google Scholar