基于TTCN-3的列控系统安全通信协议互操作性测试研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-9页 |
| 目录 | 第9-11页 |
| 1 引言 | 第11-16页 |
| ·研究背景 | 第11-14页 |
| ·CTCS-3级列控系统介绍 | 第11-12页 |
| ·铁路信号安全协议-Ⅰ介绍 | 第12-14页 |
| ·选题目的和意义 | 第14-15页 |
| ·结构安排 | 第15-16页 |
| 2 协议测试及TTCN-3介绍 | 第16-22页 |
| ·协议测试的分类 | 第16页 |
| ·操作性测试的介绍 | 第16-19页 |
| ·互操作性测试的结构 | 第16-18页 |
| ·互操作性测试的研究现状 | 第18-19页 |
| ·TTCN-3的介绍 | 第19-21页 |
| ·TTCN-3的语言元素 | 第19-20页 |
| ·测试系统的组成部分 | 第20-21页 |
| ·TTCN-3的测试环境 | 第21页 |
| ·本章小结 | 第21-22页 |
| 3 RSSP-Ⅰ的建模及互操作性测试序列生成 | 第22-40页 |
| ·有限状态机与互操作性测试 | 第22-23页 |
| ·RSSP-Ⅰ的有限状态机模型 | 第23-27页 |
| ·RSSP-Ⅰ的状态与事件 | 第23-25页 |
| ·RSSP-Ⅰ的状态转移图 | 第25-27页 |
| ·组合有限状态机的生成方法 | 第27-31页 |
| ·RSSP-Ⅰ的组合有限状态机模型 | 第31-33页 |
| ·RSSP-Ⅰ的互操作性测试序列生成 | 第33-39页 |
| ·互操作性测试的故障模型 | 第33-34页 |
| ·测试序列的生成流程 | 第34-36页 |
| ·RSSP-Ⅰ的互操作性测试序列 | 第36-39页 |
| ·本章小结 | 第39-40页 |
| 4 RSSP-Ⅰ模型的SDL仿真验证 | 第40-49页 |
| ·RSSP-Ⅰ模型的SDL描述 | 第40-44页 |
| ·RSSP-Ⅰ模型的SDL系统图 | 第40-41页 |
| ·RSSP-Ⅰ模型的SDL功能块图 | 第41-42页 |
| ·RSSP-Ⅰ模型的SDL进程图 | 第42-44页 |
| ·RSSP-Ⅰ模型的SDL仿真验证 | 第44-46页 |
| ·由MSC生成TTCN-3测试例 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 5 RSSP-Ⅰ互操作性测试的执行 | 第49-69页 |
| ·协议测试的四种方法结构 | 第49-50页 |
| ·RSSP-Ⅰ操作性测试系统的结构 | 第50-53页 |
| ·基于TTCN-3的测试系统实现 | 第53-57页 |
| ·编解码器的实现 | 第53-54页 |
| ·系统适配器的实现 | 第54-56页 |
| ·平台适配器的实现 | 第56页 |
| ·日志记录器的实现 | 第56-57页 |
| ·基于TTCN-3的测试例描述 | 第57-63页 |
| ·数据类型的描述 | 第59-60页 |
| ·测试成分的配置及描述 | 第60-62页 |
| ·判定结果的描述 | 第62-63页 |
| ·测试结果及分析 | 第63-66页 |
| ·测试中出现的问题及解决 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 6 总结与展望 | 第69-71页 |
| ·总结 | 第69-70页 |
| ·展望 | 第70-71页 |
| 参考文献 | 第71-73页 |
| 图索引 | 第73-75页 |
| 表索引 | 第75-76页 |
| 作者简历 | 第76-78页 |
| 学位论文数据集 | 第78页 |
