基于窗口导航有向图的GUI测试覆盖准则

为评估图形用户界面（GUI）测试用例集的充分性,提出了基于窗口导航有向图的覆盖准则.用有向图中的顶点表示GUI中的窗口,弧表示用户输入,描述用户与GUI的交互关系.基于窗口导航有向图,提出了顶层窗口覆盖、用户输入覆盖和n长度用户输入序列覆盖准则,并设计了相应的覆盖率算法.实验结果表明,符合这些覆盖准则的测试用例集能够达到90%语句覆盖率,且使故障发现率达到79%.     

LKJ基本控制软件测试探讨

简要介绍了LKJ系统组成及其基本控制软件的主要功能,并对LKJ基本控制软件测试现状进行分析,结合软件全生命周期的测试理论,提出了建立LKJ基本控制软件测试系统的初步思路,并基于这一思路开发了一套切实可行的LKJ基本控制软件自动测试系统。该系统可以缩短测试周期,实现软件功能全覆盖测试,减轻测试人员的劳动强度。     

EN50128在铁路信号安全软件测试中的应用研究

随着列车的不断提速,铁路信号系统作为保障机车车辆安全有序作业的重要安全设备,其软件的可靠性和安全性直接影响列车的运行安全,对铁路信号安全软件的测试就显得至关重要。通过借鉴欧洲铁路的安全相关技术,以铁路控制和防护系统软件标准EN50128为指导,重点论述了标准中软件测试各阶段的活动情况及独立性的体现,并对此标准在铁路信号安全软件测试过程中的应用进行了分析和研究。     

GJB 5000A《军用软件研制能力成熟度模型》修订对军用软件测试的影响分析

GJB 5000A-2008《军用软件研制能力成熟度模型》的修订始于2018年,修订后的标准将以GJB 5000B的编号发布。本文根据修订后的标准,对软件测试主要涉及的“需求开发与管理、验证与确认、同行评审、运行维护”等领域的目标和实践调整进行了介绍,分析了修订内容在需求获取与分析阶段、需求实现和测试阶段、运行维护阶段对软件测试工作的影响,并对科研单位应如何满足不同等级评价要求给出建议。     

基于UML的微机联锁软件测试系统分析

基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试平台的硬件体系结构及微机联锁软件测试平台。并通过实例进行测试分析,结果表明该方法是有效的。     

TMIS工程软件开发过程中的质量控制和质量保证

对铁道部信息技术中心在承担TMIS工程软件开发项目中,致力于质量管理体系建设,坚持不懈地实施软件开发过程改进,进行质量控制和质量保证,提高过程效率、效果和软件产品质量的方法进行分析、讨论.     

基于JUnit框架的软件测试

介绍了一个对Java程序进行软件测试的标准框架JUnit,及JUnit框架的2个扩展:JUnitPerf和Cactus。通过JUnit以及它的扩展,实现了Java程序测试的自动化,从而降低开发费用,最终使软件质量得到提高。     

基于虚拟ECU的汽车电子软件测试技术研究

为满足功能安全标准及“软件定义汽车”背景下汽车电子软件快速迭代及高质量的需求，以车身控制器安全警示系统为例，提出了一种基于虚拟ECU Silver平台的汽车电子软件测试方法，包括软件单元测试方法及分步式软件集成测试的测试方法；满足汽车电子软件白盒测试的同时，对如何在PC环境下开展应用层软件与底层软件的分步集成测试提供了解决方案，避免了台架或控制器硬件资源等对测试工作的限制，推动了测试前移，提高了测试效率。     

基于牵引控制系统软件安全认证的应用研究

牵引控制系统软件的安全性和可靠性是列车稳定运行的重要因素之一,对其进行安全完整性设计和评估是有必要的。以列车牵引控制系统软件产品的安全认证为例,结合EN 50128:2011标准,对牵引控制系统软件安全完整性评估的技术以及实现方法进行深入研究和实践应用,重点描述依据生命周期流程开展软件设计和软件测试的认证工作,并根据第三方评估机构对整个工作进行总结评估,可为城市轨道交通软件产品的安全认证提供参考依据和借鉴。     

实时多任务控制软件可靠性设计及测试

对发动机电控系统实时软件进行了可靠性设计和测试。按事件触发类型和时间触发类型设计了实时多任务软件,对实时控制软件进行了抗干扰设计、失效恢复设计等可靠性设计;对控制软件进行了长时间的软件在环仿真测试以及硬件在环(HIL)仿真测试,验证了实时软件可靠性设计的有效性并检验了所设计软件的可靠性。通过对实时软件的仿真测试,减小了验证软件可靠性所需的实际发动机台架试验的工作量。