下一代互联网IPv6协议的测试理论研究

The kernel tecknique of Internet is transferred from IPv4 to IPv6. It is meaningful to study test theory of IPv6. In this project, formal methodes will be applied to discribe IPv6 protocols. According to the special characters of IPv6 protocols, a new test suite notation will be present. Extend-Concurrent-TTCN (EC-TTCN) is based on TTCN-2. Meanwhile, some new functions have been added. conformance test suite and interoperability test suites of IPv6 protoocls are design by using EC-TTCN. Some useful data will gotten from this project.

互联网的核心协议正在从ＩＰｖ４转向ＩＰｖ６，对ＩＰｖ６协议的测试理论研究将有助于推进我国下一代互联网的发展，为其提供有力的测试保障。本项目将采用形式化方法对ＩＰｖ６协议进行描述，研究其测试结构、测试方法、测试集描述法和生成算法等问题，并在此基础上构建下一代互联网协议测试样机，深入研究ＩＰｖ６协议的一致性测试、互操作性测试和性能测试。