检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:赵晓宇 ZHAO Xiaoyu(Signal&Communication Research Institute,China Academy of Railway Sciences Corporation Limited,Beijing 100081,China)
机构地区:[1]中国铁道科学研究院集团有限公司通信信号研究所,北京100081
出 处:《铁道标准设计》2020年第12期143-149,共7页Railway Standard Design
基 金:中国铁路总公司科技研究计划课题(P2018G003);中国铁道科学研究院科研课题(2017YJ056)。
摘 要:为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《CTCS-3级列控系统系统需求规范》和有色Petri网(CPN)建模规则构建列控系统模型,通过ASK-CTL公式和非标准状态空间查询法对模型进行验证;其次,采用基于改进深度优先搜索算法(IDFS)的测试案例集生成算法自动生成满足路径全覆盖和节点全覆盖的测试案例集;最后,以测试序列重要度、测试序列路径长度和平均测试案例覆盖率为共同优化目标,通过基于改进最大最小蚁群算法(IMMAC)的多目标测试序列集生成算法自动生成最优测试序列集。以列控系统的部分运营场景为研究对象,实现测试序列集的生成过程。结果表明:该方法可自动生成测试序列集,并且本实例中测试序列的重复度降低86%,提高测试生成效率。To effectively generate optimal test sequence set satisfying the full test case coverage,firstly,the train control system model is established based on System Requirement Specification of CTCS-3 Level Train Control System and CPN modeling rules,and the model is verified by the ASK-CTL logic formulas and nonstandard state space search method.Secondly,the IDFS-based test case set generation algorithm is used to automatically generate test case set that satisfies the full path coverage and full node coverage.Finally,taking importance degree of test sequence,path length of test sequence and average percentage of test case coverage as the common optimization objectives,the optimal test sequence set is automatically generated by the multi-objective test sequence set generation algorithm based on IMMAC,and the generation process of test sequence set is realized by taking the partial operational scenarios of the train control system as research objective.The results indicate that the approach can automatically generate the test sequence set and the repeatability of the test sequences in the study is reduced by 86%,which improves test generation efficiency.
关 键 词:列控系统 测试序列生成 CPN 多目标优化 IMMAC IDFS
分 类 号:U284.482[交通运输工程—交通信息工程及控制]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.137.189.49