原文传递
基于模型的列控系统测试用例自动生成研究
| 论文题名： | 基于模型的列控系统测试用例自动生成研究 |
| 关键词： | 车载设备;列控系统;测试用例;自动生成 |
| 摘要： | 伴随着经济的快速发展，国家加大了在铁路运输事业的投资，中国高铁在近些年取得了卓越的成绩，四纵四横铁路快客通道和六大城际快客系统的实现，形成了高速铁路网的网络效应，对现有交通运输格局产生了较大影响。在我国铁路事业飞速发展面前，列车运行控制系统的安全性、实时性和高效性成为了人们关注的焦点。作为CTCS-3级列控系统核心的车载设备上道使用前应进行全面的测试。测试的基础是测试用例的生成，目前车载设备测试用例是根据专家经验通过启发的方式得到，这种方式既耗时，又不能保证测试的覆盖度。所以，有必要在保证测试覆盖度的前提下将测试用例的生成过程自动化。 论文主要研究CTCS-3级列控系统车载设备测试用例自动生成方法，实现了由时间自动机模型提取生成测试用例，再由测试用例串联成供仿真平台使用的测试序列，最后依托仿真平台执行测试序列并显示执行步骤和测试结果。论文首先介绍了车载设备的构成和测试的相关概念，提出了车载设备测试用例自动生成的必要性和可行性;接着使用UPPAAL软件对列车注册与启动运营场景中的车载设备、RBC和司机进行建模，并从功能和性能两方面对所建立的模型进行了验证;然后引出基于覆盖度的测试用例自动生成算法，并介绍了基于此算法的辅助工具Cover，运用此工具成功自动生成车载设备测试用例;最后，介绍了CTCS-3级列控系统仿真平台，将自动生成的测试用例组织串联成供平台使用的测试序列，并执行该序列，对车载设备功能进行测试。测试序列的自动生成和仿真平台测试序列的自动执行为车载设备自动化测试的实现奠定了基础。 |
| 作者： | 周晶晶 |
| 专业： | 智能交通工程 |
| 导师： | 李开成 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2013 |
| 正文语种： | 中文 |
检索历史
应用推荐
