| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第12-18页 |
| 1.1 CTCS-3级列车运行控制系统 | 第12页 |
| 1.2 研究背景及意义 | 第12-13页 |
| 1.3 相关研究现状 | 第13-16页 |
| 1.4 论文主要工作 | 第16-18页 |
| 2 CTCS-3级测试案例完备性验证的关键问题分析 | 第18-28页 |
| 2.1 CTCS-3级列控系统测试简介 | 第18-24页 |
| 2.1.1 CTCS-3级列控系统测试过程概述 | 第18-19页 |
| 2.1.2 CTCS-3级列控系统测试案例 | 第19-24页 |
| 2.2 需求跟踪关系建立问题的转化 | 第24-25页 |
| 2.3 CTCS-3级测试案例完备性验证关键问题的确定 | 第25-26页 |
| 2.4 本章小结 | 第26-28页 |
| 3 基于EVENT-B和因果图法的测试案例完备性验证 | 第28-66页 |
| 3.1 CTCS-3级测试案例的完备性验证方法设计 | 第28-40页 |
| 3.1.1 EVENT-B方法及RODIN平台 | 第28-34页 |
| 3.1.2 因果图法 | 第34-38页 |
| 3.1.3 基于EVENT-B和因果图法的测试案例完备性验证方法设计 | 第38-40页 |
| 3.2 基于EVENT-B的SRS建模及验证 | 第40-48页 |
| 3.3 从EVENT-B模型到因果图的模型转换 | 第48-54页 |
| 3.3.1 EVENT模型和因果图模型的对应关系分析 | 第48-49页 |
| 3.3.2 EVENT-B模型的改写规则设计 | 第49-51页 |
| 3.3.3 从EVENT-B模型到因果图的映射规则设计 | 第51-54页 |
| 3.4 基于改进遍历式回溯算法的SRS判定表生成 | 第54-55页 |
| 3.5 测试案例的因果图建模及判定表生成 | 第55-58页 |
| 3.6 测试案例完备性衡量依据的确定 | 第58-61页 |
| 3.6.1 基于SRS判定表的测试充分性准则 | 第58-60页 |
| 3.6.2 基于SRS判定表的覆盖域生成 | 第60-61页 |
| 3.7 测试案例完备性对比验证的流程设计 | 第61-63页 |
| 3.8 本章小结 | 第63-66页 |
| 4 CTCS-3级测试案例完备性自动验证工具的设计与实现 | 第66-88页 |
| 4.1 CTCS-3级测试案例完备性自动验证工具的功能需求分析 | 第66页 |
| 4.2 CTCS-3级测试案例完备性自动验证工具的总体设计 | 第66-69页 |
| 4.3 模型转换模块的设计与实现 | 第69-74页 |
| 4.4 因果图建立模块的设计与实现 | 第74-78页 |
| 4.5 判定表生成模块的设计与实现 | 第78-83页 |
| 4.6 完备性对比验证模块的设计与实现 | 第83-85页 |
| 4.7 本章小结 | 第85-88页 |
| 5 实例验证 | 第88-116页 |
| 5.1 待机模式下模式转换功能测试案例的完备性验证 | 第88-101页 |
| 5.1.1 待机模式下模式转换功能简介 | 第88-89页 |
| 5.1.2 待机模式下模式转换功能SRS的EVENT-B建模及验证 | 第89-92页 |
| 5.1.3 待机模式下模式转换功能EVENT-B模型的转换及判定表生成 | 第92-97页 |
| 5.1.4 待机模式下模式转换功能测试案例的因果图建模及判定表生成 | 第97-99页 |
| 5.1.5 待机模式下模式转换功能测试案例的完备性验证结果 | 第99-101页 |
| 5.2 RBC切换功能测试案例的完备性验证 | 第101-114页 |
| 5.2.1 RBC切换功能简介 | 第101-103页 |
| 5.2.2 RBC切换功能SRS的EVENT-B建模及验证 | 第103-106页 |
| 5.2.3 RBC切换功能EVENT-B模型的转换及判定表生成 | 第106-110页 |
| 5.2.4 RBC切换功能测试案例的因果图建模及判定表生成 | 第110-112页 |
| 5.2.5 RBC切换功能测试案例的完备性验证结果 | 第112-114页 |
| 5.3 本章小结 | 第114-116页 |
| 6 结论与展望 | 第116-118页 |
| 6.1 结论 | 第116页 |
| 6.2 展望 | 第116-118页 |
| 参考文献 | 第118-122页 |
| 图索引 | 第122-124页 |
| 表索引 | 第124-126页 |
| 作者简历及攻读硕士学位期间取得的研究成果 | 第126-130页 |
| 学位论文数据集 | 第130页 |
