| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-15页 |
| ·课题研究的背景和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·课题的主要研究内容 | 第13页 |
| ·论文的组织结构 | 第13-15页 |
| 第二章 协议一致性测试 | 第15-24页 |
| ·协议测试 | 第15-16页 |
| ·协议一致性测试 | 第16-19页 |
| ·协议一致性测试基础框架 | 第16页 |
| ·协议一致性测试过程 | 第16-18页 |
| ·协议一致性测试方法 | 第18-19页 |
| ·协议的形式化描述 | 第19-23页 |
| ·有限状态机（FSM） | 第19-21页 |
| ·Petri 网 | 第21页 |
| ·时序逻辑（TL，Temporal Logic） | 第21页 |
| ·进程代数（the Algebra of Process） | 第21-22页 |
| ·通信协议形式化描述语言 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 移动终端协议栈 | 第24-39页 |
| ·UMTS 网络 | 第24-26页 |
| ·Uu 接口协议结构模型 | 第26-30页 |
| ·物理层 | 第28-29页 |
| ·MAC 层 | 第29页 |
| ·RLC 层 | 第29页 |
| ·RRC 层 | 第29-30页 |
| ·NAS 层协议模型 | 第30-38页 |
| ·移动性管理（MM） | 第30-36页 |
| ·MM 协议概述 | 第31-33页 |
| ·MM 一般过程 | 第33页 |
| ·MM 特殊过程 | 第33-36页 |
| ·连接管理（CM） | 第36-38页 |
| ·呼叫控制（CC） | 第36页 |
| ·补充业务（SS） | 第36-37页 |
| ·短消息业务（SMS） | 第37页 |
| ·会话管理（SM） | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 移动终端协议栈测试系统设计及实现 | 第39-68页 |
| ·测试系统设计需求 | 第39-41页 |
| ·测试系统各模块的设计与实现 | 第41-67页 |
| ·测试系统中的两个关键技术 | 第41-46页 |
| ·测试用例编辑模块 | 第46-59页 |
| ·测试用例编辑模块平台模块 | 第46-52页 |
| ·测试用例编辑模块协议相关模块 | 第52-59页 |
| ·测试用例执行控制模块 | 第59-66页 |
| ·测试用例执行控制模块平台模块 | 第61-63页 |
| ·测试用例执行控制模块协议相关模块 | 第63-66页 |
| ·协议模拟模块 | 第66页 |
| ·测试日志记录模块 | 第66页 |
| ·接口适配模块 | 第66-67页 |
| ·本章总结 | 第67-68页 |
| 第五章 测试系统在MM 协议测试中的应用 | 第68-73页 |
| ·MM 测试用例的设计 | 第68页 |
| ·测试用例的执行 | 第68-72页 |
| ·本章小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 致谢 | 第78-79页 |
| 在学期间的研究成果及发表的学术论文 | 第79-80页 |
| 附录A 测试报告 | 第80-83页 |
| 附录B 词汇注释表 | 第83页 |