基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。

Method of Web Services Test Case Generation Based on Finite State Machine

A method of testing case generation based on FSM is presented.Firstly,the FSM’s nodes are represented by the states between Web services and users interaction,and the FSM’s state transitions and their labeling are expressed by messages exchanging between Web services and users.Then,all message exchange sequences during Web services interaction process are depicted by regular expressions,and the test data are produced by combining with WSDL documents of Web services.Finally,the testing case generation algori...