| 摘要 | 第1-7页 |
| 第一章 引言 | 第7-9页 |
| 第二章 协议一致性测试简介 | 第9-12页 |
| 2．1 协议一致性测试概念 | 第9页 |
| 2．2 协议一致性测试的四个阶段 | 第9-11页 |
| 2．3 一致性测试的实现和执行 | 第11-12页 |
| 第三章 用 XML描述和保存协议测试套 | 第12-20页 |
| 3．1 可扩展标记语言 XML简介 | 第12-14页 |
| 3．1．1 XML简介 | 第12-13页 |
| 3．1．2 XML的特点 | 第13-14页 |
| 3．1．3 XML在未来 Web开发中的应用 | 第14页 |
| 3．2 测试套的保存 | 第14-16页 |
| 3．2．1 测试套在 XML文件中的结构 | 第14-15页 |
| 3．2．2 用于描述测试套的XML标记 | 第15-16页 |
| 3．3 举例 | 第16-17页 |
| 3．4 与TTCN描述的测试套的对比 | 第17-20页 |
| 第四章 协议一致性测试系统的 UML模型 | 第20-25页 |
| 4．1 UML介绍 | 第20-21页 |
| 4．2 建模 | 第21-24页 |
| 4．2．1 系统的UML用例图 | 第21页 |
| 4．2．2 系统的UML序列图 | 第21-23页 |
| 4．2．3 系统的UML协作图 | 第23-24页 |
| 4．3 小结 | 第24-25页 |
| 第五章 协议一致性测试系统的实现 | 第25-37页 |
| 5．1 开发环境 | 第25页 |
| 5．1．1 开发工具 | 第25页 |
| 5．1．2 软件平台 | 第25页 |
| 5．2 系统结构 | 第25-26页 |
| 5．3 测试套编辑子系统的实现 | 第26-31页 |
| 5．3．1 测试套编辑子系统的工作流程 | 第26页 |
| 5．3．2 程序中测试套的组织 | 第26-27页 |
| 5．3．3 测试套编辑子系统的功能实现 | 第27-31页 |
| 5．4 测试例执行子系统的实现 | 第31-34页 |
| 5．4．1 直接网络编程 | 第31页 |
| 5．4．2 测试例执行子系统的系统结构 | 第31-32页 |
| 5．4．3 协议一致性测试系统的主界面 | 第32-33页 |
| 5．4．4 测试例执行子系统的执行过程 | 第33-34页 |
| 5．5 日志窗口 | 第34-35页 |
| 5．6 与以前开发的测试系统的区别以及改进 | 第35-37页 |
| 第六章 基于 CEFSMs的邻居发现协议测试例的生成 | 第37-50页 |
| 6．1 邻居发现协议 | 第37-39页 |
| 6．1．1 简介 | 第37-38页 |
| 6．1．2 五种IPv6控制信息报文 | 第38-39页 |
| 6．2 一致性测试 | 第39-41页 |
| 6．2．1 EFSM与CEFSM | 第39-40页 |
| 6．2．2 CEFSM的部分合并扩展有限状态机 | 第40页 |
| 6．2．3 基于控制流的测试例选择标准 | 第40页 |
| 6．2．4 基于数据流的测试例选择标准 | 第40-41页 |
| 6．3 基于 CEFSMs的测试例的生成 | 第41-44页 |
| 6．3．1 产生协议的CEFSM模型 | 第41-42页 |
| 6．3．2 部分合并CEFSM | 第42-43页 |
| 6．3．3 产生文本测试例 | 第43-44页 |
| 6．3．4 得到系统可执行测试例 | 第44页 |
| 6．4 举例 | 第44-48页 |
| 6．5 小结 | 第48-50页 |
| 第七章 对邻居发现协议的测试 | 第50-53页 |
| 7．1 对主机上 ND协议实现的测试 | 第50-51页 |
| 7．1．1 测试环境 | 第50页 |
| 7．1．2 测试报告 | 第50-51页 |
| 7．2 对路由器上 ND协议实现的测试 | 第51-52页 |
| 7．2．1 测试环境 | 第51-52页 |
| 7．2．2 测试报告 | 第52页 |
| 7．3 小结 | 第52-53页 |
| 第八章 结论及进一步工作 | 第53-55页 |
| 8．1 结论 | 第53页 |
| 8．2 进一步工作 | 第53-55页 |
| 参考文献 | 第55-57页 |
| 附录1 主要的数据结构 | 第57-59页 |
| 致谢 | 第59页 |