铁路信号软件单元测试研究

软件测试是保证软件质量的基础,而单元测试更是其中至关重要的一环。针对目前铁路信号软件规模不断增大,形式逐渐复杂化且单元测试不足等现状,分析了软件单元测试的重要性及常用方法,阐述了铁路信号软件单元测试的基本要求和方法步骤,结合区间综合监控系统软件单元测试具体实践,提出了一套完整的单元测试方法,可有效避免错误产生,从而保证铁路信号软件的稳定性与可靠性。

基于VectorCAST平台的铁路信号软件动态测试方法

铁路信号系统软件测试类型按照不同的分类方法可以分成静态测试和动态测试,黑盒测试和白盒测试,手动测试和自动测试等。这些方法适用于不同的测试阶段,且在同一个测试阶段又可结合使用,相辅相成,使软件测试活动的效用最大化。本文结合一种自动测试平台Vector CAST,介绍在集成测试阶段动态测试的软件覆盖率测量方法,结果可以作为动态测试案例集对软件需求覆盖度的评价指标,用于改进和提升动态测试的代码覆盖率,进而提升软件整体的可靠性和安全性。

基于EFSM模型的铁路信号安全软件单元测试技术研究

铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的黑白盒融合单元测试方法。使用自动化测试工具Cantata,以无线超时降级场景为实例,验证该方法是否可以满足测试场景的完备性,并且关注软件结构是否被完全覆盖。根据覆盖结果,对未覆盖原因进行分析,判断是否存在异常场景,并针对未覆盖分支补充测试场景,丰富了测试案例,从而保障了铁路信号系统的可靠性。

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法.首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.

铁路信号系统中安全关键软件的安全分析方法

铁路信号系统中的安全关键软件,在其生命周期内需要有系统性的安全分析方法,保证软件的安全和质量要求。基于铁路信号系统软件EN50128标准的软件开发生命周期模型,提出了基于软件开发周期完整的安全分析流程,并结合轨旁设备安全控制平台开发过程为实施案例,给出了各个阶段实现的具体方法指导,具有系统性和可操作性。解决了轨道交通领域通信信号系统安全关键软件全生命周期安全分析的工程化实现问题,并符合EN50128标准对软件安全保障的相关要求,对安全关键软件的安全保障工作具有重要的工程指导价值。

中铁检验认证中心认证公告 2017年第36号(总第323号)

中铁检验认证中心（CRCC）是经国家认证认可监督管理委员会批准,具有第三方公正地位的产品认证机构,批准号为CNCA-R-2002-102。CRCC在国家认监委批准的范围内,按照国际通行认证模式开展产品认证工作。现将本次经专家工作组评定、CRCC作出认证决定的企业名单（2017年9月11日至2017年9月17日）公布如下。1初次认证企业申请人：江苏铁龙环保设备有限公司生产厂：江苏铁龙环保设备有限公司制造地址：