基于接口契约的有状态Web服务用例集生成

被引：3

作者：

李吟

机构：

[1] 江苏自动化研究所

来源：

计算机研究与发展 | 2017年 / 54卷 / 03期

关键词：

有状态Web服务; 操作序列; 操作接口契约; 扩展有限状态机; 语义标注;

D O I：

暂无

中图分类号：

TP311.53 []; TP393.09 [];

学科分类号：

081202 ; 0835 ; 080402 ;

摘要：

Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法,该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法.

引用

页码：609 / 622

页数：14

共 7 条

[1] 一种面向用户需求的Web服务测试方法 [J].