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

发布时间：2018-06-10 10:50

本文选题：有状态Web服务 + 操作序列　；参考：《计算机研究与发展》2017年03期

【摘要】：Web服务具有对外只提供接口文档、技术规范复杂和运行时态瞬时多变等特性,如何有效地自动化生成测试数据仍旧是个难题.目前,针对有状态Web服务操作序列的测试研究较少,现有的方法对服务的行为信息和操作之间的数据依赖关系考虑不足,且缺乏有效的测试自动化手段,进而导致测试代价较高以及生成的测试数据缺乏针对性.对此,提出一种结合有限状态机(EFSM)模型和操作接口契约的测试数据生成方法,该方法根据标准WSDL文档建立操作模型,形式化描述操作之间的交互关系,并对其进行语义标注,基于EFSM模型生成操作序列测试路径,随后采用操作接口契约关系获取测试路径中的测试数据.通过案例表明,这种有状态Web服务的用例生成方法能够高效地生成合理的测试数据,并在错误检测能力以及用例有效性方面优于现有的方法.
[Abstract]:Web services provide only interface documents, technical specifications are complex and runtime is instantaneous, so how to generate test data automatically is still a difficult problem. At present, there are few researches on the test of stateful Web service operation sequence. The existing methods do not consider the behavior information of the service and the data dependence relation between the operation, and lack of effective test automation method. This leads to the high cost of testing and the lack of pertinence of the generated test data. In this paper, a test data generation method combining finite state machine (EFSM) model and operation interface contract is proposed. The operation model is established according to the standard WSDL document, and the interaction between operations is formally described, and the semantic annotation is carried out. The test path of operation sequence is generated based on EFSM model, and the test data in test path is obtained by operation interface contract relation. A case study shows that the use case generation method of stateful Web services can efficiently generate reasonable test data and is superior to the existing methods in error detection ability and use case validity.
【作者单位】：江苏自动化研究所;
【分类号】：TP311.53;TP393.09

【参考文献】