Ontology-Based Test Modeling and Partition Testing of Web Services

作者: Xiaoying Bai , Shufang Lee , Wei-Tek Tsai , Yinong Chen

DOI: 10.1109/ICWS.2008.111

关键词:

摘要: Testing is useful to establish trust between service providers and clients. To test the service-oriented applications, automated specification-based generation collaboration are necessary. The paper proposes an ontology-based approach for Web services (WS) testing. A ontology model (TOM) defined specify concepts, relationships, semantics from two aspects: design (such as data, behavior, cases) execution plan, schedule configuration). TOM specification using OWL (Web language) can serve contracts among components. Based on WS semantic in OWL-S, discusses techniques generate sub-domains input partition Data pools established each parameter of specified service. partitions derived by class property relationship analysis. Completeness consistency (C&C) checking be performed data values, both within against computation reasoning. prototype tool implemented support OWL-S analysis, C&C checking.

参考文章(16)
T. J. Ostrand, M. J. Balcer, The category-partition method for specifying and generating fuctional tests Communications of The ACM. ,vol. 31, pp. 676- 686 ,(1988) , 10.1145/62959.62964
PS Loo, WK Tsai, Random testing revisited Information & Software Technology. ,vol. 30, pp. 402- 417 ,(1988) , 10.1016/0950-5849(88)90037-7
Reiko Heckel, Marc Lohmann, Towards Contract-based Testing of Web Services Electronic Notes in Theoretical Computer Science. ,vol. 116, pp. 145- 156 ,(2005) , 10.1016/J.ENTCS.2004.02.073
Marcello Bruno, Gerardo Canfora, Massimiliano Di Penta, Gianpiero Esposito, Valentina Mazza, Using Test Cases as Contract to Ensure Service Compliance Across Releases Service-Oriented Computing – ICSOC 2007. pp. 87- 100 ,(2005) , 10.1007/11596141_8
Yongbo Wang, Xiaoying Bai, Juanzi Li, Ruobo Huang, Ontology-Based Test Case Generation for Testing Web Services international symposium on autonomous decentralized systems. pp. 43- 50 ,(2007) , 10.1109/ISADS.2007.54
T.Y. Chen, Pak-Lok Poon, T.H. Tse, A choice relation framework for supporting category-partition test case generation IEEE Transactions on Software Engineering. ,vol. 29, pp. 577- 593 ,(2003) , 10.1109/TSE.2003.1214323
Guilan Dai, Xiaoying Bai, Chongchong Zhao, A Framework for Model Checking Web Service Compositions Based on BPEL4WS IEEE International Conference on e-Business Engineering (ICEBE'07). pp. 165- 172 ,(2007) , 10.1109/ICEBE.2007.11
Weik-Tek Tsai, Yongzhong Tu, Weiguang Shao, E. Ebner, Testing extensible design patterns in object-oriented frameworks through scenario templates computer software and applications conference. pp. 166- 171 ,(1999) , 10.1109/CMPSAC.1999.812695
Xiaoying Bai, Guilan Dai, Dezheng Xu, Wei-Tek Tsai, A multi-agent based framework for collaborative testing on Web services collaborative computing. pp. 205- 210 ,(2006) , 10.1109/SEUS-WCCIA.2006.7