為了提高列控中心自動化測試的效率和質(zhì)量,研究帶有通信時機測試用例的生成方法.首先,通過擴展確定性有限狀態(tài)機的輸入輸出動作,構(gòu)建帶有輸入輸出時間的確定性有限狀態(tài)機模型,并利用改進的廣度優(yōu)先搜索生成測試路徑,形成抽象測試集.然后,利用邊界值分析將測試路徑中的時間約束離散化,并利用提出的控制條件覆蓋測試生成算法生成測試用例.最后,以列控中心改變運行方向場景為例,生成測試用例.結(jié)果表明:采用所提出方法生成的測試用例可以有效表達接口通信的內(nèi)容和時機.為列控中心自動化測試用例的自動生成提供重要的方法支撐. 

【文章來源】：北京交通大學學報. 2020,44(05)北大核心CSCD

【文章頁數(shù)】：6 頁

【部分圖文】：

抽象測試場景的DFSM-T

廣度優(yōu)先搜索(Breadth-First Search, BFS)和深度優(yōu)先搜索(Depth-First Search, DFS)是常用的測試路徑搜索算法[10].但由于深度優(yōu)先搜索需要不斷的回溯,以確定下一節(jié)點是否已被訪問.因此,本文采用廣度優(yōu)先搜索對DFSM-T模型搜索測試路徑,并使測試路徑集合滿足變遷覆蓋準則,即覆蓋DFSM-T模型的所有變遷至少一次.但經(jīng)典BFS算法會因模型中存在自環(huán)變遷而使得某些測試路徑的冗余程度較高.例如圖1的模型利用BFS算法生成兩條測試路徑如圖2所示.因模型中存在自環(huán)變遷使得兩條測試路徑前3個變遷是相同的,導致兩條測試路徑冗余程度很高.針對該問題,提出改進BFS算法,算法具體描述如下.

圖1模型利用改進BFS生成的測試路徑集合包含1條測試路徑,如圖3所示,該條測試路徑覆蓋了圖1模型的所有變遷,能夠替代圖2中兩條冗余程度較高的測試路徑,減小了測試路徑集的規(guī)模.2 測試用例生成

【參考文獻】：
期刊論文
[1]一種列控系統(tǒng)安全關鍵軟件測試用例的實例化方法[J]. 劉思琪,張亞東,楊武東,童音,饒暢.  小型微型計算機系統(tǒng). 2019(02)
[2]基于有色Petri網(wǎng)的測試案例生成方法及其在CTCS-3車地通信中的應用[J]. 趙天時.  北京交通大學學報. 2018(06)
[3]基于有色Petri網(wǎng)的車載設備模式轉(zhuǎn)換測試序列生成方法[J]. 趙曉宇,楊志杰,呂旌陽.  中國鐵道科學. 2017(04)
[4]一種全覆蓋的列控車載系統(tǒng)測試用例自動生成算法研究[J]. 袁磊,呂繼東,劉雨,李辰嶺,趙偉慧.  鐵道學報. 2014(08)
[5]多端口形式化測試自動生成方法在CTCS-3車載系統(tǒng)中的應用[J]. 趙顯瓊,唐濤.  鐵道學報. 2011(07)



本文編號：3249035