张玉军 张兴芳 于东 田野 付晓宇 田军 谢高岗 王庆平 李忠诚 孙静波 陈吉

TTCN 分段时延 IPv6过渡机制 形式化描述方法 瓶颈 PMTU α-三I算法 一致性测试 协议一致性测试 性能测量 抽象测试集 蕴涵算子族Rp-II 通信实体 IPv6协议 测试例设计 MIPv6 IPv6 数据库 网络接口 邻居发现协议 切换 三I算法 传输机制 系统IIP

中国科学院计算技术研究所信息网络研究室 北京1000 中国科学院计算技术研究所下一代互联网研究... 中国科学院计算技术研究所 中国科学院研究生院北京 北京100190中国科学院研究生院北京