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

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

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

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