車載ATP是CTCS-2級列控系統(tǒng)的核心設(shè)備之一,針對車載ATP的組合測試,在保障設(shè)備功能安全方面具有重要意義。根據(jù)車載ATP設(shè)備接口參數(shù)的特點,提出一種基于最優(yōu)覆蓋數(shù)組的帶約束組合測試用例集生成方法。首先,辨識出車載ATP接口參數(shù)及其約束條件;其次,基于參數(shù)映射算法,將接口參數(shù)映射到最優(yōu)覆蓋數(shù)組中重構(gòu)該覆蓋數(shù)組;然后,在重構(gòu)的覆蓋數(shù)組中移除不滿足約束的無效行,并擴展覆蓋數(shù)組;最終,得到滿足約束條件和覆蓋強度的車載ATP測試用例集。以車載ATP模式轉(zhuǎn)換等三種場景為例,對本方法進行了驗證。結(jié)果表明,相比于現(xiàn)有方法,本方法生成的測試用例集普遍更加精簡,其規(guī)模降幅最高可達11.11%,有效降低了測試成本,提高了測試效率。 

【文章來源】：鐵道學(xué)報. 2020,42(11)北大核心EICSCD

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

【文章目錄】：
1 CTCS-2級列控車載ATP簡介
    1.1 車載ATP及其測試環(huán)境
    1.2 車載ATP接口輸入?yún)?shù)
2 研究基礎(chǔ)
    2.1 相關(guān)定義
    2.2 基于最優(yōu)覆蓋數(shù)組的組合測試
3 車載ATP組合測試用例生成方法
    3.1 最優(yōu)覆蓋數(shù)組重構(gòu)
    3.2 覆蓋數(shù)組擴展
4 車載ATP組合測試用例生成結(jié)果
    4.1 最優(yōu)覆蓋數(shù)組重構(gòu)
    4.2 覆蓋數(shù)組擴展
    4.3 有效性分析
5 結(jié)論


【參考文獻】：
期刊論文
[1]基于路徑優(yōu)化算法的測試序列自動生成及驗證[J]. 梁茨,鄭偉,李開成,唐濤.  鐵道學(xué)報. 2013(06)
[2]組合測試:原理與方法[J]. 嚴俊,張健.  軟件學(xué)報. 2009(06)

碩士論文
[1]CTCS-1級列控系統(tǒng)車載設(shè)備安全性分析[D]. 王昊.北京交通大學(xué) 2017



本文編號：3184969