作者：
出版社： 上海交通大学出版社
CIP号：2017179701
书号：978-7-313-17592-2
出版地：上海
出版时间：2017
定价：￥25
本书在分析代数规约及基于代数规约测试方法的特点后，提出基于代数规约测试Web服务的方法。该方法主要解决测试数据自动生成、测试驱动和测试神谕等问题。其主要工作包括：根据Web服务的特殊性，提出适合描述Web服务的代数规约语言CASOCC-WS；通过实验表明代数规约的可学习性，为改善代数规约的抽象程度高、难以使用等特点，引入谓词/迁移网表示组合服务，设计并实现基于谓词/迁移网自动生成代数规约的算法；基于随机数据生成方法解决测试数据的生成问题，由此也解决了测试神秘谕问题。