|
|||||
|
|
| 基于代数规约的Web服务测试 | |
| 引用本文： | 余波,孔良,彭琛.基于代数规约的Web服务测试[J].计算机工程,2009,35(21):60-61,6. |
| 作者姓名： | 余波 孔良 彭琛 |
| 作者单位： | 1. 中南林业科技大学涉外学院,长沙,410004;国防科学技术大学计算机学院,长沙,410073 2. 国防科学技术大学计算机学院,长沙,410073 3. 中南林业科技大学涉外学院,长沙,410004 |
| 基金项目： | 湖南省自然科学基金资助项目，湖南省普通高等学校教学改革研究项目 |
| 摘 要： | 针对自动测试Web服务，提出基于代数规约测试Web服务的方法，包括描述Web服务的代数规约语言ASOWS。基于Web服务的代数规约，采用方法覆盖准则以及等式覆盖准则自动生成测试用例，在此基础上，设计并实现一个原型工具。结果表明该方法能够自动测试部署在Web应用服务器上的Web服务。 |
| 关 键 词： | Web 服务 代数规约 方法覆盖准则 等式覆盖准则 |
| 修稿时间： | |
Web Service Test Based on Algebraic Specification |
|
| YU Bo,KONG Liang,PENG Chen.Web Service Test Based on Algebraic Specification[J].Computer Engineering,2009,35(21):60-61,6. | |
| Authors: | YU Bo KONG Liang PENG Chen |
| Affiliation: | (1. Swan College, Central South University of Forestry and Technology, Changsha 410004; 2. Department of Computer, National University of Defense Technology, Changsha 410073) |
| 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. |
| Keywords: | Web service algebraic specification method coverage criterion equation coverage criterion |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |