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

作     者：赵晓宇 ZHAO Xiaoyu

作者机构：中国铁道科学研究院集团有限公司通信信号研究所北京100081 

基　　金：中国铁路总公司科技研究计划课题(P2018G003) 中国铁道科学研究院科研课题(2017YJ056) 

出 版 物：《铁道标准设计》 (Railway Standard Design)

年 卷 期：2020年第64卷第12期

页      码：143-149页

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

主 题 词：列控系统 测试序列生成 CPN 多目标优化 IMMAC IDFS 

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.13238/j.issn.1004-2954.201912120001

馆 藏 号：203993744...