基于仿真的CTCS-3級列控系統(tǒng)測試序列合理性驗(yàn)證和評價方法的研究.pdf

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

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

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