1.列車運(yùn)行控制系統(tǒng)安全關(guān)鍵軟件測試用例生成方法，其特征在于，包括以下過程：
(1)列車運(yùn)行控制系統(tǒng)安全關(guān)鍵軟件建模；
根據(jù)列車運(yùn)行控制系統(tǒng)的需求規(guī)范，采用狀態(tài)圖形式化地描述列車運(yùn)行控制系統(tǒng)需求，然后通過仿真及模型檢測方法驗(yàn)證模型的正確性；
(2)根據(jù)步驟(1)所建立的狀態(tài)圖模型生成測試路徑，包括以下過程：
a)首先對步驟(1)生成的狀態(tài)圖去層次化，得到平坦的狀態(tài)圖，然后將平坦的狀態(tài)圖等價轉(zhuǎn)化為有向圖模型，狀態(tài)圖的狀態(tài)和遷移分別對應(yīng)圖模型的節(jié)點(diǎn)和邊，同時記錄圖模型邊與平坦?fàn)顟B(tài)圖的遷移條件的映射關(guān)系；
b)利用廣度優(yōu)先算法遍歷有向圖模型進(jìn)行，生成有向圖的節(jié)點(diǎn)之間的路徑集；
c)利用有向圖模型、路徑集，生成抽象測試集；
d)根據(jù)有向圖模型，依據(jù)邊覆蓋、節(jié)點(diǎn)覆蓋及主路徑覆蓋測試充分性準(zhǔn)則，找出覆蓋所有需求的超集測試需求集；
e)利用抽象測試路徑集，對超集測試需求集進(jìn)行拆分；利用采用前綴圖匹配算法計(jì)算出最優(yōu)測試路徑，生成數(shù)量少但覆蓋全面的路徑，得到測試路徑集；
通過圖論算法分析測試路徑的方法，也可以是除廣度優(yōu)先、前綴圖匹配之外的方法；
(3)根據(jù)步驟(2)的測試路徑生成測試用例；
步驟(2)生成的每條測試路徑都包含多條邊，每條邊代表列車運(yùn)行控制系統(tǒng)的測試場景，分析出邊的測試場景的集合；采用組合測試的方式，根據(jù)邊在路徑中的順序關(guān)系，對每條測試路徑的邊的場景集進(jìn)行組合覆蓋，計(jì)算出該測試路徑的測試用例。