基于VectorCAST的Ada语言软件单元动态测试方法及其应用

为指导软件开发与测试人员有效开展单元测试活动,提高软件测试效率,文章以Ada语言软件单元动态测试为例,重点阐述了如何利用VectorCAST测试工具进行Ada语言软件单元动态测试的技术与方法,主要包括Ada语言软件单元测试环境的构建、桩函数设置、测试用例的编制与执行、覆盖率统计以及回归测试方法等关键内容。从各项测试工作分配比例和千行代码测试工作耗时两方面的比较分析结果表明,采用本文测试方法进行千行代码测试,其测试时间可节省23 h,测试效率提高约22%。

CTCS-2级列控车载设备自动测试系统研究

列控车载设备作为列车运行的安全防护设备,其功能缺陷将引发严重后果,为尽可能发现列控车载设备的功能缺陷,对其进行充分、完整的测试是必不可少的,本文介绍了CTCS-2级列控车载设备自动测试系统的系统组成及测试原理,相比人工测试,自动测试最大程度的减少了测试中的不确定因素,能够最大程度的验证CTCS-2列控车载设备的安全性、可靠性。

防危核技术在列控车载设备软件中的应用研究

阐述了防危核的基本原理及优势,详细分析了防危核在列控车载设备软件中的应用,通过模拟列控车载设备模式转换外部条件对防危核的验证功能及资源消耗进行了测试,可有效提升复杂控制系统的安全性和可用性,有广阔的运用前景。