协议测试执行系统的实现及IPv6邻居发现协议的一致性测试
| 引言 | 第1-8页 |
| 第一章 协议一致性测试简介 | 第8-13页 |
| ·协议一致性测试概念 | 第8页 |
| ·协议一致性测试方法 | 第8-10页 |
| ·协议一致性测试体系 | 第10-11页 |
| ·协议一致性测试流程 | 第11-13页 |
| 第二章 基于TTCN的测试执行 | 第13-22页 |
| ·测试例的解释 | 第13-18页 |
| ·解释器的原理 | 第13-14页 |
| ·解释器使用的数据结构 | 第14-16页 |
| ·解释器的实现算法 | 第16-18页 |
| ·测试例的执行 | 第18-22页 |
| ·发送事件语句的执行 | 第19-20页 |
| ·接收事件语句的执行 | 第20-21页 |
| ·伪事件类语句的执行 | 第21页 |
| ·控制类事件语句的执行 | 第21-22页 |
| 第三章 协议测试执行系统的设计与实现 | 第22-30页 |
| ·协议测试执行系统的总体结构 | 第22页 |
| ·测试执行子系统的设计与实现 | 第22-29页 |
| ·测试执行子系统的工作流程 | 第23-24页 |
| ·测试执行子系统的系统结构 | 第24-27页 |
| ·测试执行子系统的数据结构 | 第27-29页 |
| ·测试驱动程序的设计与实现 | 第29-30页 |
| 第四章 邻居发现协议的形式化描述 | 第30-45页 |
| ·邻居发现协议简介 | 第30-33页 |
| ·邻居发现协议的产生 | 第30-31页 |
| ·邻居发现协议机制 | 第31-32页 |
| ·邻居发现协议消息类型 | 第32-33页 |
| ·形式化描述技术的产生和发展 | 第33-36页 |
| ·FSM | 第34页 |
| ·SDL和MSC | 第34-36页 |
| ·邻居发现协议的形式化描述 | 第36-45页 |
| ·邻居发现协议的FSM模型 | 第36-41页 |
| ·邻居发现协议的MSC模型 | 第41-45页 |
| 第五章 邻居发现协议的一致性测试及测试报告 | 第45-56页 |
| ·测试集描述语言TTCN | 第45-50页 |
| ·测试集概述部分 | 第46页 |
| ·说明部分 | 第46-48页 |
| ·约束部分 | 第48-49页 |
| ·动态行为描述部分 | 第49-50页 |
| ·基于TTCN的测试例的实现 | 第50-56页 |
| ·基于TTCN的测试例的实现举例 | 第50-53页 |
| ·邻居发现协议的一致性测试报告 | 第53-56页 |
| 第六章 结论及进一步的工作 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 致谢 | 第59页 |
