Towards specification based testing for semantic web services

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn , Issue , 2009, Pages 54-63

  Jokhio, M Shaban ^a   Dobbie, Gillian ^a   Sun, Jing ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DISCOVERY; COVERAGE CRITERIA; EMERGING TECHNOLOGIES; MODERN INFRASTRUCTURE; PROCESSABLE; SERVICE DESCRIPTION; SOFTWARE TESTING TECHNIQUES; SPECIFICATION BASED TESTING; TEST CASE; WEB CONTENT;

COMPUTER SOFTWARE SELECTION AND EVALUATION; QUALITY ASSURANCE; SEMANTIC WEB; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; TESTING; TOTAL QUALITY MANAGEMENT;

WEB SERVICES;

EID: 70349498473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2009.38     Document Type: Conference Paper

References (17)

1. W. T. Tsai, R. Paul, Y. Wang, C. Fan, and D. Wang, "Extending WSDL to Facilitate Web Services Testing", in Proceedings of the 7th IEEE International Symposium on High Assurance Systems Engineering. Washington, DC, USA: IEEE Computer Society, 2002, pp. 171-172.
2. W. T. Tsai, R. Paul, W. Song, and Z. Cao, "Coyote: an XMLbased Framework for Web services Testing", in Proceedings of 7th IEEE International Symposium on High Assurance Systems Engineering, 2002, pp. 173-174.
3. R. Siblini and N. Mansour, "Testing Web Services", in International Conference on Computer Systems and Applications. Los Alamitos, CA, USA: IEEE Computer Society, 2005, pp. 135-vii.
4. X. Bai, W. Dong, W.-T. Tsai, and Y. Chen, "WSDL Based Automatic Test Case Generation for Web Services Testing", in Proceedings of the IEEE International Workshop on Service-Oriented System Engineering. Washington, DC, USA: IEEE Computer Society, 2005, pp. 215-220.
5. H. Sneed and S. Huang, "WSDLTest - A Tool for Testing Web Services", in Proceedings of Eighth IEEE International Symposium on Web Site Evolution, Sept. 2006, pp. 14-21.
6. W. Xu, J. Offutt, and J. Luo, "Testing Web Services by XML Perturbation", in Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering. Washington, DC, USA: IEEE Computer Society, 2005, pp. 257-266.
7. G. Dai, X. Bai, Y. Wang, and F. Dai, "Contract-Based Testing for Web Services", in Proceedings of the 31st Annual International Computer Software and Applications Conference. Washington, DC, USA: IEEE Computer Society, 2007, pp. 517-526.
8. Y. Wang, X. Bai, J. Li, and R. Huang, "Ontology-based test case generation for testing web services", in Proceedings of Eighth International Symposium on Autonomous Decentralized Systems, 2007, pp. 43-50.
9. J. de Bruijn, C. Bussler, J. Domingue, D. Fensel, M. Hepp, U. Keller, M. Kifer, B. Kinig-Ries, J. Kopecky, R. Lara, H. Lausen, E. Oren, A. Polleres, D. Roman, J. Scicluna, and M. Stollberg, "Web Service Modeling Ontology (WSMO)", June 2005, available at http://www.w3.org/Submission/WSMO/.
10. J. de Bruijn, H. Lausen, and R. Krummenacher, "D16.1v0.21, Web Service Modelling Language", October 2005, WSMO Working Group, available at http://www.wsmo.org/TR/d16/d16.1/v0.21/.
11. D. Marin, M. Vassil, and S. Alex, "WSMO4j Programmers Guide, V2.01", November 2006, WSMO Working Group, available at wsmo4j.sourceforge.net/doc/wsmo4j-prog-guide.pdf.
12. E. Cimpian, M. Moran, E. Oren, T. Vitvar, and M. Zaremba, "Overview and Scope of WSMX, D13.0 v0.2", November 2006, wSMX Working Draft, available at http://www.wsmo.org/TR/d13/d13.0/v0.2/index.pdf.
13. A. Gargantini and C. Heitmeyer, "Using model checking to generate tests from requirements specifications", SIGSOFT Softw. Eng. Notes, vol. 24, no. 6, pp. 146-162, 1999.
14. Luqi, H. Yang, and X. Yang, "Constructing an automated testing oracle: an effort to produce reliable software", in Proceedings of Eighteenth Annual InternationalComputer Software and Applications Conference, Nov 1994, pp. 228- 233.
15. M. Leuschel and M. Butler, "ProB: A Model Checker for B", in Proceedings of International Symposium of Formal Methods Europe FME 2003. Springer Berlin / Heidelberg, 2003, pp. 855-874.
16. M. Satpathy, M. Leuschel, and M. J. Butler, "ProTest: An Automatic Test Environment for B Specifications", Electr. Notes Theor. Comput. Sci., vol. 111, pp. 113-136, 2005.
17. B. Legeard, F. Peureux, and M. Utting, "Automated Boundary Testing from Z and B", in Proceedings of the International Symposium of Formal Methods Europe. London, UK: Springer-Verlag, 2002, pp. 21-40.