自动仿真测试平台在联锁车站软件测试中的应用研究

联锁车站软件是计算机联锁通用软件针对具体工程的特殊应用。采用自动仿真测试平台进行联锁车站软件测试,虽然较传统人工测试存在优越性,但同时也带来一定的应用风险。为此,采用功能FMECA方法识别自动仿真测试平台的高风险失效模式,并制定风险控制措施;以此为基础设计出一种应用自动仿真测试平台的联锁车站软件测试方案;最后对该方案采用过程FMECA方法进行验证。结果表明,该方案在满足既有测试需求的基础上,对仿真测试平台的相关风险均实现了有效控制,从而保证了联锁车站软件测试的质量。     

动车组车号识别与定位仿真子系统的研究

动车段(所)控制集中仿真测试平台是对动车段(所)控制集中系统(CCS)软件数据进行准确性验证、软件功能进行全面测试及评估的平台。动车组车号识别与定位仿真子系统作为该测试平台的一个子系统,具有录入动车组车列位置与车号信息、实现车号识别与动车组位置定位模拟等相关功能。针对该子系统在实验室软硬件联调成本高、周期长、无法自动联动等问题,设计研究了一套适用于CCS测试及演示的动车组车号识别与定位仿真子系统,分别从功能分析、结构设计、模块划分及实现4个方面进行阐述,论证该子系统能够满足不同动车段(所)CCS前期开发调试与测试目标,对进一步完善CCS系统具有重大意义。     

铁路统一开发测试平台体系架构及技术路线的研究

基于铁路信息化总体规划及业务应用系统研发测试的需要，引入云计算技术，提出基于云平台的铁路统一开发测试平台体系架构。利用源代码开发、自动化部署等技术，优化软件开发测试流程，实现应用集中开发管理、资源自动分配、软件自动部署、持续测试、软件快速发布等功能，从而帮助各业务领域快速实现应用软件研发，资源整合，降低成本，提高效益和核心竞争力。     

CTCS-3级列控系统虚拟仿真与网络安全测试平台的设计与实现

为了测试验证网络威胁对高速铁路CTCS-3级列控系统功能的影响,设计实现了高速铁路CTCS-3级列控系统虚拟仿真及网络安全测试平台。该平台采用了软件定义网络、网络功能虚拟化和云计算等技术,并使用主流的网络安全威胁手段对高速铁路CTCS-3级列控仿真系统进行测试验证。     

列车网络控制系统自动化测试平台设计与研究

介绍了列车网络控制系统自动化测试平台的测试功能、设计原理和软件组成。     

TCN网络产品一致性测试平台实现

介绍TCN网络产品一致性测试平台的硬件、软件构架与工作原理,此测试平台可对被测设备进行自动化测试并自动生成测试报告,为不同国家、不同厂商的TCN网络产品之间进行互联、互操作提供保证。     

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

基于分布式组件对象模型(DCOM)构建CBTC车载测试平台的技术

分布式组件对象模型(DCOM)具有快速开发、位置透明及松耦合等特性.它提供了在网络环境中分布式装载程序的灵活性,以及组装程序的便捷性.基于该技术构建的CBTC(基于通信的列车控制)车载设备测试平台具有灵活扩展、通信及时可靠的特性,从而为车载设备相关测试案例的调试、测试平台相关模块的安装及后续测试执行等任务提供了便利,提高了车载设备测试平台的开发效率和准确度.     

对基于嵌入式处理器系统的LKJ2000车载控制软件进行自动黑盒测试的研究与探讨

介绍了一种对基于MC68332嵌入式处理器系统的LKJ2000列车运行监控记录装置车载软件进行自动化黑盒测试方法,总结了如何构架软硬件仿真平台、如何管理测试脚本、以及如何对测试结果进行自动比对的方法。