论文部分内容阅读
基于我国铁路目前及未来发展的需要,鉴于欧洲ETCS的成功做法,铁路相关部门提出了适应我国国情的中国列车控制系统(CTCS),并确定300km/h及以上高速铁路和客运专线采用CTCS-3作为全线统一技术平台体系。现在CTCS-3列控系统已经在我国多条300km/h高速铁路上成功应用。无线闭塞中心(RBC)是CTCS-3列控系统的核心设备,确保RBC系统满足系统需求规范(SRS)对于保证铁路行车安全具有重要意义。在RBC系统投入实际运营之前做一个完整的功能测试是必不可少的。而RBC系统逻辑相对复杂,设计和开发一种实用的RBC功能测试方法显得甚是必要。当前,无线闭塞中心(RBC)的功能测试工作在国内才刚刚起步,对RBC功能测试方法的研究在现阶段具有重要性和开创性。本论文研究基于脚本驱动的RBC功能测试方法。首先介绍了CTCS-3列控系统的基本原理,分析了RBC系统的功能需求,并简要介绍了RBC系统与外部系统的各个接口；然后提出了基于脚本驱动的RBC功能测试平台,简要介绍了测试平台的结构以及各个模块的功能；接着阐述了依据CTCS-3列控系统规范和总体技术方案分割RBC功能实体并对功能实体进行逐层细化而获取功能特征的方法,以及对RBC运行场景使用UML建模工具建立模型,依据所得模型对每个功能特征设计对应的测试案例的方法；其次介绍了依据RBC全局状态划分测试框架,并在各个测试框架内串接测试案例而构建测试子序列,以及对测试子序列使用蚁群算法优化生成测试序列的方法和措施；最后详细阐述了基于脚本驱动的RBC功能测试平台的设计与具体实现：对于RBC测试平台数据库管理工具部分(即RBC功能测试平台的离线部分),论文从软件构架和数据库设计两个角度详细论述了其设计与实现,而对于RBC在线测试平台部分(即RBC功能测试平台的在线部分),论文则详细介绍了各个模块的设计与实现。另外,论文最后还对一个RBC仿真器进行了测试,以验证基于脚本驱动的功能测试方法在RBC功能测试中的可行性。经过实验表明,本文所提出的基于脚本驱动的RBC功能测试方法是完全可行的,而且具有测试成本低、测试环境搭建相对容易等优点。