| 摘要 | 第1-9页 |
| ABSTRACT | 第9-10页 |
| 第一章 绪论 | 第10-13页 |
| ·DHCP 协议一致性测试的意义 | 第10页 |
| ·协议一致性测试研究现状 | 第10-11页 |
| ·主要内容 | 第11-12页 |
| ·论文组织 | 第12-13页 |
| 第二章 DHCP 协议的介绍和协议一致性测试技术的概述 | 第13-25页 |
| ·DHCP 协议概述 | 第13-18页 |
| ·DHCP 报文格式 | 第13-16页 |
| ·DHCP 协议的工作流程 | 第16-18页 |
| ·协议一致性测试基本概念 | 第18-20页 |
| ·协议一致性测试介绍 | 第18-19页 |
| ·协议一致性测试过程 | 第19-20页 |
| ·形式描述语言模型 | 第20-21页 |
| ·基于 FSM 的重要测试序列生成方法 | 第21-24页 |
| ·四种的经典测试序列生成方法概述 | 第21-23页 |
| ·四种测试序列生成方法的比较分析 | 第23-24页 |
| ·小结 | 第24-25页 |
| 第三章 基于 FSM 的均分优化 UIO 算法 | 第25-38页 |
| ·DHCP 有限状态机（FSM） | 第25-28页 |
| ·DHCP 有限状态机描述 | 第25-27页 |
| ·DHCP 协议的有限状态机具有的四个基本特征 | 第27页 |
| ·基于 DHCP 有限状态机模型的测试生产步骤 | 第27-28页 |
| ·均分优化 UIO 测试序列生成算法 | 第28-33页 |
| ·均分优化 UIO 算法的二叉树形式 | 第29-30页 |
| ·均分优化 UIO 算法的二分法运用 | 第30页 |
| ·均分优化 UIO 测试序列生成算法设计步骤 | 第30-33页 |
| ·均分优化 UIO 算法生成 DHCP 测试序列 | 第33-35页 |
| ·均分优化 UIO 算法与 UIO 算法的比较分析 | 第35-37页 |
| ·算法复杂度比较 | 第35-36页 |
| ·均分优化 UIO 算法与 UIO 算法生成的测试序列长度比较 | 第36页 |
| ·均分优化 UIO 算法与 UIO 算法的错误覆盖率比较 | 第36-37页 |
| ·小结 | 第37-38页 |
| 第四章 可扩展的 DHCP 协议一致性测试系统设计 | 第38-47页 |
| ·DHCP 协议一致性测试的系统结构设计 | 第38-39页 |
| ·用户 API 设计 | 第39-40页 |
| ·测试套设计 | 第40-41页 |
| ·开放 API 接口层设计 | 第41-44页 |
| ·系统服务组件设计 | 第44-45页 |
| ·操作系统抽象服务设计 | 第45-46页 |
| ·小结 | 第46-47页 |
| 第五章 DHCP 协议一致性测试系统的实现与测试 | 第47-59页 |
| ·系统实现 | 第47-53页 |
| ·关键数据结构与关键函数 | 第47-50页 |
| ·用户界面实现 | 第50-52页 |
| ·测试例实现流程 | 第52-53页 |
| ·测试系统环境搭建 | 第53-55页 |
| ·DHCP 协议测试集的内容 | 第55-56页 |
| ·测试集比较分析 | 第56-57页 |
| ·测试结果 | 第57-58页 |
| ·小结 | 第58-59页 |
| 第六章 总结 | 第59-60页 |
| ·论文总结 | 第59页 |
| ·下一步的工作方向 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 作者在学期间取得的学术成果 | 第65页 |
