A framework for contract-based collaborative verification and validation of web services

被引：0
作者：
Bai, Xiaoying [1 ]
Wang, Yongbo [1 ]
Dai, Guilan [2 ]
Tsai, Wei-Tek [3 ]
Chen, Yinong [3 ]
机构：
[1] Tsinghua Univ, Dept Comp Sci & Technol, 1 Qinghuayuan, Beijing 100084, Peoples R China
[2] Res Inst Informat Technol, Beijing, Peoples R China
[3] Arizona State Univ, Comp Sci & Engn Dept, Tempe, AZ USA
来源：
COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS | 2007年 / 4608卷
基金：
北京市自然科学基金; 美国国家科学基金会;
关键词：
web services; contract-based; verification and validation;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：258 / +
页数：3
相关论文
共 23 条
  • [1] [Anonymous], P INT S IEEE IEDM TE
  • [2] BAI X, 2007, IN PRESS INT J HIGH
  • [3] Bai XY, 2006, FOURTH IEEE WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE EMBEDDED AND UBIQUITOUS SYSTEMS AND THE SECOND INTERNATIONAL WORKSHOP ON COLLABORATIVE COMPUTING, INTEGRATION, AND ASSURANCE, PROCEEDINGS, P205
  • [4] Bai XY, 2005, SOSE 2005: IEEE INTERNATIONAL WORKSHOP ON SERVICE-ORIENTED SYSTEM ENGINEERING, P207
  • [5] BERNHARD KA, 2003, LNCS, V2757, P34
  • [6] Bloomberg J, 2002, WEB SERVICES TESTING
  • [7] BOYAPATI C, 2002, ACM SIGSOFT SOFTWARE, V27, P123
  • [8] BRIAND LC, 2002, P 2002 ACM SIGSOFT I, P70
  • [9] Bruno M, 2005, LECT NOTES COMPUT SC, V3826, P87
  • [10] Testing services and service-centric systems: Challenges and opportunities
    Department of Computer Science, Faculty of Engineering
    不详
    不详
    不详
    [J]. IT Prof, 2006, 2 (10-17): : 10 - 17
123