10.3969/j.issn.1001-3695.2015.04.054
基于有限状态机的网络协议状态机制检测方法
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性.基于有限状态机思想提出了一种协议状态机制检测方法.建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定.搭建实验环境,验证了该方法的有效性.
网络稳定性、有限状态机、协议状态机制、状态转移图
32
TP393.04(计算技术、计算机技术)
国家“863”计划资助项目2011AA010604,2011AA010605
2015-05-26(万方平台首次上网日期,不代表论文的发表时间)
共6页
1188-1192,1206