文档名：基于接口契约的有状态Web服务操作序列用例集生成
Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,本文提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法.该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法.
作者：李吟
作者单位：江苏自动化研究所,江苏连云港222061
母体文献：第十四届全国软件与应用学术会议论文集
会议名称：第十四届全国软件与应用学术会议
会议时间：2015年11月6日
会议地点：武汉
主办单位：中国计算机学会
语种：chi
分类号：
关键词：有状态Web服务 操作序列 操作接口契约 有限状态机模型 语义标注
在线出版日期：2017年7月25日
基金项目：
相似文献
相关博文
- 文件大小:
- 1.94 MB
- 下载次数:
- 60
-
高速下载
|
|
