网络移动IPv6协议一致性测试生成与实现
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-11页 |
| 第1章 引言 | 第11-16页 |
| ·IPV6 协议测试的研究现状 | 第11-12页 |
| ·NEMO 协议 | 第12-13页 |
| ·NEMO 协议一致性测试的意义 | 第13-14页 |
| ·本论文的主要研究内容 | 第14-15页 |
| ·论文结构和章节安排 | 第15-16页 |
| 第2章 协议一致性测试理论与实践 | 第16-26页 |
| ·协议一致性测试概念 | 第16-17页 |
| ·协议一致性测试的参考标准 | 第17-18页 |
| ·协议一致性测试类型 | 第18页 |
| ·协议一致性测试过程 | 第18-25页 |
| ·本章小结 | 第25-26页 |
| 第3章 NEMO 协议分析与测试需求 | 第26-34页 |
| ·NEMO 协议和技术介绍 | 第26-31页 |
| ·NEMO 协议测试需求 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 第4章 NEMO 协议描述和测试生成 | 第34-49页 |
| ·测试生成方法概述 | 第34-35页 |
| ·NEMO 协议层次化状态机的测试生成方法 | 第35-36页 |
| ·针对协议运行流程的描述和测试生成 | 第36-40页 |
| ·针对协议节点类型的描述 | 第40-44页 |
| ·针对离散功能的分析和测试 | 第44-47页 |
| ·生成测试序列 | 第47页 |
| ·对于测试覆盖的说明 | 第47-48页 |
| ·对于测试生成冗余度的说明 | 第48页 |
| ·本章小结 | 第48-49页 |
| 第5章 测试实践 | 第49-61页 |
| ·NEMO 协议一致性测试基本流程 | 第49-50页 |
| ·测试环境 | 第50页 |
| ·测试工具 | 第50-51页 |
| ·测试集的设计 | 第51-57页 |
| ·测试结果分析 | 第57-59页 |
| ·本章小结 | 第59-61页 |
| 结论 | 第61-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68-69页 |
| 附录A 攻读硕士学位期间发表论文目录 | 第69-70页 |
| 附录B 攻读硕士学位期间参加的科研项目 | 第70页 |