计算机工程 ›› 2009, Vol. 35 ›› Issue (21): 60-61,6.doi: 10.3969/j.issn.1000-3428.2009.21.020

• 软件技术与数据库 • 上一篇    下一篇

基于代数规约的Web服务测试

余 波1,2,孔 良2,彭 琛1   

  1. (1. 中南林业科技大学涉外学院,长沙 410004;2. 国防科学技术大学计算机学院,长沙 410073)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-11-05 发布日期:2009-11-05

Web Service Test Based on Algebraic Specification

YU Bo1,2, KONG Liang2, PENG Chen1   

  1. (1. Swan College, Central South University of Forestry and Technology, Changsha 410004; 2. Department of Computer, National University of Defense Technology, Changsha 410073)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-11-05 Published:2009-11-05

摘要: 针对自动测试Web服务,提出基于代数规约测试Web服务的方法,包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约,采用方法覆盖准则以及等式覆盖准则自动生成测试用例,在此基础上,设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。

关键词: Web 服务, 代数规约, 方法覆盖准则, 等式覆盖准则

Abstract: For testing Web services automatically, the method testing Web service based on algebraic specification is proposed. The algebraic specification language ASOWS for describing Web service is represented. The test cases are automatically generated based on algebraic specification of Web service according to the method coverage criterion and the equation coverage criterion. The prototype tool for testing Web service is implemented. Experimental result shows that the method can be applied to test Web service automatically deployed on Web application server.

Key words: Web service, algebraic specification, method coverage criterion, equation coverage criterion

中图分类号: