基于场景的列控车载设备测试用例自动生成方法研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-15页 |
| ·研究背景和意义 | 第10-11页 |
| ·国内外研究现状 | 第11-14页 |
| ·列控系统的测试研究 | 第11-12页 |
| ·基于场景的测试研究 | 第12-13页 |
| ·测试覆盖准则的研究 | 第13-14页 |
| ·研究内容和章节安排 | 第14页 |
| ·本章小结 | 第14-15页 |
| 2 理论基础 | 第15-26页 |
| ·基于场景的测试 | 第15-17页 |
| ·场景的概念与描述 | 第15-17页 |
| ·场景技术 | 第17页 |
| ·自动机模型 | 第17-20页 |
| ·有限状态自动机 | 第17-18页 |
| ·自动机的定义和积 | 第18-20页 |
| ·观测自动机 | 第20-25页 |
| ·Observer观测自动机 | 第20-22页 |
| ·典型测试覆盖准则 | 第22-25页 |
| ·本章小结 | 第25-26页 |
| 3 基于场景的测试用例生成方法 | 第26-40页 |
| ·方法概述 | 第26-28页 |
| ·被测系统场景模型 | 第28-33页 |
| ·系统场景分析 | 第28-29页 |
| ·系统自动机模型 | 第29-32页 |
| ·系统模型验证 | 第32-33页 |
| ·测试用例自动生成 | 第33-39页 |
| ·定义Observer描述测试覆盖准则 | 第33-36页 |
| ·利用Cover生成测试用例 | 第36-39页 |
| ·本章小结 | 第39-40页 |
| 4 车载系统建模 | 第40-57页 |
| ·CTCS-3级列控系统车载设备 | 第40-42页 |
| ·车载系统结构 | 第40-41页 |
| ·车载系统功能 | 第41-42页 |
| ·车载系统建模分析 | 第42-49页 |
| ·系统功能场景树模型 | 第42-45页 |
| ·模式转换条件的量化 | 第45-49页 |
| ·自动机K-E模型 | 第49-56页 |
| ·车载主控单元VC自动机 | 第50-51页 |
| ·车载外围环境自动机网 | 第51-54页 |
| ·模型可达性和不确定性分析 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 5 测试用例生成与应用 | 第57-71页 |
| ·基于场景的测试用例自动生成 | 第57-61页 |
| ·全状态覆盖测试用例 | 第57-59页 |
| ·全变迁覆盖测试用例 | 第59-61页 |
| ·测试用例的优化 | 第61-64页 |
| ·测试用例的选择 | 第62-63页 |
| ·最优运行模式全覆盖测试用例 | 第63-64页 |
| ·测试用例的标准化与应用 | 第64-70页 |
| ·测试用例格式转换器 | 第64-67页 |
| ·CTCS-3级车载设备测试平台 | 第67-68页 |
| ·车载设备控车模式测试 | 第68-70页 |
| ·本章小结 | 第70-71页 |
| 6 结论与展望 | 第71-74页 |
| ·本文的工作 | 第71-72页 |
| ·今后的研究工作 | 第72-74页 |
| 参考文献 | 第74-78页 |
| 图索引 | 第78-80页 |
| 表索引 | 第80-82页 |
| 作者简历 | 第82-86页 |
| 学位论文数据集 | 第86页 |
