-
题名铁路信号安全关键软件的组合测试序列集约简
被引量：8
- 1
-
-
作者
饶畅
李楠
张亚东
郭进
李耀
-
机构
西南交通大学信息科学与技术学院
电子科技大学光电科学与工程学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2020年第3期596-603,共8页
-
基金
国家自然科学基金青年基金(61703349)
中央高校基本科研业务费专项资金(2682017CX101)
中国铁路总公司科技研究开发计划课题(N2018G062,K2018G011)。
-
文摘
针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性.
-
关键词
安全关键软件
基于模型的测试
组合测试
测试序列约简
二进制粒子群优化
-
Keywords
safety-critical software
model-based testing
combinatorial testing
test sequence reduction
binary particle swarm optimization
-
分类号
U283
[交通运输工程—交通信息工程及控制]
-
