版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:岭南师范学院信息工程学院广东湛江524048
出 版 物:《软件导刊》 (Software Guide)
年 卷 期:2017年第16卷第4期
页 面:208-211页
学科分类:08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:近年来,Web服务测试得到了越来越多的关注。对Web服务及SOA(面向服务架构)进行简单介绍,分别从基于WSDL的Web服务测试、语义Web服务测试和基于形式化方法的Web服务测试3个方面进行阐述,并重点研究形式化规约的四大类方法:基于模型、基于有限状态、进程代数和代数规约在Web服务测试中的应用。