TD-PRS高层协议测试技术研究
| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-8页 |
| 1 概述 | 第8-12页 |
| ·引言 | 第8-9页 |
| ·选题背景 | 第9-11页 |
| ·本论文的任务 | 第11-12页 |
| 2 协议的形式化模型及语言 | 第12-18页 |
| ·概述 | 第12-13页 |
| ·有限状态机 | 第13-15页 |
| ·传统的有限状态机(FSM) | 第13-14页 |
| ·通信有限状态机(CFSM) | 第14页 |
| ·扩展有限状态机EFSM 模型 | 第14-15页 |
| ·通信扩展有限状态机CEFSM 模型 | 第15页 |
| ·协议的有限状态机模型及其在协议测试中的应用 | 第15-16页 |
| ·SDL 语言简介 | 第16-17页 |
| ·本章小结 | 第17-18页 |
| 3 协议测试方法 | 第18-28页 |
| ·概述 | 第18-19页 |
| ·协议测试 | 第19-24页 |
| ·一致性测试概述 | 第20-22页 |
| ·测试序列生成方法 | 第22-24页 |
| ·协议测试语言TTCN | 第24-27页 |
| ·本章小结 | 第27-28页 |
| 4 MM,GMM 层的一致性测试 | 第28-70页 |
| ·协议规范一致性要求 | 第28-39页 |
| ·TD-PRS 系统简介 | 第28-31页 |
| ·MM,GMM 协议规范 | 第31-39页 |
| ·协议实现一致性测试 | 第39-69页 |
| ·测试模型 | 第39-56页 |
| ·测试目的及流程 | 第56-59页 |
| ·测试数据 | 第59-69页 |
| ·测试结果 | 第69页 |
| ·本章小结 | 第69-70页 |
| 5 结束语 | 第70-71页 |
| ·论文工作总结 | 第70页 |
| ·论文主要贡献 | 第70页 |
| ·存在问题及进一步研究 | 第70-71页 |
| 致谢 | 第71-72页 |
| 参考文献 | 第72-74页 |
| 附录：MM,GMM 测试 MSC 图 | 第74-82页 |
| A. 开机读SIM 卡过程 | 第74-76页 |
| B. 联合TD_PRS 附着成功过程 | 第76-77页 |
| C. 联合TD_PRS 附着只有数据业务成功过程 | 第77-78页 |
| D. 联合TD_PRS 附着被网络拒绝过程 | 第78-79页 |
| E. 网络发起的TD_PRS 分离过程 | 第79-80页 |
| F. 终端关机引起的分离过程 | 第80-81页 |
| G. 终端非关机引起的分离过程 | 第81-82页 |
| H. 联合路由区更新过程 | 第82页 |
