| 摘要 | 第3-4页 |
| Abstract | 第4-5页 |
| 第1章 引言 | 第10-16页 |
| 1.1 课题的研究背景 | 第10-11页 |
| 1.2 作者的主要研究工作 | 第11-13页 |
| 1.3 论文的主要贡献 | 第13-14页 |
| 1.4 论文的组织 | 第14-16页 |
| 第2章 相关研究工作综述 | 第16-33页 |
| 2.1 引言 | 第16页 |
| 2.2 一致性测试概述 | 第16-18页 |
| 2.3 基于单组件状态机的测试 | 第18-22页 |
| 2.3.1 基于有限状态机的测试 | 第18-20页 |
| 2.3.2 基于扩展有限状态机的测试 | 第20-22页 |
| 2.4 基于多组件模型的测试 | 第22-25页 |
| 2.4.1 基于通信有限状态机的测试 | 第22-24页 |
| 2.4.2 其他多组件测试 | 第24-25页 |
| 2.5 软件定义网络的测试 | 第25-31页 |
| 2.5.1 软件定义网络的形式化模型及其验证 | 第25-26页 |
| 2.5.2 软件定义网络控制平面的测试 | 第26-30页 |
| 2.5.3 软件定义网络数据平面的测试 | 第30-31页 |
| 2.6 本章小结 | 第31-33页 |
| 第3章 扩展并行多组件状态机的建模框架 | 第33-62页 |
| 3.1 引言 | 第33页 |
| 3.2 多种扩展并行多组件状态机的模型关系 | 第33-37页 |
| 3.3 并行扩展有限状态机模型 | 第37-49页 |
| 3.3.1 模型定义 | 第37-38页 |
| 3.3.2 一致性关系 | 第38-43页 |
| 3.3.3 模型示例 | 第43-49页 |
| 3.4 流水线扩展有限状态机模型 | 第49-56页 |
| 3.4.1 模型定义 | 第49-51页 |
| 3.4.2 模型示例 | 第51-56页 |
| 3.5 信息表扩展有限状态机模型 | 第56-60页 |
| 3.5.1 模型定义 | 第56-59页 |
| 3.5.2 应用示例 | 第59-60页 |
| 3.6 本章小结 | 第60-62页 |
| 第4章 基于定义使用路径的并行扩展有限状态机测试生成 | 第62-79页 |
| 4.1 引言 | 第62页 |
| 4.2 测试生成 | 第62-70页 |
| 4.2.1 定义使用路径 | 第62-65页 |
| 4.2.2 M-EFTG算法 | 第65-67页 |
| 4.2.3 PETG算法 | 第67-70页 |
| 4.3 测试实践 | 第70-78页 |
| 4.3.1 源地址验证协议测试生成 | 第70-72页 |
| 4.3.2 源地址验证协议一致性测试 | 第72-78页 |
| 4.4 本章小结 | 第78-79页 |
| 第5章 基于可达图的并行扩展有限状态机层次化测试生成 | 第79-95页 |
| 5.1 引言 | 第79页 |
| 5.2 测试生成 | 第79-90页 |
| 5.2.1 组件依赖图 | 第79-80页 |
| 5.2.2 整体过程 | 第80-81页 |
| 5.2.3 自底向上的可达图生成 | 第81-83页 |
| 5.2.4 自顶向下的可执行测试序列生成 | 第83-89页 |
| 5.2.5 讨论与比较 | 第89-90页 |
| 5.3 测试实践 | 第90页 |
| 5.4 本章小结 | 第90-95页 |
| 第6章 流水线扩展有限状态机测试生成 | 第95-111页 |
| 6.1 引言 | 第95页 |
| 6.2 测试生成 | 第95-104页 |
| 6.2.1 整体过程 | 第95-96页 |
| 6.2.2 数据图转换与数据路径搜索 | 第96-98页 |
| 6.2.3 前导序列生成和测试序列组合 | 第98-104页 |
| 6.2.4 TTCN-3测试例实现 | 第104页 |
| 6.3 测试实践 | 第104-110页 |
| 6.3.1 测试序列的规模与覆盖 | 第105-108页 |
| 6.3.2 测试结果 | 第108页 |
| 6.3.3 讨论 | 第108-110页 |
| 6.4 本章小结 | 第110-111页 |
| 第7章 信息表扩展有限状态机测试生成 | 第111-126页 |
| 7.1 引言 | 第111页 |
| 7.2 测试框架 | 第111-113页 |
| 7.3 测试生成 | 第113-120页 |
| 7.3.1 模型检测辅助测试生成 | 第114-115页 |
| 7.3.2 基于组件部分组合与拓扑的测试生成 | 第115-120页 |
| 7.4 测试实践 | 第120-125页 |
| 7.5 本章小结 | 第125-126页 |
| 第8章 结论和进一步工作 | 第126-129页 |
| 8.1 论文的主要结论 | 第126-128页 |
| 8.2 进一步的研究工作 | 第128-129页 |
| 参考文献 | 第129-138页 |
| 致谢 | 第138-139页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第139-141页 |