文摘
英文文摘
声明
致谢
1引言
1.1研究背景与意义
1.1.1GSM-R网络互联互通
1.1.2GSM-R网络E接口概述
1.1.3研究意义
1.2本文的主要工作与贡献
2功能与互操作测试原理
2.1功能性测试
2.1.1基本概念
2.1.2分析方法
2.1.3用例设计方法
2.2互操作性测试
2.2.1互操作性测试定义及分类
2.2.2互操作性测试过程
2.2.3互操作性测试研究现状
2.2.4互操作性测试和功能性测试的关系
2.3测试覆盖率
2.3.1常见的逻辑覆盖
2.3.2功能覆盖率
3协议的形式化描述技术
3.1概述
3.2FSM和EFSM的定义和性质
3.2.1有限状态机(FSM)
3.2.2扩展有限状态机(EFSM)
3.3规范说明和描述语言(SDL)
3.3.1SDL基本概念
3.3.2SDL结构
4GSM-R网络E接口功能测试研究
4.1E接口组呼业务分析
4.1.1语音组呼业务流程
4.1.2语音广播业务流程
4.2基于等价类划分的功能性测试集设计
4.2.1设计要求
4.2.2设计方法
4.2.3验证与分析
4.3基于路径覆盖的功能性测试集设计
4.3.1组呼业务的SDL语言描述
4.3.2测试集生成
4.4两种方案对比分析
5GSM-R网络E接口互操作测试研究
5.1互操作性测试技术在GSM-R网络互联互通中应用
5.1.1设计测试用例
5.1.2测试环境
5.1.3数据配置
5.1.4测试方法
5.1.5实例分析
5.1.6小结
5.2基于通信有限状态机的GSM-R网络E接口互操作形式化模型
5.2.1通信多端口有限状态机定义
5.2.2通信双端口有限状态机模型
5.2.3状态转移图
5.2.4E接口组呼业务有限状态机模型
5.3小结
6总结与展望
6.1全文总结
6.2展望
参考文献
附录A论文中出现的缩略语
作者简历