期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于有限状态机的网络协议状态机制检测方法
被引量:
3
1
作者
潘准洋
刘彩霞
刘树新
《计算机应用研究》
CSCD
北大核心
2015年第4期1188-1192,1206,共6页
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状...
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定。搭建实验环境,验证了该方法的有效性。
展开更多
关键词
网络稳定性
有限
状态
机
协议
状态
机制
状态
转移图
下载PDF
职称材料
题名
基于有限状态机的网络协议状态机制检测方法
被引量:
3
1
作者
潘准洋
刘彩霞
刘树新
机构
国家数字交换系统工程技术研究中心
出处
《计算机应用研究》
CSCD
北大核心
2015年第4期1188-1192,1206,共6页
基金
国家"863"计划资助项目(2011AA010604
2011AA010605)
文摘
进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性。基于有限状态机思想提出了一种协议状态机制检测方法。建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定。搭建实验环境,验证了该方法的有效性。
关键词
网络稳定性
有限
状态
机
协议
状态
机制
状态
转移图
Keywords
network stability
finite state machine(FSM)
state mechanism of protocol
state transition diagram
分类号
TP393.04 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于有限状态机的网络协议状态机制检测方法
潘准洋
刘彩霞
刘树新
《计算机应用研究》
CSCD
北大核心
2015
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部