車載ATP是保證列車安全運(yùn)行的關(guān)鍵列控設(shè)備。為滿足其苛刻的安全要求,實(shí)際應(yīng)用之前需要對(duì)其進(jìn)行全面嚴(yán)格的測(cè)試。傳統(tǒng)的編寫測(cè)試用例的方法過(guò)分依賴人工經(jīng)驗(yàn),耗時(shí)耗力,且測(cè)試質(zhì)量難以保證。提出一種基于SCADE模型自動(dòng)生成車載ATP測(cè)試用例的方法。首先,利用SCADE對(duì)車載ATP系統(tǒng)進(jìn)行建模,并針對(duì)安全狀態(tài)機(jī)模型生成滿足全遷移覆蓋準(zhǔn)則的測(cè)試用例;再根據(jù)MC/DC覆蓋準(zhǔn)則生成測(cè)試數(shù)據(jù),將抽象的測(cè)試用例轉(zhuǎn)化為可直接用于測(cè)試的具體測(cè)試用例集;最后,通過(guò)變異分析對(duì)生成的測(cè)試用例進(jìn)行評(píng)估。結(jié)果表明,測(cè)試用例具有良好的覆蓋度,優(yōu)于傳統(tǒng)人工方法。 

【文章頁(yè)數(shù)】：9 頁(yè)

【文章目錄】：
1 基于模型的車載ATP測(cè)試用例框架
    1.1 車載ATP系統(tǒng)介紹
    1.2 基于模型的測(cè)試用例生成
        (1)建模。
        (2)生成測(cè)試用例。
        (3)測(cè)試用例實(shí)例化。
2 基于SCADE的車載ATP系統(tǒng)功能建模
    2.1 SCADE建模方法
    2.2 速度監(jiān)控功能建模
    2.3 模式轉(zhuǎn)換功能建模
3 測(cè)試用例生成方法
    3.1 模型轉(zhuǎn)換
    3.2 全遷移覆蓋測(cè)試用例生成
    3.3 基于MC/DC的具體測(cè)試用例集生成
4 測(cè)試用例分析評(píng)估
5 結(jié)束語(yǔ)


【參考文獻(xiàn)】：
期刊論文
[1]一種全覆蓋的列控車載系統(tǒng)測(cè)試用例自動(dòng)生成算法研究[J]. 袁磊,呂繼東,劉雨,李辰嶺,趙偉慧.  鐵道學(xué)報(bào). 2014(08)



本文編號(hào)：3651064