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

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

一种高效的计算机联锁软件测试方法

针对联锁软件测试效率低的问题,本文提出一种基于进路控制过程的高效率联锁软件测试方法.功能测试项按照进路选择、进路锁闭、信号开放、进路解锁的过程进行优化组合,每个测试项对应的测试案例按照进路控制过程进行组合,减少重复操作,生成优化的测试序列.通过具体站场的应用,证明该方法可以完全覆盖联锁系统的控制逻辑,保证了测试完备性.同时,测试操作重复度得到降低,测试效率提高约30％,减少了测试成本,缩短了联锁系统软件的测试时间.     

网络控制应用开发软件合格性测试浅析

按照网络应用开发软件的高可靠性要求,阐述了软件测试流程与软件测试用例设计方法等方面的内容,并对测试实践经验加以总结。通过网络控制应用开发软件合格性测试,软件可靠性得到有效保证。     

自动化测试中设备管理工具的开发

自动化测试是软件测试走向成熟化、标准化的重要标志.本文针对特定的自动化测试环境,开发了3个测试设备的管理工具,便于在执行自动化测试前,对测试设备进行合理的管理、分配及检测,以及时发现设备的问题,有效地减少测试人员的工作量,提高工作效率.     

基于改进sPSO算法的测试数据自动生成方法研究

自动化测试可以有效地提高软件测试效率,降低软件开发成本,而测试数据自动生成是自动化测试中的重要环节.本文从基本粒子群算法入手,进行简化后,针对其特点和不足从收敛速度和收敛精度两方面对其进行改进,提出了一个利用改进后的sPSO算法自动生成测试数据的系统模型,并结合实例予以说明.     

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

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

基于LabVIEW的地铁车辆控制单元软件测试系统

介绍了地铁车辆控制单元软件测试系统的结构组成和LabVIEW程序实现。以广佛线为例,给出了AW3载重、网压1500V条件下,牵引力和速度在一段时间的测试波形。测试结果表明,牵引力对速度的特性与牵引计算报告一致,从而验证了VCU软件的牵引控制部分逻辑正确。     

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

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

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

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

软件测试中可能存在的问题及分析解决

探讨软件企业中测试资源不充足情况下的软件测试管理。文中前两部分简要介绍了软件测试管理及测试的范围、方法及重要性,之后对当前国内中小型软件企业在测试及测试管理中可能存在的问题进行了介绍与分析,最后介绍了一些解决方法。     

CTCS2-200C列控车载设备软件测试方法研究

简要介绍了CTCS2-200C列控车载设备和Ada语言;研究了CTCS2-200C列控车载设备的软件测试方法,采用Undertand进行软件静态测试,采用VectorCAST进行动态测试。通过使用2种自动化测试工具,提高了软件测试的效率,也为其他安全相关软件的测试提供了参考。     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

对Delandtsheer的一个结果的置疑

本文证明了关于分划的一个定理，利用这个定理，发现了１中推论１３的证明中的错误，然后修改了该推论，并给出了证明。     

PLC、触摸屏仿真软件在交通信号灯系统设计中的应用

以交通道口信号灯控制系统的开发为例,论述了PLC、触摸屏仿真软件在控制系统开发中的应用。采用三菱公司的GX Developer软件编写PLC控制程序、GX Simulator仿真软件测试PLC控制程序、触摸屏软件GTDesigner2设计人机对话窗口、触摸屏仿真软件GTSimulator2检验人机对话窗口,并将其与PLC程序连接,对整个控制系统进行联机通讯仿真。经实验证明,该虚拟仿真方法开发控制系统方便灵活、危险性低、可重复操作性强,不但能够大大地缩短系统研发周期,还可以有效降低系统研发成本。可应用于高等院校实践教学、现代化企业的人员培训。     

TCL脚本语言在车载自动防护系统自动测试中的应用

目前,对CTCS-2级列控系统车载ATP(列车自动防护)进行测试主要使用人工测试方法.人工测试存在效率低、工作强度大等缺点.对车载ATP进行自动测试具有将测试人员解放出来,提高测试效率等优点.在自动测试中,测试脚本扮演着重要角色,它负责与车载ATP自动交互信息,控制测试过程并对测试结果做出判断.介绍了利用TCL(工具命令语言)脚本语言编写车载ATP测试案例脚本的方法,并举例说明了根据测试案例编写测试案例脚本的方法.通过试验,证明利用TCL脚本语言编写车载ATP测试案例脚本是方便而高效的,介绍的根据测试案例编写测试案例脚本的方法是正确可行的.     

软件测试中测试模型的应用

用软件测试模型指导软件测试工作,可以提高软件测试的效率,保障软件产品的质量。重点介绍几种软件测试模型及其在软件测试工程中对软件质量把控所起的作用,总结每种模型的优缺点,以便在不同的测试项目中选取和使用。     

车站信号计算机联锁设备仿真测试系统研究

计算机联锁系统(CIS)是安全苛求系统,针对目前计算机联锁系统的安全测试以软件测试、人工操作为主,存在测试不完备、效率低,远离实际应用等问题,提出了一种自动化联锁仿真测试方案,并结合工程以实际的计算机联锁系统为对象研制出联锁仿真测试系统,实测结果表明:该系统功能完善,达到了完备、高效安全测试的目的.     

基于软件测试平台的车站现场仿真

论述了对微机联锁安全软件进行测试评估时现场信号设备的建模仿真问题，提出了模型的建立方案并给出仿真软件的程序结构。该仿真系统为软件测试提供了一个动态的虚拟站场，是测试自动化、高时效的重要保障。本论文所反映的研究成果正在实验室得到实现。     

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

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

基于Quality Center的测试管理

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