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

摘要：

进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性.基于有限状态机思想提出了一种协议状态机制检测方法.建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定.搭建实验环境,验证了该方法的有效性.

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

所属期刊栏目：32

分类号：TP393.04(计算技术、计算机技术)

资助基金：国家“863”计划资助项目2011AA010604,2011AA010605

在线出版日期：2015-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1188-1192,1206