铁路信号安全关键软件的组合测试序列集约简

摘要：

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33％,对序列集总的执行成本约简幅度达到36.10％,验证了所提方法的可行性和有效性.

关键词：安全关键软件、基于模型的测试、组合测试、测试序列约简、二进制粒子群优化

所属期刊栏目：55

分类号：U283(铁路通信、信号)

资助基金：国家自然科学基金青年基金;中央高校基本科研业务费专项资金;中国铁路总公司科技研究开发计划课题

在线出版日期：2020-06-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：596-603