摘要
针对自动测试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.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第21期60-61,64,共3页
Computer Engineering
基金
湖南省自然科学基金资助项目(06JJ5116)
湖南省普通高等学校教学改革研究项目(2008-248)
关键词
WEB
服务
代数规约
方法覆盖准则
等式覆盖准则
Web service
algebraic specification
method coverage criterion
equation coverage criterion
