测试例

作品数：46被引量：61H指数：5
导出分析报告
相关领域：电子电信自动化与计算机技术更多>>
相关作者：郑红霞叶新铭潘娟李忠诚张玉军更多>>
相关机构：北京邮电大学重庆邮电大学内蒙古大学国际商业机器公司更多>>
相关期刊：《电子测试》《中学语文教学》《福建电脑》《通信学报》更多>>
相关基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划内蒙古自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
边界网关协议BGP4+的一致性测试研究
《计算机科学》2006年第9期36-39,共4页丁雪莲 李华 叶新铭 
国家自然基金项目(60263002);内蒙古科技攻关项目(2002061002);内蒙古自然科学基金(200308020213)。
随着互联网的快速发展,高效稳定的路由协议成为保障网络性能的重要因素。协议测试是保证协议实现的性能的有效手段。本文针对边界网关协议BGP4+进行了一致性测试研究；对BGP4及其面向IPv6的扩展BGP4+进行分析,给出了BGP4+协议测试的有...
关键词：BGP4+ 有限状态机 测试例 IUT 
IPv6邻居发现协议的一致性测试被引量：3
《计算机科学》2005年第6期43-46,68,共5页叶新铭 孙美飞 
国家自然科学基金(69863001);内蒙重点领域项目(ZL9902)
Neighbor Discovery(邻居发现,ND)协议是下一代互联网协议IPv6协议中的一个重要组成部分。本文简要介绍了邻居发现协议,提出了一种基于有限状态机和消息序列图相结合的协议一致性测试的形式化方法,实现了邻居发现协议一致性测试集的形式...
关键词：邻居发现 Windows2000 Discovery 下一代互联网协议 协议一致性测试 IPv6协议 形式化方法 有限状态机 组成部分 TTCN 描述语言 测试报告 测试例 序列图 测试集 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部