| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7-9页 |
| ·选题的目的与意义 | 第9-10页 |
| ·本文的主要工作和内容安排 | 第10-11页 |
| 第二章 HINOC 系统与 HIMAC 信令协议概述 | 第11-25页 |
| ·HINOC 接入系统概述 | 第11-14页 |
| ·组网方案与应用场景 | 第11-13页 |
| ·网络拓扑结构分析 | 第13页 |
| ·HINOC 系统协议栈 | 第13-14页 |
| ·HINOC 协议 MAC 层信令协议 | 第14-25页 |
| ·HIMAC 信令帧结构 | 第14-16页 |
| ·HIMAC 结点接纳信令流程分析 | 第16-21页 |
| ·HIMAC 链路维护信令流程分析 | 第21-25页 |
| 第三章 基于 TTCN-3 的 HIMAC 协议一致性测试集设计 | 第25-53页 |
| ·协议一致性测试方法概述 | 第25-27页 |
| ·测试与测试控制表示 | 第27-41页 |
| ·TTCN 的发展 | 第27-28页 |
| ·TTCN-3 核心语言 | 第28-41页 |
| ·TTCN-3 的重要概念 | 第29-32页 |
| ·TTCN-3 核心语言要素 | 第32-37页 |
| ·TTCN-3 测试行为规范 | 第37-41页 |
| ·利用 TTCN-3 核心语言设计 HIMAC 测试集 | 第41-53页 |
| ·测试架构组成 | 第42-43页 |
| ·测试数据定义 | 第43-49页 |
| ·测试数据类型定义 | 第43-45页 |
| ·模板定义 | 第45-47页 |
| ·定时器定义 | 第47-48页 |
| ·模块定义 | 第48-49页 |
| ·测试行为描述 | 第49-53页 |
| 第四章 基于 TTCN-3 的 HIMAC 协议测试实现 | 第53-77页 |
| ·TTCN-3 通用测试系统结构 | 第53-57页 |
| ·TRI 接口[22] | 第54-55页 |
| ·TCI 接口[24] | 第55-57页 |
| ·测试开发环境 | 第57-60页 |
| ·测试开发工具 TTworkbench 介绍 | 第57页 |
| ·测试系统组成 | 第57-59页 |
| ·测试系统接口设计 | 第59-60页 |
| ·测试实现 | 第60-77页 |
| ·测试执行流程 | 第61-63页 |
| ·测试结果 | 第63-72页 |
| ·测试结论与分析 | 第72-77页 |
| 第五章 总结与展望 | 第77-79页 |
| 致谢 | 第79-81页 |
| 参考文献 | 第81-83页 |
| 硕士在读期间的研究成果 | 第83-84页 |
