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

Algebraic Specification Based Web Service Test Tool

作　　者：刘宇欣 王国民 周秋霞 LIU Yuxin, WANG Guomin, ZHOU Qiuxia(College of information engineering, Lingnan Normal University, Zhanjiang Guangdong 524048, China)

机构地区：[1]岭南师范学院信息工程学院,广湛江524048

出　　处：《岭南师范学院学报》2018年第3期86-93,共8页Journal of Lingnan Normal University

摘　　要：代数规约是一种形式化的规约语言,有着高度自动化的执行过程和隐藏软件实现细节的两大优点.将代数规约运用于Web服务测试,开发了自动化测试工具ASBAT(Algebraic Specifications Based Automatic Testing),并利用该工具进行实验,展示了基于代数规约的自动化测试方法是简单可行的.Algebraic specification is a formal specification language with two advantages：highly automated execution and hidden software implementation details.This paper applies algebraic specification to web service test to develop an automatic testing tool ASBAT（Algebraic Specifications Based Automatic Testing）,and demonstrates the feasibility of the method and the tool.

关 键 词：代数规约 WEB服务测试 测试自动化 

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