摘要
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
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...
出处
《计算机时代》
2009年第11期34-37,共4页
Computer Era
关键词
WEB服务
有限状态机
正则表达式
覆盖准则
测试用例
Web services
finite state machine
regular expression
coverage criteria
testing case
