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