郑红霞

作品数：12被引量：35H指数：5
导出分析报告
供职机构：中国科学院计算技术研究所更多>>
发文主题：IPV6协议协议一致性测试IPV6网络协议一致性更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机应用与软件》《计算机应用研究》《科学技术与工程》《计算机工程与应用》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MIPv6切换性能测量和瓶颈分析
《计算机研究与发展》2008年第3期443-453,共11页陈吉 郑红霞 谢高岗 
国家自然科学基金项目(60403031,90604015);法国电信基金项目(46135216)
MIPv6(mobile IPv6)是IETF(Internet Engineering Task Force)工作组提出的IP层移动解决方案.切换是影响MIPv6性能的关键因素.从网络层、传输层和应用层3个层次测量分析MIPv6切换性能,确定协议层次性能相互影响与切换性能瓶颈.根据网络...
关键词：MIPV6 切换 分段时延 性能测量 瓶颈 
移动IPv6切换性能测量研究被引量：1
《计算机应用研究》2008年第2期551-555,590,共6页徐志荣 郑红霞 张大方 谢高岗 
国家自然科学基金资助项目(90604015,60403031);法国电信资助项目(46135216)
在分析移动IPv6切换过程的基础上,设计了移动切换性能测量指标,提出了移动IPv6切换性能测量方法,基于该方法设计并实现了移动IPv6切换性能测量原型系统。该系统能测量从网络层到应用层的移动切换性能,解决了现有测量工具部署繁琐的问题...
关键词：移动IPV6 切换 性能指标 测量方法 测量实验 
NEMO协议一致性测试集的设计与实现被引量：1
《计算机工程》2007年第24期93-95,共3页杜宁 郑红霞 谢高岗 
国家"863"计划基金资助项目(2005AA121560);国家自然科学基金资助项目(60403031;90604015)
基于网络移动的IPv6互联网将是未来网络发展的方向之一。NEMO是MIPv6最为重要的扩展部分,而协议一致性测试是保证协议实现正确性和有效性的重要手段。该文分析NEMO协议的特点,阐述对网络移动协议一致性测试的思想方法,并使用形式化的测...
关键词：NEMO协议 MIPv6互联网 协议一致性测试 测试例描述语言 
DHCPv6协议一致性测试集的设计和实现被引量：6
《计算机工程》2007年第19期104-105,108,共3页范小雨 郑红霞 谢高岗 
国家"863"计划基金资助项目(2005AA121560);国家自然科学基金资助项目(60403031;90604015)
DHCPv6的协议一致性测试根据相应的协议描述文本对协议实现进行测试。该文介绍了DHCPv6协议,分析了TAHI中DHCPv6测试的不足,提出了一种采用虚拟测试器方法的测试拓扑和一种层次化的消息定义结构。在此基础上设计了61个DHCPv6测试例,对Ci...
关键词：DHCPV6 一致性测试 测试拓扑 测试实验 
网络移动IPv6协议测试生成的研究与实现被引量：1
《科学技术与工程》2007年第14期3555-3560,共6页杜宁 杨柳 郑红霞 谢高岗 
国家自然科学基金项目(60403031;90604015)资助
协议一致性测试是保证协议实现正确性和有效的重要手段。分析了网络移动IPv6协议的特点,提出了针对该协议的层次化测试生成方法,得到了针对各个状态机的测试序列集,这些测试序列集是设计网络移动IPv6测试集的基础。最后给出了在Linux实...
关键词：NEMO MIPV6 协议一致性测试 测试例描述语言 
基于TTCN的IPv6协议测试
《计算机辅助设计与图形学学报》2005年第7期1421-1426,共6页张玉军 田野 郑红霞 孙静波 
国家"八六三"高技术研究发展计划(2001AA121015)
在分析IPv6协议特点及测试需求的基础上,结合树表结合表达法(TTCN)提出了IPv6测试描述法,采用预定义报头和数据包声明表,实现IPv6测试数据描述;采用测试描述法和执行系统互动的方式实现复杂算法·根据测试集结构和数据库应用特点,采用...
关键词：IPV6协议 一致性测试 TTCN 数据库 
应用于计算机网络协议一致性测试的传输机制被引量：6
《计算机研究与发展》2005年第1期102-108,共7页张玉军 李忠诚 郑红霞 田野 孙静波 
国家"八六三"高技术研究发展计划基金项目(2001AA121015)
测试传输在很大程度上影响测试系统实现和测试集设计.良好的传输方法能够对测试集设计者屏蔽被测协议实现的相关信息,同时简化测试配置.根据测试集设计和测试传输分离的思想,采用通信实体和网络接口相结合的机制实现测试传输,网络接口...
关键词：一致性测试 传输机制 通信实体 网络接口 
IPv6过渡机制协议测试的方法与实现被引量：6
《计算机应用与软件》2004年第2期1-2,113,共3页郑红霞 于东 张玉军 田军 
863项目资助(编号:2001AA121015)
IPv6协议是因特网的新一代通信协议 ,如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制 ,为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同I...
关键词：IPv6过渡机制 IPV6协议 通信协议 一致性测试 抽象测试集 互操作性 测试目标提取 测试集结构 
IPv6协议一致性测试例的设计被引量：6
《计算机应用》2003年第4期62-64,共3页郑红霞 田军 张玉军 于东 李忠诚 
8 63计划 (2 0 0 1AA1 2 1 0 1 5)
文中给出了协议一致性测试的测试例的基本框架结构和测试例设计的一般步骤 ,针对IPv6协议的特点提出了IPv6协议一致性测试的测试例设计方案 ,应用这个方案设计了PMTU发现协议一致性测试的测试例 ,对几种不同的IPv6协议实现进行了测试 ,...
关键词：IPV6协议 通信协议 协议一致性测试 测试例设计 计算机网络 
IPv6中IPSec协议一致性测试被引量：2
《计算机工程》2003年第2期166-168,191,共4页于东 郑红霞 张玉军 田军 李忠诚 
IPv6协议是下一代互联网协议，IPSec（安全IP）协议是IPv6协议的一个重要组成部分，用于保障IP数据报的安全。对IPSec协议的一致性测试是保证不同厂商产品之间互联与互操作的基础，基于ISO协议一致性测试标准，开发了IPv6协议一致性测...
关键词：IPSEC协议 一致性测试 IPV6协议 通信协议 测试集 形式化描述语言 计算机网络 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部