下一代互联网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.
互联网的核心协议正在从ＩＰｖ４转向ＩＰｖ６，对ＩＰｖ６协议的测试理论研究将有助于推进我国下一代互联网的发展，为其提供有力的测试保障。本项目将采用形式化方法对ＩＰｖ６协议进行描述，研究其测试结构、测试方法、测试集描述法和生成算法等问题，并在此基础上构建下一代互联网协议测试样机，深入研究ＩＰｖ６协议的一致性测试、互操作性测试和性能测试。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
基于资本驱动的新型互联网营造系统初探
基于资本驱动的新型互联网营造系统初探
面向园区能源互联网的多元负荷特性及其调控潜力研究现状与展望
面向园区能源互联网的多元负荷特性及其调控潜力研究现状与展望
基于频率梳的太赫兹辐射功率密度测量
基于频率梳的太赫兹辐射功率密度测量
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
尹霞的其他基金
内源性抗氧化剂金属硫蛋白及其诱导剂对阻塞性睡眠呼吸暂停所致心脏损伤的保护机制：PI3K-AKT的作用
内源性抗氧化剂金属硫蛋白及其诱导剂对阻塞性睡眠呼吸暂停所致心脏损伤的保护机制：PI3K-AKT的作用
相似国自然基金
下一代互联网络体系结构及其协议理论研究
下一代互联网(IPv6)应用核心技术分类控制方法研究
下一代网络协议的形式验证和测试方法的研究
面向新一代互联网协议的基于模型检测的协议安全性测试研究