| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-15页 |
| ·研究背景与意义 | 第10-13页 |
| ·GSM-R网络互联互通 | 第10-11页 |
| ·GSM-R网络E接口概述 | 第11-13页 |
| ·研究意义 | 第13页 |
| ·本文的主要工作与贡献 | 第13-15页 |
| 2 功能与互操作测试原理 | 第15-23页 |
| ·功能性测试 | 第15-17页 |
| ·基本概念 | 第15页 |
| ·分析方法 | 第15-16页 |
| ·用例设计方法 | 第16-17页 |
| ·互操作性测试 | 第17-21页 |
| ·互操作性测试定义及分类 | 第17-18页 |
| ·互操作性测试过程 | 第18-20页 |
| ·互操作性测试研究现状 | 第20-21页 |
| ·互操作性测试和功能性测试的关系 | 第21页 |
| ·测试覆盖率 | 第21-23页 |
| ·常见的逻辑覆盖 | 第21-22页 |
| ·功能覆盖率 | 第22-23页 |
| 3 协议的形式化描述技术 | 第23-30页 |
| ·概述 | 第23-24页 |
| ·FSM和EFSM的定义和性质 | 第24-25页 |
| ·有限状态机(FSM) | 第24-25页 |
| ·扩展有限状态机(EFSM) | 第25页 |
| ·规范说明和描述语言(SDL) | 第25-30页 |
| ·SDL基本概念 | 第26-27页 |
| ·SDL结构 | 第27-30页 |
| 4 GSM-R网络E接口功能测试研究 | 第30-45页 |
| ·E接口组呼业务分析 | 第30-34页 |
| ·语音组呼业务流程 | 第30-32页 |
| ·语音广播业务流程 | 第32-34页 |
| ·基于等价类划分的功能性测试集设计 | 第34-38页 |
| ·设计要求 | 第34页 |
| ·设计方法 | 第34-38页 |
| ·结果分析 | 第38页 |
| ·基于路径覆盖的功能性测试集设计 | 第38-43页 |
| ·组呼业务的SDL语言描述 | 第38-41页 |
| ·测试集生成 | 第41-43页 |
| ·两种方案对比分析 | 第43-45页 |
| 5 GSM-R网络E接口互操作测试研究 | 第45-59页 |
| ·互操作性测试技术在GSM-R网络互联互通中应用 | 第45-53页 |
| ·设计测试用例 | 第45页 |
| ·测试环境 | 第45页 |
| ·数据配置 | 第45-48页 |
| ·测试方法 | 第48-49页 |
| ·实例分析 | 第49-51页 |
| ·小结 | 第51-53页 |
| ·基于通信有限状态机的GSM-R网络E接口互操作形式化模型 | 第53-58页 |
| ·通信多端口有限状态机定义 | 第53-54页 |
| ·通信双端口有限状态机模型 | 第54页 |
| ·状态转移图 | 第54-55页 |
| ·E接口组呼业务有限状态机模型 | 第55-58页 |
| ·小结 | 第58-59页 |
| 6 总结与展望 | 第59-60页 |
| ·全文总结 | 第59页 |
| ·展望 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 附录A | 第62-63页 |
| 作者简历 | 第63-65页 |
| 学位论文数据集 | 第65页 |