1、CTCS-3級(jí)列控系統(tǒng)是保證高速鐵路列車安全、穩(wěn)定、高效運(yùn)行的重要設(shè)備。在系統(tǒng)投入運(yùn)營(yíng)前必須對(duì)其功能進(jìn)行全面測(cè)試，確保系統(tǒng)滿足相關(guān)功能技術(shù)規(guī)范，保證列車能夠安全可靠運(yùn)行。測(cè)試案例針對(duì)列控系統(tǒng)需求規(guī)范中的各功能點(diǎn)給出了具體測(cè)試方法。實(shí)際測(cè)試中，需要將測(cè)試案例有序串聯(lián)起來(lái)，形成測(cè)試序列，指導(dǎo)具體的測(cè)試工作。人工編制測(cè)試序列，任務(wù)繁重，專業(yè)性強(qiáng)，效率低下，種種因素導(dǎo)致其合理性難以保證，因此對(duì)測(cè)試序列合理性進(jìn)行驗(yàn)證和評(píng)價(jià)成為亟須解決的問(wèn)題。

2、r>　　論文研究了基于仿真的CTCS-3級(jí)列控系統(tǒng)測(cè)試序列合理性驗(yàn)證和評(píng)價(jià)方法。論文完成的主要工作有:
　　1.通過(guò)分析測(cè)試序列生成過(guò)程，總結(jié)了測(cè)試序列合理性驗(yàn)證內(nèi)容，設(shè)計(jì)了測(cè)試序列合理性驗(yàn)證標(biāo)準(zhǔn)。
　　2.建立了測(cè)試序列合理性規(guī)則庫(kù)和評(píng)價(jià)體系。通過(guò)分析測(cè)試序列合理性標(biāo)準(zhǔn)，針對(duì)每種需要驗(yàn)證的內(nèi)容分別設(shè)計(jì)合理性規(guī)則，并以一階謂詞的方法來(lái)進(jìn)行規(guī)則表示，最終建立了規(guī)則庫(kù);通過(guò)分析測(cè)試序列的特點(diǎn)，明確了測(cè)試序列評(píng)價(jià)指標(biāo)并為每個(gè)指標(biāo)設(shè)

3、置了權(quán)重，最終確定了評(píng)價(jià)體系。
　　3.提出了基于多線程多隊(duì)列的測(cè)試序列合理性驗(yàn)證方法，并提出了規(guī)則獲取方法和評(píng)價(jià)方法。將測(cè)試結(jié)果數(shù)據(jù)入隊(duì)形成一個(gè)待對(duì)比隊(duì)列，規(guī)則獲取線程根據(jù)待對(duì)比隊(duì)列中的內(nèi)容訪問(wèn)規(guī)則庫(kù)獲取相應(yīng)規(guī)則入隊(duì)形成一個(gè)規(guī)則隊(duì)列，兩個(gè)隊(duì)列依次出隊(duì)并由對(duì)比驗(yàn)證線程對(duì)兩個(gè)隊(duì)列出隊(duì)內(nèi)容進(jìn)行一一對(duì)比驗(yàn)證，直到最后找到測(cè)試序列不符合合理性規(guī)則的地方，給出合理性驗(yàn)證結(jié)果。
　　4.設(shè)計(jì)了基于仿真的測(cè)試序列合理性驗(yàn)證和評(píng)價(jià)系統(tǒng)。首先