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

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

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


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



本文編號：3651064