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

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

Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-Critical Software

When applying t-way combinatorial test sequence generation to a railway signaling system with large-scale inputs, test redundancy occurs, which causes high execution cost. Thus, a t-way combinatorial test sequence set reduction approach is proposed based on the greedy particle swarm optimization algorithm to reduce the cost. First, aiming at minimizing the test cost, an optimization model for t-way combinatorial test sequence set reduction is built. Then, on the basis of logic coverage of the test sequence sets, the greedy particle swarm algorithm is employed to solve the model and obtain the reduced test sequence sets. Finally, ZPW-2000 track circuit receiver software is used in a case study for the reduction of 2-way test sequence sets to validate the proposed approach. Results show that under the premise of 2-way coverage and logic coverage, the cost for a single test sequence set has decreased by up to 98.33% and the total cost for the test sequence sets has decreased by 36.10%, which indicates the feasibility and effectiveness of the approach.