Ontology-based test case generation for testing web services

Proceedings - Eighth International Symposium on Autonomous Decentralized Systems, ISADS 2007

Volumn , Issue , 2007, Pages 43-50

  Wang, Yongbo ^a   Bai, Xiaoying ^a   Li, Juanzi ^a   Huang, Ruobo ^b  

^a TSINGHUA UNIVERSITY   (China)

^b IBM CHINA RESEARCH LAB   (China)

Author keywords

Ontology; OWL S; Petri net; Test case generation; Web services

Indexed keywords

TEST CASE GENERATION;

ONTOLOGY; PETRI NETS; SOFTWARE TESTING;

WEB SERVICES;

EID: 34547495315     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISADS.2007.54     Document Type: Conference Paper

References (28)

1. X. Bai, W. Dong, WT Tsai, Y. Chen, WSDL-Based Automatic Test Case Generation for Web Services Testing. IEEE International Workshop on Service-Oriented System Engineering (SOSE), Beijing October 2005, 207-212.
2. W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to Facilitate Web Services Testing", Proc. of IEEE HASE, 2002, pp. 171-172.
3. X. Yi and K.J. Kochut, "A CP-nets-based Design and Verification Framework for Web Services Composition", Proceedings of the IEEE International Conference on Web Services, March, 2004, pp. 756-760.
4. S. Nakajima, "Model-checking verification for reliable web service", In Proc.OOPSLA'02 Workshop on OOWeb Services, 2002.
5. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verification of web service compositions", In Proc. ASE'03, 2003, pp. 152-161.
6. S. Narayanan and S. Mcllraith, "Simulation, verification and automated composition of web services", In Proc. WWW02. ACM, 2002, pp. 77-88.
7. W3C, "OWL-S: Semantic Markup for Web Services", available at: http://www.w3.org/Submission/2004/SUBM-OWL-S-20041122/.
8. Ying Ding, "Ontology: The enabler for the Semantic Web", Journal of Information Science. 27(6), 2001, pp. 377-384.
9. Y. Ding and S. Foo, "Ontology Research and Development, Part 1 - A Review of Ontology Generation", Journal of information science 3 (2002), no. 28. 123-136.
10. David Martin, etc., "Bringing Semantics to Web Services: The OWL-S Approach", In First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004).
11. TADAO MURATA, "Petri Nets: Properties, Analysis and Application", Proceedings of the IEEE, VOL 77, NO.4, April 1989.
12. Richard Zurawski, MengChu Zhou, "Petri Nets and Industrial Applications: A Tutorial", IEEE Transactions on industrial electronics, Vol. 41, No. 6, Dec. 1994, pp. 567-583.
13. Qingning Huo, Hong Zhu, Sue Greenwood, "A Multi-Agent Software Environment for Testing Web-based Applications", Proceedings of the 27th IEEE Annual Computer Software and Applications Conference (COMPSAC'03), 2003, pp. 210-215.
14. Tim Berners-Lee, James Hendler, Ora Lassila, "The Semantic Web: Scientific American", Special Online Issue, 2002, pp.24-30.
15. W3C, "Extensible Markup Language (XML)", available at: http://www.w3.org/XML/.
16. W3C, "OWL Web Ontology Language Overview", available at: http://www.w3.org/TR/2004/REC- owlfeatures-20040210/.
17. Protégé, available at: http://protege.stanford.edn.
18. Dragan Gasevic, "Petri net Ontology building", available at: http://afrodita.rcub.bg.ac.yu/~gasevic/projects/PNO/.
19. Asuncion Gomez-Perez, Mariano Fernandez-Lopez, and Oscar Corcho, Ontological Engineering, Springer press, 2005.
20. Wei-Tek Tsai, Yinong Chen, Raymond Paul, Hai Huang, Xinyu Zhou, Xiao Wei, "Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services", Proceeding of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05), 2005, pp.101-106.
21. Rachid Hamadi, Boualem Benatallah, "A Petri Net-based Model for Web Service Composition", presented at Fourteenth Australian Database Conference, 2003, pp.191-200.
22. Xiao Hang Wang, Da Qing Zhang, Tao Gu, Hung Keng Pung, "Ontology Based Context Modeling and Reasoning using OWL", Proceedings of the Second IEEE Annual Conference on Pervasive Computing and Communications Workshops (PERCOMW'04), 2004, pp. 18-22.
23. M.P.Singh, M. N. Huhns, Service-Oriented Computing, John Wiley & Sons, 2005.
24. Jena 2 Inference support Web Page, http://jena.sourceforge.net.inference/ index.html.
25. Jena2 Semantic Web Toolkit, http://www.hpl.hp.com/semweb/jena2.htm.
26. OWL-S API, http://www.mindswap.org/2004/owl-s/api/index.shtml.
27. KIF web page, http://logic.stanford.edu/kif/kif.html.
28. PIPE web site, http://pipe2.sourceforge.net/.