| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第11-17页 |
| 1.1 研究背景与意义 | 第11-13页 |
| 1.2 国内外研究现状 | 第13-15页 |
| 1.2.1 新型互联网组播服务相关协议 | 第13-14页 |
| 1.2.2 协议一致性测试 | 第14-15页 |
| 1.3 论文结构 | 第15-17页 |
| 2 组播标识通信/组播路由协议及一致性测试研究概述 | 第17-31页 |
| 2.1 新型互联网组播标识通信/组播路由协议标准 | 第17-26页 |
| 2.1.1 新型互联网组播标识通信协议主要内容 | 第17-19页 |
| 2.1.2 新型互联网组播路由协议主要内容 | 第19-26页 |
| 2.2 组播标识通信/组播路由协议一致性测试研究 | 第26-28页 |
| 2.2.1 协议一致性测试基本理论 | 第26-27页 |
| 2.2.2 组播标识通信/组播路由协议一致性测试流程 | 第27-28页 |
| 2.3 本章小结 | 第28-31页 |
| 3 组播标识通信/组播路由协议一致性测试集设计 | 第31-51页 |
| 3.1 一致性测试集设计方法与组织架构 | 第31-32页 |
| 3.2 组播标识通信/组播路由协议分析 | 第32-34页 |
| 3.3 组播标识通信/组播路由协议测试集文本描述 | 第34-38页 |
| 3.4 一致性测试集形式化描述 | 第38-48页 |
| 3.4.1 模块化树形结构描述方法 | 第39-40页 |
| 3.4.2 测试协议首部格式设计与形式化描述 | 第40-46页 |
| 3.4.3 测试行为形式化描述 | 第46页 |
| 3.4.4 测试例形式化描述 | 第46-48页 |
| 3.5 本章小结 | 第48-51页 |
| 4 组播标识通信/组播路由协议一致性测试系统设计与实现 | 第51-59页 |
| 4.1 组播标识通信/组播路由协议一致性测试系统总体设计 | 第51-52页 |
| 4.2 测试例解析模块 | 第52-54页 |
| 4.2.1 测试数据解析部分 | 第52-53页 |
| 4.2.2 测试过程解析部分 | 第53-54页 |
| 4.3 测试执行模块 | 第54-57页 |
| 4.3.1 多线程功能部份 | 第54-57页 |
| 4.3.2 对比判断部分 | 第57页 |
| 4.4 测试结果生成模块 | 第57页 |
| 4.5 本章小结 | 第57-59页 |
| 5 组播标识通信/组播路由协议一致性测试实验 | 第59-77页 |
| 5.1 组播标识通信协议一致性测试实验 | 第59-67页 |
| 5.1.1 组播源加入触发功能一致性测试 | 第59-63页 |
| 5.1.2 组播服务更新功能一致性测试 | 第63-67页 |
| 5.2 组播路由协议一致性测试实验 | 第67-75页 |
| 5.2.1 状态汇报确认功能一致性测试 | 第67-71页 |
| 5.2.2 核心网路由信息下发确认功能一致性测试 | 第71-75页 |
| 5.3 组播标识通信/组播路由协议一致性测试分析 | 第75-76页 |
| 5.4 本章小结 | 第76-77页 |
| 6 结论与展望 | 第77-79页 |
| 参考文献 | 第79-81页 |
| 作者简历及攻读硕士/博士学位期间取得的研究成果 | 第81-85页 |
| 学位论文数据集 | 第85页 |
