城市轨道交通车站一体化操作系统的软件系统测试

软件测试是提高软件质量的一种有效方法.根据城市轨道交通车站一体化操作系统(SIOS)的软件系统测试内容,选取基于黑盒测试技术的功能分解法对SIOS软件各功能模块进行了集成测试,并结合具体测试用例阐述了相关测试内容和方法.     

基于OpenCV的计算机联锁自动测试系统研究

针对当前国内计算机联锁软件测试中存在的人工测试效率低、第三方测试难度大、严重依赖测试人员技术水平问题，基于OpenCV图像处理技术、AutoItX自动测试库，设计并实现了计算机联锁自动测试系统。系统通过计算机联锁上位机界面采用图像处理技术获取铁路站场数据；基于站场数据，采用进路搜索算法生成站场联锁表，进而基于联锁表生成相关测试用例；对测试用例编写测试脚本，实现对计算机联锁系统的自动测试。研究结果表明，该系统实现了第三方对计算机联锁系统的自动测试，能够有效地减少人工操作，在降低对测试人员技术水平的要求的同时提高了测试效率。     

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

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

一种针对全自动运行系统的测试用例生成方法

针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法 ;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。     

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

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

基于传统测试经验的计算机联锁自动测试脚本设计研究

借鉴传统测试经验，对脚本驱动型自动测试系统的测试脚本设计进行研究。以EI32-JD型计算机联锁系统软件为例，从传统测试用例库中筛选出适合执行自动测试的相关用例，并通过举例说明实现自动测试脚本的转化过程。经过转化、优化、验证、改进等过程形成的自动测试脚本，不仅继承了传统测试用例的优点，又利用自动测试的优势弥补了传统测试的缺陷，可以有效减少因联锁车站软件测试方案变更带来的风险，也为自动测试工具的工程化应用做好铺垫。     

计算机联锁处理子系统的自动化测试平台及其应用

对计算机联锁处理子系统(IPS-200)的软件测试现状进行分析,提出了一种自动化测试平台。通过测试脚本自动执行测试用例,显著提高了计算机联锁产品的软件集成度,以及确认回归测试的准确性和效率。     

基于LKJ软件测试用例自动生成的技术研究

为解决列车运行监控装置(LKJ)自动化测试中测试用例编辑和维护困难的问题,利用关键信息抽象和图形建模等方法对LKJ软件测试用例自动生成技术进行研究。通过对测试用例进行模块划分、参数设计和程序流程图方式建模,实现测试用例的批量生成。该技术已在LKJ-15S的自动化仿真测试系统中得到应用,经验证,可以提高测试用例编写效率并缩减约90%的冗余用例。     

计算机联锁系统自动测试系统研究

针对如何持续提升联锁软件测试的有效性和测试效率这一问题,分析计算机联锁软件自动测试的需求,以灰盒测试为思想,采用层次化框架结构,设计实现一种基于脚本驱动的自动测试系统。该自动测试软件能够提升计算机联锁测试效率,保障联锁测试的可靠性。     

基于测试的应答器车载设备安全分析方法研究

为了能够使自主研发的应答器车载设备系统达到欧洲铁路标准产品的要求。在应答器车载设备系统的研发过程中,需要严格依据欧洲铁路标准SUBSET-036的要求来进行研发,同时,为了保证产品在全生命周期内能够达到较高的安全完整性等级,在产品研发过程中,需要全面贯彻IEC62278和IEC62425中的安全需求,即基于风险的安全设计理念。采用HAZOP和FMECA识别风险并制定相应的风险减轻措施,在应答器设计时,将风险减轻措施作为应考虑的安全输入条件贯彻在设计中,以确保产品风险被控制在一个可接受的水平。最后选取4个安全需求功能的测试用例,经过反复多次的确认测试,其测试通过率均达到100%,证明其安全需求均在应答器车载设备系统设计中给以满足。最终的测试用例结果表明,该自主研发的应答器车载设备系统满足列车运行控制系统的安全完整性等级的运用要求。     

基于UML的列车自动防护系统测试用例生成方法研究

文章研究基于UML的列车自动防护系统测试用例的生成方法.对基于UML的列车自动防护系统测试技术进行分析,采用UML生成XML测试脚本的3层设计方法,分别从概念层、逻辑层和物理层对列车自动防护系统进行描述,通过转换规则与对应关系,生成XML Schema形式的测试用例.     

基于拓扑调度的自动化测试方法的研究

本文给出了一种基于拓扑调度的自动化测试系统的设计方法,该方法根据测试任务中测试用例与拓扑的关联性,采用基于拓扑调度的方式,并行运行测试任务中的多个测试用例.详细分析了任务调度方式的特点,在此基础上给出了拓扑调度的基本原理及优势,并应用到实际的自动化测试中,验证了该方法的高效性.     

城市轨道交通ATP车载设备测试用例生成方法

根据对城市轨道交通ATP车载设备功能的分析,搭建了模拟车辆外部接口的城市轨道交通ATP车载设备测试环境,确定了测试ATP车载设备的10个安全输入参数和7个非安全输入参数。基于输入参数建立了可变强度覆盖矩阵,并利用回溯搜索算法优化出由20个用例组成的ATP车载设备测试用例集。测试结果表明,给出的测试用例只有穷举测试法的1%,而测试的有效性达90%以上,能够对ATP车载设备功能进行高效和可靠的测试,并大大降低了测试成本,从而验证了ATP车载设备测试用例生成方法的有效性。     

软件测试技术在铁路产品开发过程的运用与探讨

为了确保铁路产品质量,有必要在产品设计和开发阶段进行严格把关,找寻产品内部潜在的安全隐患。软件测试是质量保证的重要组成部分,对软件测试技术在产品开发过程中地运用进行了探讨,并提出了相关测试流程,在软件生命周期各阶段采用的测试技术,以及针对不同类型的项目采用的测试模型。     

基于UML2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.     

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

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

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

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

基于成对组合的遗传算法生成联锁测试用例

计算机联锁自动测试的质量往往取决于测试用例的质量.本文提出一种新的设计思想:将基于成对组合覆盖的遗传算法用于计算机联锁测试用例的生成和优化,并以道岔测试为例对该算法的应用过程进行详细分析,重点介绍成对组合覆盖方法、算法的整体框架和遗传操作设计.采用遗传算法对成对组合的启发式算法AETG进行改进,有效地减少了冗余的测试用例,提高测试用例质量和联锁测试效率.     

基于Quality Center的测试管理

Quality(以下简称QC)是惠普(HP)推出的针对软件产品整个生命周期的Web浏览器环境下的测试管理工具.它将测试管理的各个部分集成在一个应用系统中,包括需求管理、测试计划、测试执行、缺陷管理以及统计分析等功能,通过QC的流程控制可以规范、管理软件测试过程、保证测试对需求的覆盖,减轻测试人员的负担、提高工作效率.     

一种全覆盖的列控车载系统测试用例自动生成算法研究

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。