【作者】 曾敏；

【导师】 叶新铭；

【作者基本信息】 内蒙古大学 ， 计算机应用技术， 2005， 硕士

【摘要】 由于计算机的迅猛发展,目前基于IPV4网络已经暴露出越来越多的不足之处,如:IP地址的匮乏、路有选择效率低、缺乏安全保障等等,已无法满足用户的各种要求,为此IPV6应运而生。IPV6所具有的众多优点使得IPV6成为下一代互联网络的核心,国际上无论是在标准化、产品研发方面,还是在网络部署及其应用方面,IPV6的使用都得到很大的推广。随着IPv6在我国的推广应用,各种设备蜂拥而来,由于各协议实现厂家对协议的不同理解,通信设备的协议一致性问题将日趋严重,因此,对IPV6协议族的实现进行一致性测试变得越来越重要。邻居发现协议是下一代互联网协议IPV6协议族中的一个重要的组成部分。对各种支持IPV6协议族的设备进行测试,必然要对其中的邻居发现协议进行测试。 本文针对邻居发现协议的一致性测试问题,探讨了使用形式化模型CEFSM得到邻居发现协议测试套的方法,设计并实现了一个协议一致性测试系统,使用该系统执行由CEFSM得到的测试套,从而实现对邻居发现协议进行一致性测试。 本文主要工作分为以下三部分:1)在分析了各种测试例描述语言后,由于XML具有跨平台、简单等特点,测试系统采用XML描述和保存测试套;2)协议一致性测试系统TestIpv6是在Windows下采用VC编写完成的,实现了测试例的编辑功能和测试例的执行功能,成功实现了系统的执行部分与协议无关;3)用CEFSM描述邻居发现协议,采用部分合并CEFSM得到测试例的方法,避免了常见的状态爆炸问题。更多还原

【Abstract】 Recently, with rapid growth of computers, the network based on IPv4 has exposed many shortages, such as short of IP address, the inefficient of route selection, lack of security ensure and so on. IPv4 can’t satisfy the demand of user and result in the appearance of IPv6. The virtues of IPv6 make it become the core of the next generation network. The usage of IPv6 has been popularized in standardization, product development, network deployment and other applications. In our county, IPv6 has used very widely. But due to the different comprehension of protocol realization, the protocol conformance problem of communication equipment will become too bad. So it is very important to implement conformance test for the IPv6 protocol realizations. The neighbor discovery (ND) protocol is the important part of IPv6 protocol family. If you want to test the IPv6 protocol family implement of equipments, you may test ND protocol.The paper focus on ND protocol conformance test, discuss the method of using the formal model CEFSM to get the ND suite, design and implement a protocol conformance test system. Using the system to execute the suite and implement the conformance testing of ND protocol.My work includes the following three parts: 1) After analyzing kinds of described language of test case, the test system use XML to describe and save test suite owing to simple and multi-platform characters of XML; 2) The test system TestIpv6 is encoded by VC under Windows 2000 and includes test edit and exec functions. its execute subsystem is independent of protocol;3)The ND protocol is modeled by CEFSMs. The method of computing a partial product of each CEFSM avoids usual state explosion problem.更多还原