| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 引言 | 第11-19页 |
| ·课题的研究背景与意义 | 第11页 |
| ·CBTC系统概述 | 第11-17页 |
| ·CBTC系统介绍 | 第11-13页 |
| ·国内外CBTC系统发展状况 | 第13-15页 |
| ·轨道交通仿真和测试技术 | 第15-17页 |
| ·论文主要工作 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 2 自动测试与TTCN-3 | 第19-30页 |
| ·测试技术概论 | 第19-22页 |
| ·测试种类和测试的过程 | 第19-20页 |
| ·功能测试的方法 | 第20-21页 |
| ·测试案例 | 第21-22页 |
| ·软件自动化测试 | 第22-25页 |
| ·软件自动测试工具介绍 | 第22-24页 |
| ·自动测试在安全苛求系统中应用的必要性 | 第24-25页 |
| ·TTCN-3与其在自动测试中的应用 | 第25-28页 |
| ·TTCN-3概述 | 第25-27页 |
| ·TTCN-3应用领域 | 第27-28页 |
| ·TTCN-3测试系统的一般特点 | 第28页 |
| ·基于TTCN-3的自动测试环境-TTworkbench | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 3 测试案例的自动生成以及测试结果分析研究 | 第30-44页 |
| ·问题的提出 | 第30-31页 |
| ·测试案例的自动生成 | 第31页 |
| ·启发式算法 | 第31-33页 |
| ·组合测试模型 | 第33-35页 |
| ·组合测试案例生成方法 | 第35-42页 |
| ·单因素组合测试案例的生成 | 第35-36页 |
| ·基于解空间树的两因素组合测试案例的生成 | 第36-41页 |
| ·多因素组合测试案例生成 | 第41-42页 |
| ·对导致测试错误的影响因素的定位方法 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 4 对CBTC系统基于TTCN-3测试环境建模及自动测试的实现 | 第44-69页 |
| ·CBTC仿真测试系统的建立 | 第44-45页 |
| ·仿真管理和原理显示单元的引入 | 第45-50页 |
| ·仿真管理单元 | 第45-48页 |
| ·原理显示单元 | 第48-50页 |
| ·测试案例自动生成及结果分析在ATP中的应用 | 第50-64页 |
| ·ATP功能简述 | 第50-51页 |
| ·ATP单元输入变量和输出变量的定义 | 第51-54页 |
| ·基于解空间树的两因素组合测试案例的生成 | 第54-61页 |
| ·对导致测试错误的影响因素的定位 | 第61-64页 |
| ·基于TTCN-3的测试环境以及被测系统框架 | 第64页 |
| ·基于TTCN-3的自动测试结构 | 第64-68页 |
| ·本章小结 | 第68-69页 |
| 5 总结与展望 | 第69-70页 |
| 参考文献 | 第70-72页 |
| 作者简历 | 第72-74页 |
| 学位论文数据集 | 第74页 |