| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 引言 | 第8-10页 |
| ·研究背景 | 第8-9页 |
| ·主要工作及论文的组织 | 第9-10页 |
| 第一章 协议一致性测试简介 | 第10-14页 |
| ·协议一致性测试的产生 | 第10页 |
| ·协议一致性测试的相关概念、方法和体系结构 | 第10-12页 |
| ·协议一致性测试的实施过程 | 第12-14页 |
| 第二章 基于TTCN的协议测试 | 第14-21页 |
| ·TTCN协议测试的体系结构 | 第14-15页 |
| ·TTCN协议测试执行系统 | 第15-16页 |
| ·TTCN协议测试执行系统驱动器Driver | 第16-21页 |
| 第三章 OSPFv3协议及其测试套的研究 | 第21-30页 |
| ·OSPFv3协议简介 | 第21-24页 |
| ·OSPFv3协议一致性测试例研究 | 第24-26页 |
| ·OSPFv3协议一致性测试对TTCN测试执行系统的要求 | 第26-30页 |
| 第四章 协议相关的Driver的实现与改进 | 第30-44页 |
| ·原有TTCN协议测试执行系统中Driver的状况 | 第30-32页 |
| ·原有Runner的功能特点 | 第30-31页 |
| ·原有Driver的原理与功能 | 第31-32页 |
| ·支持OSPFv3协议测试的Driver程序 | 第32-37页 |
| ·对OSPFv3数据包的收发 | 第32-34页 |
| ·对OSPFv3校验和和LSA校验和的自动计算 | 第34-36页 |
| ·对接收包的过滤 | 第36-37页 |
| ·Driver程序针对支持含有多PCOs的测试例所作扩充 | 第37-44页 |
| ·更改Runner的方案 | 第37-38页 |
| ·加入同步协调器的方案 | 第38-39页 |
| ·对Driver进行多网卡扩充的方案 | 第39-40页 |
| ·在Driver中加入“地址欺骗”的方案 | 第40-44页 |
| 第五章 Driver的协议相关性和协议无关性 | 第44-61页 |
| ·协议相关的Driver程序中与具体协议相关的代码 | 第44-47页 |
| ·协议相关的Driver程序中与具体协议相关的部分的无关化 | 第47-55页 |
| ·Driver程序的协议相关程度讨论 | 第47-49页 |
| ·降低Driver程序的协议相关程度 | 第49-50页 |
| ·对协议进行分类的标准 | 第50-52页 |
| ·Driver程序的部分无关化过程实例 | 第52-54页 |
| ·小结 | 第54-55页 |
| ·纯协议无关的Driver程序的实现和优缺点讨论 | 第55-61页 |
| ·协议无关的Driver的实现 | 第55-59页 |
| ·协议无关的Driver程序的优缺点分析以及现实可行性 | 第59-60页 |
| ·小结 | 第60-61页 |
| 第六章 OSPFv3协议的一致性测试及测试报告 | 第61-65页 |
| ·OSPFv3协议测试例执行情况简介 | 第61页 |
| ·OSPFv3协议测试例执行实例 | 第61-64页 |
| ·测试例执行结果及实验结论 | 第64-65页 |
| 第七章 结论以及进一步的工作 | 第65-67页 |
| 参考文献 | 第67-69页 |
| 致谢 | 第69-70页 |
| 攻读硕士期间发表的学术论文 | 第70页 |
