应用于在线测试的状态判定算法

在线测试是通过观察线路上双方协议实体的会话来进行协议测试的方法,测试中需要判定会话双方的状态.本文提出的状态同步算法将传统的协议状态机转化为“事件状态表”,并通过表运算判定双方状态.该通用算法解决了在线测试中首先要解决的状态判定问题.通过对该算法进行的复杂度分析得出了影响其复杂度的因素,并进行了改进和优化.该算法应用于作者开发的在线测试系统中,已完成了若干通信协议和路由协议的一致性测试和互操作性测试,取得了较好效果.

An Algorithm to Identify the States Applied in the Online Test

The online test is to test protocol through the protocol session observed online and the states of the session partners needed to be determined.In this paper,the state synchronization algorithm is presented to transform the traditional protocol state machine into a "state-event" table,thus the states of session partners are calculated through table-work.This algorithm solves the premise of determining the states for the online test.A complexity analysis shows the factors affecting the algorithm and corresponding improvements are made to further reduce the complexity.This algorithm has been exploited in the online test system developed by the authors and conformance test and interoperability test have been performed on several protocols,including communication protocols and routing protocols,through which the validity of the algorithm is proved and beneficial results are acquired.