列控中心自动化测试测试用例生成方法

发布时间：2021-06-25 10:22

　　为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后,利用边界值分析将测试路径中的时间约束离散化,并利用提出的控制条件覆盖测试生成算法生成测试用例.最后,以列控中心改变运行方向场景为例,生成测试用例.结果表明:采用所提出方法生成的测试用例可以有效表达接口通信的内容和时机.为列控中心自动化测试用例的自动生成提供重要的方法支撑. 

【文章来源】：北京交通大学学报. 2020,44(05)北大核心CSCD

【文章页数】：6 页

【部分图文】：

抽象测试场景的DFSM-T

广度优先搜索(Breadth-First Search, BFS)和深度优先搜索(Depth-First Search, DFS)是常用的测试路径搜索算法[10].但由于深度优先搜索需要不断的回溯,以确定下一节点是否已被访问.因此,本文采用广度优先搜索对DFSM-T模型搜索测试路径,并使测试路径集合满足变迁覆盖准则,即覆盖DFSM-T模型的所有变迁至少一次.但经典BFS算法会因模型中存在自环变迁而使得某些测试路径的冗余程度较高.例如图1的模型利用BFS算法生成两条测试路径如图2所示.因模型中存在自环变迁使得两条测试路径前3个变迁是相同的,导致两条测试路径冗余程度很高.针对该问题,提出改进BFS算法,算法具体描述如下.

图1模型利用改进BFS生成的测试路径集合包含1条测试路径,如图3所示,该条测试路径覆盖了图1模型的所有变迁,能够替代图2中两条冗余程度较高的测试路径,减小了测试路径集的规模.2 测试用例生成

【参考文献】：
期刊论文
[1]一种列控系统安全关键软件测试用例的实例化方法[J]. 刘思琪,张亚东,杨武东,童音,饶畅.  小型微型计算机系统. 2019(02)
[2]基于有色Petri网的测试案例生成方法及其在CTCS-3车地通信中的应用[J]. 赵天时.  北京交通大学学报. 2018(06)
[3]基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 赵晓宇,杨志杰,吕旌阳.  中国铁道科学. 2017(04)
[4]一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 袁磊,吕继东,刘雨,李辰岭,赵伟慧.  铁道学报. 2014(08)
[5]多端口形式化测试自动生成方法在CTCS-3车载系统中的应用[J]. 赵显琼,唐涛.  铁道学报. 2011(07)



本文编号：3249035