列車運行控制系統(tǒng)保證列車安全、高效的運行,是現(xiàn)代鐵路信號系統(tǒng)中的核心組成部分。研究列控系統(tǒng)的測試方法,對列控系統(tǒng)可靠安全性的提高具有重要的意義�；诖_定性有限狀態(tài)機（Deterministic Finite State Machine,DFSM）的測試方法用DFSM模型描述待測功能需求,通過測試用例生成方法從模型生成測試用例。本文以CTCS-2級列控系統(tǒng)為研究對象,研究基于DFSM的測試路徑生成與測試路徑實例化方法,給出了自動化生成方案。為了減少滿足遷移覆蓋測試路徑集合的冗余度與路徑數(shù),本文基于最小測試成本遷移覆蓋準(zhǔn)則給出了測試路徑的生成方法。方法先解析DFSM模型信息,生成優(yōu)化遷移覆蓋的序列集合。接著生成滿足最小測試成本遷移覆蓋的序列集合,并擴展為測試路徑集合。最后選用目前列控系統(tǒng)測試的案例,演示了測試路徑生成的具體步驟,并與廣度優(yōu)先生成遷移覆蓋測試路徑的算法比較,說明本文方法生成的測試路徑集合中遷移冗余數(shù)目更少、路徑數(shù)目更少,可有效地減少測試成本。為了將測試路徑實例化為具體的測試用例,本文提出了結(jié)合邏輯覆蓋與輸入空間劃分的方法。方法首先根據(jù)模型中各遷移條件的邏輯表達(dá)式,生成滿足邏輯... 

【文章來源】：西南交通大學(xué)四川省 211工程院校 教育部直屬院校

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

【學(xué)位級別】：碩士

【部分圖文】：

測試用例生成工具主界面

第50頁覆蓋的 11 條序列，序列數(shù)及內(nèi)容與 4.4 節(jié)的序列集相符。圖4-9 最小測試成本遷移覆蓋方法演示圖 4-10 是對 C0 轉(zhuǎn) C2_Advance 的遷移條件的邏輯表達(dá)式生成具體測試用例的演示。展開 C0 狀態(tài)的遷移列表，再點擊列表中 C2_Advance 狀態(tài)，在右側(cè)下方文本框中輸出該邏輯表達(dá)式滿足謂詞覆蓋的具體的測試用例。圖4-10 遷移條件測試用例生成演示

展開 C0 狀態(tài)的遷移列表，再點擊列表中 C2_Advance 狀態(tài)，在右側(cè)下方文本框中輸出該邏輯表達(dá)式滿足謂詞覆蓋的具體的測試用例。圖4-10 遷移條件測試用例生成演示

【參考文獻(xiàn)】：
期刊論文
[1]一種列控系統(tǒng)安全關(guān)鍵軟件測試用例的實例化方法[J]. 劉思琪,張亞東,楊武東,童音,饒暢.  小型微型計算機系統(tǒng). 2019(02)
[2]基于狀態(tài)圖測試的遷移路徑生成方法[J]. 張毅偉,賁可榮.  計算機科學(xué)與探索. 2019(06)
[3]基于UML狀態(tài)圖的列控中心軟件測試路徑生成方法[J]. 王秀玄.  鐵路計算機應(yīng)用. 2016(08)
[4]基于UML順序圖的地鐵聯(lián)鎖測試用例生成方法[J]. 黃平霞,董昱.  小型微型計算機系統(tǒng). 2016(05)
[5]一種全覆蓋的列控車載系統(tǒng)測試用例自動生成算法研究[J]. 袁磊,呂繼東,劉雨,李辰嶺,趙偉慧.  鐵道學(xué)報. 2014(08)
[6]一種基于有限狀態(tài)機的測試路徑生成方法[J]. 錢忠勝.  小型微型計算機系統(tǒng). 2014(07)
[7]約束條件下基于區(qū)間組合的測試用例生成[J]. 楊健,張煥國.  武漢大學(xué)學(xué)報(理學(xué)版). 2013(05)
[8]基于區(qū)間必然集的測試用例生成方法[J]. 王雅文,宮云戰(zhàn),肖慶.  計算機輔助設(shè)計與圖形學(xué)學(xué)報. 2013(04)
[9]中國高速鐵路信號系統(tǒng)分析與思考[J]. 郭進(jìn),張亞東.  北京交通大學(xué)學(xué)報. 2012(05)
[10]一種基于模型的形式化測試序列自動生成方法及在ETCS-2中的應(yīng)用[J]. 趙顯瓊,鄭偉,唐濤.  鐵道學(xué)報. 2012(05)

博士論文
[1]基于FSM的測試用例生成和測試優(yōu)化[D]. 劉攀.上海大學(xué) 2011
[2]測試數(shù)據(jù)自動生成技術(shù)研究[D]. 史亮.東南大學(xué) 2006

碩士論文
[1]基于UML狀態(tài)圖的列控中心軌道電路編碼功能測試用例生成方法研究[D]. 曹雅鑫.西南交通大學(xué) 2017
[2]基于UML的列控中心改變運行方向功能測試用例生成方法研究[D]. 王秀玄.西南交通大學(xué) 2016
[3]CTCS-2級列控系統(tǒng)運營場景設(shè)計與可視化研究[D]. 劉木齊.北京交通大學(xué) 2016
[4]基于FSM模型的測試方案生成方法研究[D]. 劉紅宇.北京工業(yè)大學(xué) 2015
[5]基于模型的軟件測試技術(shù)研究[D]. 張清.北京交通大學(xué) 2013
[6]基于模型的列控系統(tǒng)測試用例自動生成研究[D]. 周晶晶.北京交通大學(xué) 2013



本文編號：3574177