TY - GEN
T1 - A framework for contract-based collaborative verification and validation of Web services
AU - Bai, Xiaoying
AU - Wang, Yongbo
AU - Dai, Guilan
AU - Chen, Yinong
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - Contract-based
KW - Verification and validation
KW - Web services
UR - https://www.scopus.com/pages/publications/38149058259
UR - https://www.scopus.com/pages/publications/38149058259#tab=citedBy
U2 - 10.1007/978-3-540-73551-9_18
DO - 10.1007/978-3-540-73551-9_18
M3 - Conference contribution
SN - 9783540735502
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 258
EP - 273
BT - Component-Based Software Engineering - 10th International Symposium, CBSE 2007, Proceedings
PB - Springer Verlag
T2 - 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2007
Y2 - 9 July 2007 through 11 July 2007
ER -