基于TTCN-3的RBC测试方法研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-12页 |
| 1 绪论 | 第12-17页 |
| ·研究背景及意义 | 第12-13页 |
| ·国内外研究现状 | 第13-16页 |
| ·论文主要工作 | 第16页 |
| ·本章小结 | 第16-17页 |
| 2 RBC功能概述 | 第17-26页 |
| ·概述 | 第17页 |
| ·RBC功能分析 | 第17-22页 |
| ·系统上电自检 | 第17-18页 |
| ·安全链路管理 | 第18-19页 |
| ·列车信息管理 | 第19-20页 |
| ·行车许可管理 | 第20-21页 |
| ·RBC切换管理 | 第21页 |
| ·车载模式管理 | 第21-22页 |
| ·数据库管理 | 第22页 |
| ·RBC接口描述 | 第22-23页 |
| ·RBC仿真测试平台及测试方法概述 | 第23-25页 |
| ·RBC仿真测试平台概述 | 第23-24页 |
| ·RBC测试方法 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 3 RBC测试案例的设计 | 第26-39页 |
| ·概述 | 第26-27页 |
| ·RBC场景建模图 | 第27-33页 |
| ·RBC注册与启动流程 | 第28-30页 |
| ·RBC切换流程 | 第30-33页 |
| ·功能特征概述 | 第33-34页 |
| ·测试案例设计 | 第34-38页 |
| ·根据建模图设计测试案例 | 第34-35页 |
| ·测试案例的规范化描述 | 第35-37页 |
| ·测试案例举例 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 4 RBC测试序列的设计 | 第39-52页 |
| ·测试序列的必要性及设计原则 | 第39-40页 |
| ·测试序列的必要性 | 第39-40页 |
| ·测试序列的设计原则 | 第40页 |
| ·基于场景的测试序列设计 | 第40-44页 |
| ·设计思路概述 | 第40-42页 |
| ·场景划分及描述 | 第42-43页 |
| ·测试序列的生成 | 第43-44页 |
| ·测试序列举例 | 第44-50页 |
| ·测试序列举例(一) | 第44-48页 |
| ·测试序列举例(二) | 第48-50页 |
| ·本章小结 | 第50-52页 |
| 5 TTCN-3简介 | 第52-63页 |
| ·TTCN-3表示形式 | 第52页 |
| ·TTCN-3核心语言 | 第52-53页 |
| ·类型定义 | 第52-53页 |
| ·模块 | 第53页 |
| ·TTCN-3测试系统 | 第53-56页 |
| ·测试系统模型 | 第53-54页 |
| ·测试管理器 | 第54页 |
| ·组件控制器 | 第54页 |
| ·编解码器 | 第54-55页 |
| ·测试日志记录器 | 第55页 |
| ·测试执行器 | 第55页 |
| ·系统适配器 | 第55-56页 |
| ·平台适配器 | 第56页 |
| ·测试案例与配置操作 | 第56-58页 |
| ·通信操作 | 第58-59页 |
| ·定时器操作 | 第59-60页 |
| ·测试判定操作 | 第60页 |
| ·测试工具TTworkbench介绍 | 第60-62页 |
| ·TTworkbench的功能 | 第60页 |
| ·TTworkbench的结构 | 第60-61页 |
| ·TTworkbench的测试流程 | 第61-62页 |
| ·本章小结 | 第62-63页 |
| 6 基于TTCN-3的RBC测试系统的设计与实现 | 第63-76页 |
| ·RBC并行分布式测试系统的设计 | 第63-64页 |
| ·基于TTCN-3的测试系统实现 | 第64-71页 |
| ·数据类型的定义 | 第65-66页 |
| ·抽象测试端口的定义和定时器设置 | 第66-67页 |
| ·测试组件的创建、连接和映射 | 第67-68页 |
| ·测试案例和测试序列的编写 | 第68-71页 |
| ·编解码的实现 | 第71页 |
| ·测试适配器的实现 | 第71页 |
| ·仿真实验 | 第71-74页 |
| ·测试结果分析 | 第74-75页 |
| ·本章小结 | 第75-76页 |
| 7 总结和展望 | 第76-77页 |
| 参考文献 | 第77-79页 |
| 附录 A | 第79-86页 |
| 附录 B | 第86-90页 |
| 作者简历 | 第90-92页 |
| 学位论文数据集 | 第92页 |
