城轨嵌入式软件自动化测试框架的设计与实现

为了提高城轨嵌入式软件的测试效率,提出一种面向服务的城轨嵌入式软件自动化测试框架。指出城轨嵌入式软件自动化测试的难点,给出相应的自动化测试策略;阐述自动化测试框架的主要功能与架构,并给出一种基于面向服务的架构（SOA,Service Oriented Architecture）的测试平台实现及测试流程;通过该框架的使用实例和测试效果,表明该框架具备良好的通用性、扩展性和实时性,适用于城轨嵌入式软件的自动化测试。     

自动化测试技术在网络控制软件测试中的应用

描述了对图形化编程软件进行自动化测试的方法,包括设计、执行、数据记录和结果分析。该方法能自动分析测试数据并形成测试结果,且能重复执行。与手工测试的方法进行对比,有效证明了自动化测试不仅能高效地检测出软件中的错误,还能减少测试时间、人力和硬件资源的投入,提高测试效率,节省测试成本。     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

铁路计算机联锁系统仿真测试平台的研究

针对目前计算机联锁系统采用人工测试存在的测试不充分、效率低下等问题,提出一种可进行联锁系统功能自动化测试的仿真测试平台设计方案。该方案通过分析联锁系统的系统结构以及人工测试流程,确定仿真测试平台的设计思路和实现方式,最终实现联锁功能的自动化测试目标。     

基于场景模拟的地铁ATS软件自动化测试系统

为适应快速交付可靠的地铁ATS软件产品的要求,开发了基于场景模拟的地铁ATS软件自动化测试系统。介绍系统构成、主要功能设计、测试环境部署与配置、测试用例设计及测试流程。测试系统由被测对象服务器、模拟集成服务器和测试管理服务器构成,将ATS系统内部环境的模拟与ATS系统外部环境的模拟分离,可降低ATS软件仿真测试系统的复杂度。利用虚拟机技术搭建模拟测试环境,设计基于场景模拟的测试用例,将被测试的ATS软件功能项与运营场景结合,使用基于一个场景模拟的测试用例即可验证多个功能项组合的正确性;通过不断优化和积累复用基于场景模拟的测试用例,可显著提高ATS软件的测试效率;此外,测试系统可自动生成测试报告。以上海地铁1号线信号系统升级项目为例,详细描述该项目中ATS软件的自动化测试过程。     

变电所高压设备测试系统虚拟化设计

通过对牵引供电系统高压变电设备的测试要求及测试现状的介绍，提出一种性能价格比（以下简称性价比很高的高压综合测试系统硬软件结构，该系统采用虚拟化技术，使系统的硬件结构达到尽可能优化和通用化，功能完全采用软件实现，具有可扩展性，从而使系统满足各类不同型号高压变电设备的自动化测试任务。     

嵌入式软件通用仿真测试平台研究

针对嵌入式软件的特性及其测试环境存在的一些弊端,研究提出了一种基于dSPACE软硬件架构+故障注入系统的较为通用的仿真测试平台,可实现实时仿真、自动化测试、测试管理、故障注入等"四维一体"的需求,并介绍了该嵌入式软件通用仿真测试平台的系统架构、工作原理及通用能力。通过DCU软件自动化测试实例化的实践应用,验证了该平台可有效提高嵌入式软件的仿真测试效率和测试质量。     

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

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

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

RSSP-II安全通信协议软件的自动测试设计及实现

RSSP-II安全通信协议软件是铁路通信领域安全产品,其软件功能测试采用SDP专项测试工具实现自动化测试,从而提高了测试效率和测试规范性。提出RSSP-II软件自动化测试框架,通过测试引擎和脚本的联合设计来实现测试过程中的错误注入,对软件产品进行了多轮次自动化测试,并将专项测试工具推广应用于半实物软硬件集成测试。     

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

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

铁路互联网售票系统自动化测试研究与实现

鉴于铁路互联网售票系统规模庞大、业务复杂、升级频繁等特点,引入自动化测试以进一     

基于关键字驱动的自动化测试技术在大数据平台上的应用

随着互联网业飞速发展及“大数据”概念的提出，为提高大量B/S架构应用的测试效率，本文利用关键字驱动测试技术，设计开发了一款基于关键字测试脚本的B/S架构应用自动化测试工具——EasyWT，实现了对Web页面的控件抽取、录制、激励、验证等功能，基本实现了一个标准化的测试流程。并使用EasyWT在铁路大数据平台上进行了实践应用，结果表明，系统能够完整地完成自动化测试的全部工作；同时针对实践过程中遇到的一些问题，提出了一些改进及优化方案。     

基于故障注入的CBTC车载测试技术研究

CBTC车载系统作为安全苛求系统,对其进行完备的硬软件测试具有很高的学术意义和社会价值,然而目前国内相关的测试规范非常稀缺,安全评估也有着很大的空白,所以在进入工程应用之前对其进行严苛的安全性测试就更为重要。本文提出一种自动化的测试框架,引入故障注入的测试方法,加强系统的揭错、纠错能力,具有很高的应用价值。     

城市轨道交通自动售检票系统专用读写器测试平台

为提高城市轨道交通自动售检票系统专用读写器性能的安全可靠性及其工作稳定性,分析了读写器测试的主要内容,描述了测试平台的硬件结构。详细论述了开发研究测试软件的主要模块,并重点研究分析测试软件的接口函数。介绍了研发出的具有图形用户操作界面的测试软件。经测试,该软件指令丰富,能够满足对读写器的各项测试要求。     

铁路电子支付平台信息技术应用创新适配测评指标体系研究

文章研究适配验证测试方法，提出铁路电子支付平台与国产化基础软件的适配测评指标体系，并搭建测试环境，对铁路电子支付交易处理、对账结算、统计查询等关键模块的兼容性、功能及性能适配进行测试。适配测评的研究和验证结果可为制定铁路电子支付平台信息技术应用创新（简称：信创）改造技术方案提供理论和实验支撑。     

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

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

面向Web端财务类系统的软件测试方法

随着铁路信息化发展战略的推进和实施，Web端财务类系统已广泛应用于铁路系统。针对传统的瀑布模型迭代开发中测试覆盖程度不全的问题，文章分析了软件生命周期各个阶段的测试重点，结合财务类软件业务特性，提出了双V模型在Web端财务类软件测试中的应用方法，详细介绍测试阶段中单据测试、流程测试、安全测试、压力测试和兼容性测试的测试重点和测试方法，实现了软件全生命周期的测试管理。