基于有限状态机的网络协议状态机制检测方法  

FSM-based method for detecting state mechanism of protocol

作　　者：潘准洋 刘彩霞[1] 刘树新[1] 

机构地区：[1]国家数字交换系统工程技术研究中心,郑州450002

出　　处：《计算机应用研究》2015年第4期1188-1192,1206,共6页Application Research of Computers

基　　金：国家"863"计划资助项目(2011AA010604;2011AA010605)

摘　　要：进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定。搭建实验环境,验证了该方法的有效性。Detecting the state mechanism of protocol can effectively improve the test comprehensiveness when testing the stability of network. This paper proposed a detection method of the state mechanism of protocol based on finite state machine.First,this method established an FSM model of certain message sending entity of testing protocol and determined the input set.Second,during the test,it monitored state transitions of sending entity and generated a state transition diagram. Finally,it determined the state mechanism of protocol message and defined trigger conditions of stateful message according to the state transition diagram. It determined the state mechanism of protocol after summarizing and classifying the tested messages. This paper built a lab environment to test and verify the effectiveness of this method.

关 键 词：网络稳定性 有限状态机 协议状态机制 状态转移图 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]