基于CPN的WCDMA协议一致性测试研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-13页 |
| ·研究背景 | 第10-11页 |
| ·主要研究工作 | 第11-12页 |
| ·论文的组织结构 | 第12-13页 |
| 第二章 背景理论概述 | 第13-24页 |
| ·协议一致性测试理论 | 第13-15页 |
| ·WCDMA协议概述 | 第15-19页 |
| ·WCDMA的网络结构 | 第15-17页 |
| ·WCDMA网络接口协议栈 | 第17-19页 |
| ·Petri网理论基础 | 第19-22页 |
| ·Petri网基本概念及特性 | 第19-20页 |
| ·着色Petri网 | 第20-21页 |
| ·CPN Tools | 第21-22页 |
| ·本章小结 | 第22-24页 |
| 第三章 WCDMA协议的CPN建模 | 第24-43页 |
| ·信令流程分析 | 第24-28页 |
| ·信令流程的形式化分析 | 第28页 |
| ·数据建模及token的选取 | 第28-30页 |
| ·CPN层次化建模 | 第30-39页 |
| ·CPN顶层模型 | 第30-31页 |
| ·小区建立和PLMN注册相关过程模块 | 第31-35页 |
| ·RRC连接建立过程子模块 | 第35-37页 |
| ·RAB连接过程子模块 | 第37页 |
| ·RANAP过程子模块 | 第37-38页 |
| ·RRC连接释放过程子模块 | 第38-39页 |
| ·模型状态空间分析 | 第39-42页 |
| ·本章小结 | 第42-43页 |
| 第四章 协议测试序列生成工具 | 第43-51页 |
| ·程序设计原理 | 第43-46页 |
| ·工具流程 | 第43页 |
| ·XML文档解析 | 第43-45页 |
| ·数据结构定义 | 第45-46页 |
| ·自动生成抽象测试序列算法 | 第46-47页 |
| ·自动生成可执行测试序列算法 | 第47-48页 |
| ·实现结果 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 测试例的对比分析 | 第51-58页 |
| ·RRC协议过程的可执行测试序列 | 第51-53页 |
| ·RRC协议过程的部分测试例描述 | 第53-56页 |
| ·模型提取的测试例与3GPP标准测试例对比分析 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第六章 总结与展望 | 第58-59页 |
| ·总结 | 第58页 |
| ·对未来研究方向的展望 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 附录1 一致性测试例描述 | 第62-63页 |
| 致谢 | 第63-64页 |
| 攻读硕士期间发表的学术论文 | 第64页 |
