Abstract
A key issue with Web Services (WS) is the verification and validation (V&V) of services to build trust between service providers and service users. This paper proposed a test-broker architecture so that all stakeholder within WS can contribute to improve the testing of the services. The test broker supports the submission, indexing, and querying of test artifacts such as test cases, defect reports and evaluations. It can also provide the services for the test generation, test coordination, and distributed testing services. The DCV&V (Decentralized, Collaborative, Verification and Validation) framework is proposed with a set of distributed and collaborated test brokers dedicated to different V&V tasks to enable scalable and flexible test collaborations. The paper explores the concept of design-by-contract and applies the principle to DCV&V. It identifies two categories of testing contracts including TSC (Testing Service Contracts) and TCC (Test Collaboration Contracts). It illustrates the application of TSC with contract-based test generation based on WS OWL-S specification. It elaborates TCC with the analysis of the test artifacts definitions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bai, X., Cao, Z., Chen, Y.: Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing. The International Journal of High Performance Computing and Networking (to appear, 2007)
Bai, X., Dai, G., Xu, D., Tsai, W.T.: A Multi-Agent Based Framework for Collaborative Testing on Web Services. In: Proc. of WCCIA, pp. 205–210 (2006)
Bai, X., Dong, W., Tsai, W.T., Chen, Y.: WSDL-Based Automatic Test Case Generation for Web Services Testing. In: Proc. of IEEE SOSE 2005, pp. 207–212 (2005)
Bernhard, K.A.: Contract-Based Testing. In: Aichernig, B.K., Maibaum, T.S.E. (eds.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 34–48. Springer, Heidelberg (2003)
Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: ACM SIGSOFT Software Engineering Notes, vol. 27(4), pp. 123–133. ACM Press, New York (2002)
Bloomberg, J.: Web Services Testing: Beyond SOAP, ZapThink LLC (2002), at http://www.zapthink.com
Briand, L.C., Labiche, Y., Sun, H.: Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code. In: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pp. 70–80. ACM Press, New York (2002)
Bruno, M., Canfora, G., et al.: Using Test Cases as Contract to Ensure Service Compliance across Releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 87–100. Springer, Heidelberg (2005)
Canfora, G., Di Penta, M.: Testing Services and Service-Centric Systems: Challenges and Opportunities. IT Professional 8(2), 10–17 (2006)
Canfora, G.: User-Side Testing of Web Services, keynote address at CSMR (2005)
Ciupa, I., Leitner, A.: Automatic Testing Based on Design by Contract. In: Proceedings of Net.ObjectDays, pp. 545–557 (2005)
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. ASE (2003)
Heckel, R., Lohmann, M.: Towards Contract-Based Testing of Web Services. Electronic Notes in Theoretical Computer Science, vol. 82(6) (2004)
Meinke, K.: Automated Black-Box Testing of Functional Correctness Using Function Approximation. In: ISSTA 2004. Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pp. 143–153. ACM Press, New York (2004)
Nakajima, S.: Model-checking verification for reliable web service. In: Proc.OOPSLA 2002 Workshop on Web Services (2002)
Narayanan, S., Mcllraith, S.: Simulation, verification and automated composition of web services. In: Proc. WWW (2002)
Tsai, W.T., Paul, R., Yu, L., Saimi, A., Cao, Z.: Scenario-Based Web Service Testing with Distributed Agents. IEICE Transaction on Information and System E86-D(10), 2130–2144 (2003)
Tsai, W.T., Chen, Y., Paul, R., Liao, N., Huang, H.: Cooperative and Group Tesitng in Verification of Dynamic Composite Web Services. In: Proc. IEEE COMPSAC, pp. 1–4. IEEE Computer Society Press, Los Alamitos (2001)
Tsai, W.T., Paul, R., Cao, Z., Yu, L., Saimi, A., Xiao, B.: Verification of Web Services Using an Enhanced UDDI Server. In: Proc. of IEEE WORDS, pp. 131–138. IEEE Computer Society Press, Los Alamitos (2003)
Yi, X., Kochut, K.J.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: Proceedings of the IEEE International Conference on Web Services, March 2004, pp. 756–760. IEEE Computer Society Press, Los Alamitos (2004)
Web Services Architecture[s], W3C Working Draft (November 14, 2002), http://www.w3.org/TR/ws-arch/
OWL-S, at: http://www.daml.org/services/owl-s
XML Schema Part 2: Datatypes (May 2001), http://www.w3.org/TR/xmlschema-2/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bai, X., Wang, Y., Dai, G., Tsai, WT., Chen, Y. (2007). A Framework for Contract-Based Collaborative Verification and Validation of Web Services. In: Schmidt, H.W., Crnkovic, I., Heineman, G.T., Stafford, J.A. (eds) Component-Based Software Engineering. CBSE 2007. Lecture Notes in Computer Science, vol 4608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73551-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-73551-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73550-2
Online ISBN: 978-3-540-73551-9
eBook Packages: Computer ScienceComputer Science (R0)