简介：代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT（AlgebraicSpecificationsBasedAutomaticTesting）,并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.
基于代数规约的Web服务测试工具
