首页> 中文期刊> 《计算机工程与应用》 >网络协议的一种构建性验证方法

网络协议的一种构建性验证方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

论文提出了多层自动机映射的思想,并应用此方法构建了复杂协议的构建性验证方法,同时给出了协议构建性验证的逻辑基础和构建步骤.此法有效地避免了复杂协议验证中状态组合爆炸问题.

著录项

来源
《计算机工程与应用》 |2005年第13期|141-142189|共3页
作者
丛延奇; 张立堃; 刘英莉; 刘诗笺;
展开▼
作者单位

哈尔滨工程大学计算机科学与技术学院;

哈尔滨;

150001;

哈尔滨工程大学计算机科学与技术学院;

哈尔滨;

150001;

哈尔滨工程大学计算机科学与技术学院;

哈尔滨;

150001;

哈尔滨工程大学计算机科学与技术学院;

哈尔滨;

150001;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
多层自动机映射; 不动点; 构建性验证;

相似文献

中文文献
外文文献
专利

1. Wireshark环境下的网络协议解析与验证方法 [J] . 罗青林 ,徐克付 ,臧文羽 . 计算机工程与设计 . 2011,第003期
2. 一种网络协议一致性测试系统的设计方法 [J] . 张奎 ,袁海军 . 电子制作 . 2018,第013期
3. 一种基于"相似属性"的层次性对等网络协议 [J] . 章勤 ,刘宇 ,张浩 . 计算机工程与科学 . 2007,第007期
4. 一种网络协议一致性测试生成方法的改进 [J] . 王卫斌 ,孙吉振 . 南京理工大学学报：社会科学版 . 1998,第003期
5. 一种高效的网络协议一致性测试生成方法 [J] . 都军 ,刘积仁 . 计算机学报 . 1994,第011期
6. 一种初样阶段整星电磁兼容性验证方法的研究 [C] . 王韶波 ,杨争光 ,章雷 . 2011年小卫星技术交流会 . 2011
7. 给水厂混凝剂适用性评估验证方法构建及应用 [A] . 王文浩 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号