面向列控系统的多目标测试序列集生成方法

摘要

为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控系统模型,通过ASK-CTL公式和非标准状态空间查询法对模型进行验证;其次,采用基于改进深度优先搜索算法(IDFS)的测试案例集生成算法自动生成满足路径全覆盖和节点全覆盖的测试案例集;最后,以测试序列重要度、测试序列路径长度和平均测试案例覆盖率为共同优化目标,通过基于改进最大最小蚁群算法(IMMAC)的多目标测试序列集生成算法自动生成最优测试序列集.以列控系统的部分运营场景为研究对象,实现测试序列集的生成过程.结果表明:该方法可自动生成测试序列集,并且本实例中测试序列的重复度降低86％,提高测试生成效率.