IPV6邻居发现协议

作品数：11被引量：21H指数：3
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：孙静波叶新铭唐述科孙美飞郝松侠更多>>
相关机构：内蒙古大学南京邮电大学西安电子科技大学中国科学院更多>>
相关期刊：《软件学报》《科技广场》《计算机工程》《信号处理》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划内蒙古自治区科技厅科技攻关项目江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=一致性x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
IPv6邻居发现协议的一致性测试序列生成被引量：1
《信号处理》2013年第12期1670-1676,共7页陈守宁 郑宝玉 李璟 赵玉娟 
国家自然科学基金(61071090;61171093);国家科技重大专项(2011ZX03005-004-003);江苏省普通高校研究生科研创新计划(CXLX12_0475)
自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展。现今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品间的互通性和可靠性则成为了一个关键问题。进行协议一致性测试是提高...
关键词：IPV6 协议一致性测试 有限状态机(FSM) UIO序列 
协议一致性测试系统中执行器的设计与实现
《西华大学学报（自然科学版）》2006年第6期35-38,共4页田野 刘兴伟 郭闯 
提出一种用于协议一致性测试系统的执行器的结构,并具体描述了执行器中各个模块的实现方法,最后使用该执行器对Linux AS4.0操作系统中IPv6邻居发现协议实现进行了一致性测试并给出了测试结果。结果表明:测试主机操作系统上实现的邻居发...
关键词：协议一致性测试 执行器 IPV6邻居发现协议 
IPv6邻居发现协议的一致性测试被引量：3
《计算机科学》2005年第6期43-46,68,共5页叶新铭 孙美飞 
国家自然科学基金(69863001);内蒙重点领域项目(ZL9902)
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式...
关键词：邻居发现 Windows2000 Discovery 下一代互联网协议 协议一致性测试 IPv6协议 形式化方法 有限状态机 组成部分 TTCN 描述语言 测试报告 测试例 序列图 测试集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部