杜宁
- 作品数：4 被引量：7H指数：2
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- NEMO协议一致性测试集的设计与实现被引量：1
- 2007年
- 基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测试例描述语言说明了测试例设计与实现过程,给出在Linux实现下的测试结果及分析。
- 杜宁郑红霞谢高岗
- 关键词：协议一致性测试
- 下一代互联网网络管理系统的设计与实现被引量：4
- 2008年
- 随着网络规模的迅速增长和IPv6协议的发展,互联网网络管理工具变得越来越重要。该文设计了IPv4/IPv6兼容的简单网络管理协议底层通信机制和一种基于简单网络管理协议的拓扑发现方法,实现了下一代互联网网络管理系统。该系统由拓扑发现、网络性能分析以及故障管理3大功能模块组成,目前已成功应用在实际的网络环境中。
- 杨柳李振宇杜宁张大方谢高岗
- 关键词：网络管理下一代互联网简单网络管理协议拓扑发现
- 网络移动IPv6协议测试生成的研究与实现被引量：2
- 2007年
- 协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实现下的测试结果及分析,验证了研究结果的正确性。
- 杜宁杨柳郑红霞谢高岗
- 关键词：NEMOMIPV6协议一致性测试
- 网络移动IPv6协议一致性测试生成与实现
- IPv6协议重点考虑了移动问题,为了解决移动问题专门规定了若干机制。网络移动IPv6/(Network Mobility, NEMO/)协议,主要是研究子网作为一个整体在全球互联网范围内移动中存在的网络可达性、有效性和安...
- 杜宁
- 关键词：协议一致性测试
- 文献传递
