Web服务测试综述  

作　　者：刘宇欣 

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

出　　处：《软件导刊》2017年第4期208-211,共4页Software Guide

摘　　要：近年来,Web服务测试得到了越来越多的关注。对Web服务及SOA(面向服务架构)进行简单介绍,分别从基于WSDL的Web服务测试、语义Web服务测试和基于形式化方法的Web服务测试3个方面进行阐述,并重点研究形式化规约的四大类方法:基于模型、基于有限状态、进程代数和代数规约在Web服务测试中的应用。

关 键 词：WEB服务测试 形式化方法 WEB服务 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]