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

Web Service Test Based on Algebraic Specification

作　　者：余波[1,2] 孔良[2] 彭琛[1] 

机构地区：[1]中南林业科技大学涉外学院,长沙410004 [2]国防科学技术大学计算机学院,长沙410073

出　　处：《计算机工程》2009年第21期60-61,64,共3页Computer Engineering

基　　金：湖南省自然科学基金资助项目(06JJ5116);湖南省普通高等学校教学改革研究项目(2008-248)

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

关 键 词：WEB 服务 代数规约 方法覆盖准则 等式覆盖准则 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]