缺陷分析在软件系统测试中的应用

软件系统测试是在实际运行环境下对计算机系统进行一系列的严格有效的测试来发现软件的潜在缺陷;可以根据缺陷状态来判断测试进展情况,开发人员的编程质量,修正缺陷的进度。通过缺陷的分析,可以完成软件产品质量的评估,确定测试是否达到结束的标准,判定测试是否已满足规定的需求。     

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

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

铁科院电子所6项软件产品通过中国软件评测中心的测试

截止到2009年12月底,中国铁道科学研究院电子计算技术研究所（北京经纬信息技术公司）完成年度6项产品的软件产品测试工作,并取得了由中国软件评测中心颁发的“软件产品测试证书”。该6项产品分别是：动车基地管理信息系统;动车运用所管理信息系统;动车组乘务叫班管理系统;动车组检修管理手持机应用系统;铁路车辆运行动态品质动态监测系统;应用数据交换平台系统。     

轨道交通车辆软件开发过程中的质量保证措施

基于EN 50128标准提出轨道交通车辆软件系统全生命周期质量管控策略。在遵循国际标准认证的质量管理体系框架内,定义适合轨道交通车辆软件产品生命周期模型及各阶段质量保证任务。针对软件生命周期各阶段不同质量任务,全面阐述软件需求、架构设计、软件编码、软件测试及维护运营等各阶段保证软件质量的管理方法和措施。通过制定并运用软件需求检查清单、安全性设计技术、编码规范、验收测试标准、维护变更管理等质量审核手段,来保障软件产品的质量要求。     

CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法.按照CMD系统地而综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题.     

基于C++Test的嵌入式软件单元动态测试

以车载辅助变流器平台软件单元动态测试活动为例,重点阐述了如何利用C++Test测试工具进行嵌入式软件单元动态测试的技术与方法,主要包括嵌入式软件单元测试环境的构建、函数的插桩、测试用例编制与执行以及覆盖率统计等关键内容,以指导软件开发与测试人员有效开展单元测试活动。     

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

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

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

基于SmartUnit的安全通信系统单元测试用例自动生成

轨道交通信号通信系统的结构越来越复杂,人工统计分析已经不能满足对现有软件详尽评价目标,使用测试用例自动化生成工具的需求日趋明显。SmartUnit是针对嵌入式软件生成高代码覆盖率的单元测试用例自动化生成工具。它基于动态符号执行技术,可以实现单元测试用例的去冗余,满足语句、分支以及修正条件判定覆盖(MC/DC覆盖准则)。本文介绍了SmartUnit技术,及其如何自动生成信号通信系统中的单元测试用例,并将生成的单元测试用例与TestBed单元测试工具实现无缝对接。     

软件安全性分析技术在基于通信的列车控制车载子系统中的应用

软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。