摘要
为高效生成满足测试案例全覆盖的最优测试序列集,首先,根据《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.
作者
赵晓宇
ZHAO Xiaoyu(Signal&Communication Research Institute,China Academy of Railway Sciences Corporation Limited,Beijing 100081,China)
出处
《铁道标准设计》
北大核心
2020年第12期143-149,共7页
Railway Standard Design
基金
中国铁路总公司科技研究计划课题(P2018G003)
中国铁道科学研究院科研课题(2017YJ056)。