会议专题

下一代Internet协议IPv6及其测试

IPv6作为下一代Internet的基础,经过几年的开发和实验,正在走向广泛的实际应用.本文介绍了新一代Internet协议IPv6,指出了目前Internet协议版本IPv4的不足之处,介绍了IPv6优于IPv4的主要技术特点,并介绍了如何从IPv4过渡到IPv6.本文还参考国际标准,定义了一种类形式化语言,用此语言描述了IPv6的形式化的一致性测试集,提出一种基于编译的可观控测试执行方法,设计开发IPv6协议一致性测试器.该测试工具的测试实现过程也在本文中做了简单介绍.

IPv6 测试集描述 协议一致性测试 测试实现

田军 吴起 李忠诚

中科院计算所网络测试实验室,北京,100080

国内会议

中国科学院计算技术研究所第六届计算机科学与技术研究生学术讨论会

大连

中文

616-623

2000-07-01(万方平台首次上网日期,不代表论文的发表时间)