基于动态规划的CTCS-1级列控系统测试序列自动生成方法研究
致谢 | 第5-6页 |
摘要 | 第6-7页 |
ABSTRACT | 第7-8页 |
1 绪论 | 第12-20页 |
1.1 研究背景及意义 | 第12-13页 |
1.2 国内外研究现状 | 第13-17页 |
1.2.1 列控系统测试研究现状 | 第13-16页 |
1.2.2 测试序列生成方法研究现状 | 第16-17页 |
1.3 论文的研究内容及结构 | 第17-20页 |
2 CTCS-1级列控系统测试方法 | 第20-28页 |
2.1 CTCS-1级列控系统简介 | 第20-24页 |
2.1.1 系统结构及工作原理 | 第20-21页 |
2.1.2 系统工作模式及模式转换 | 第21-22页 |
2.1.3 典型运营场景 | 第22-24页 |
2.2 列控系统测试简介 | 第24-26页 |
2.2.1 实验室仿真测试 | 第24-25页 |
2.2.2 现场测试 | 第25页 |
2.2.3 联调联试 | 第25页 |
2.2.4 互联互通测试 | 第25-26页 |
2.3 测试案例与测试序列 | 第26-27页 |
2.3.1 测试案例 | 第26-27页 |
2.3.2 测试序列 | 第27页 |
2.4 本章小结 | 第27-28页 |
3 基于动态规划的测试序列生成算法 | 第28-50页 |
3.1 问题的描述与解决方案 | 第28-29页 |
3.1.1 问题的描述 | 第28-29页 |
3.1.2 总体设计方案 | 第29页 |
3.2 案例串接顺序的优化设计 | 第29-39页 |
3.2.1 案例间距离的评估 | 第29-34页 |
3.2.2 基于动态规划的案例串接 | 第34-39页 |
3.3 测试地点的优化设计 | 第39-42页 |
3.3.1 测试地点的差异度评价 | 第39-40页 |
3.3.2 基于动态规划的测试地点选择 | 第40-42页 |
3.4 配合条件的添加 | 第42-43页 |
3.5 测试序列自动生成示例 | 第43-49页 |
3.6 本章小结 | 第49-50页 |
4 测试序列的合理性验证 | 第50-72页 |
4.1 测试序列的合理性 | 第50-51页 |
4.1.1 合理性验证的必要性 | 第50页 |
4.1.2 合理性验证标准 | 第50-51页 |
4.2 基于专家系统的测试序列合理性验证方法 | 第51-52页 |
4.3 知识库的设计 | 第52-61页 |
4.3.1 知识的获取 | 第52-53页 |
4.3.2 知识的整理 | 第53-59页 |
4.3.3 知识的表示 | 第59-61页 |
4.4 测试数据的获取和结构 | 第61-65页 |
4.4.1 测试数据的结构 | 第62-63页 |
4.4.2 测试序列数据的获取 | 第63-64页 |
4.4.3 测试线路数据的获取 | 第64页 |
4.4.4 测试规范数据的获取 | 第64-65页 |
4.5 测试序列的合理性验证方法 | 第65-70页 |
4.5.1 基于CLIPS的状态推理 | 第65-66页 |
4.5.2 状态的比较 | 第66-67页 |
4.5.3 测试序列的合理性验证 | 第67-69页 |
4.5.4 测试序列合理性验证示例 | 第69-70页 |
4.6 本章小结 | 第70-72页 |
5 测试序列自动生成工具的设计与实现 | 第72-84页 |
5.1 系统总体设计 | 第72页 |
5.2 系统总体设计 | 第72-75页 |
5.2.1 系统结构 | 第72-73页 |
5.2.2 系统总体流程 | 第73页 |
5.2.3 数据库总体设计 | 第73-75页 |
5.3 系统详细设计与实现 | 第75-83页 |
5.3.1 案例串接顺序计算模块 | 第75-76页 |
5.3.2 测试地点选择模块 | 第76-77页 |
5.3.3 合理性验证模块 | 第77-78页 |
5.3.4 界面设计 | 第78-83页 |
5.4 本章小结 | 第83-84页 |
6 结论 | 第84-86页 |
6.1 总结 | 第84-85页 |
6.2 展望 | 第85-86页 |
参考文献 | 第86-90页 |
图索引 | 第90-92页 |
表索引 | 第92-94页 |
作者简历及攻读硕士学位期间取得的研究成果 | 第94-98页 |
学位论文数据集 | 第98页 |