| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-12页 |
| 1 引言 | 第12-17页 |
| ·研究背景 | 第12页 |
| ·研究意义 | 第12页 |
| ·CTCS-3级列控系统 | 第12-13页 |
| ·列控系统测试的国内外现状 | 第13-15页 |
| ·国外现状 | 第13-14页 |
| ·国内现状 | 第14-15页 |
| ·论文的主要工作和结构安排 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 2 测试技术 | 第17-27页 |
| ·测试类型 | 第17-19页 |
| ·按照开发阶段划分 | 第17-18页 |
| ·按照执行状态划分 | 第18-19页 |
| ·按照测试技术划分 | 第19页 |
| ·黑盒测试 | 第19-21页 |
| ·等价类划分法 | 第20页 |
| ·边界值分析法 | 第20-21页 |
| ·因果分析法 | 第21页 |
| ·白盒测试 | 第21-25页 |
| ·基本路径测试法 | 第21-24页 |
| ·条件测试法 | 第24-25页 |
| ·数据流测试法 | 第25页 |
| ·测试覆盖分析及其标准 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 3 基于着色Petri网的测试用例生成方法 | 第27-46页 |
| ·完全路径覆盖测试方法 | 第27-31页 |
| ·非完全路径 | 第27-28页 |
| ·完全路径 | 第28-31页 |
| ·着色Petri网的可达图及其可达树和覆盖树的构造方法 | 第31-36页 |
| ·Petri网概述 | 第31-32页 |
| ·基本Petri网 | 第32-33页 |
| ·着色Petri网 | 第33-34页 |
| ·可达图和可达树及其覆盖树的构造 | 第34-36页 |
| ·广度优先搜索 | 第36-37页 |
| ·测试用例生成 | 第37-45页 |
| ·测试用例 | 第37-39页 |
| ·基于规范的测试用例生成 | 第39页 |
| ·基于模型的测试用例生成 | 第39-40页 |
| ·UML模型 | 第40-42页 |
| ·UML模型到CPN模型的转换 | 第42-44页 |
| ·测试路径和测试数据生成 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 4 基于着色Petri网的测试用例生成方法在RBC切换中的应用 | 第46-73页 |
| ·着色Petri网性能和建模方法 | 第46-48页 |
| ·基本Petri网性能 | 第46-47页 |
| ·着色Petri网行为特性 | 第47-48页 |
| ·着色Petri网建模方法 | 第48页 |
| ·RBC切换概述 | 第48-49页 |
| ·RBC切换的信息交互和状态转移 | 第49-55页 |
| ·RBC切换的CPN层次模型 | 第55-72页 |
| ·整体(首层)模型 | 第56-57页 |
| ·移交RBC模型 | 第57-59页 |
| ·接收RBC模型 | 第59-60页 |
| ·RBC切换时的车载模型 | 第60-62页 |
| ·测试用例生成和评价 | 第62-72页 |
| ·本章小结 | 第72-73页 |
| 5 结论与展望 | 第73-74页 |
| ·结论 | 第73页 |
| ·展望 | 第73-74页 |
| 参考文献 | 第74-77页 |
| 附录A | 第77-78页 |
| 作者简历 | 第78-80页 |
| 学位论文数据集 | 第80页 |