基于進(jìn)路控制過(guò)程的聯(lián)鎖軟件高效率測(cè)試方法研究.pdf

1、計(jì)算機(jī)聯(lián)鎖系統(tǒng)是鐵路信號(hào)的核心設(shè)備之一，在規(guī)定的聯(lián)鎖條件和規(guī)定的時(shí)序下對(duì)站內(nèi)信號(hào)設(shè)備（道岔、信號(hào)機(jī)、進(jìn)路）實(shí)行控制，實(shí)現(xiàn)聯(lián)鎖功能，保證列車安全高效運(yùn)營(yíng)。根據(jù)鐵道部頒布的計(jì)算機(jī)聯(lián)鎖技術(shù)條件，聯(lián)鎖系統(tǒng)應(yīng)能滿足各種車站（場(chǎng)）規(guī)模和運(yùn)輸作業(yè)的需要，保證行車安全，提高運(yùn)輸效率。對(duì)于這樣一個(gè)高可靠性、高安全性、高穩(wěn)定性且規(guī)模較大、對(duì)實(shí)時(shí)邏輯要求嚴(yán)格的安全苛求系統(tǒng)，投入使用之前對(duì)其進(jìn)行全面嚴(yán)格的測(cè)試是非常必要的。軟件測(cè)試一般要占軟件整個(gè)開(kāi)發(fā)過(guò)程40％

2、以上的時(shí)間，對(duì)于計(jì)算機(jī)聯(lián)鎖系統(tǒng)這樣復(fù)雜的安全苛求系統(tǒng)，測(cè)試工作量巨大，測(cè)試占用的時(shí)間更多、效率更低。目前計(jì)算機(jī)聯(lián)鎖軟件測(cè)試主要采用手工方法，由富有經(jīng)驗(yàn)的工程師根據(jù)聯(lián)鎖表及測(cè)試需求編寫(xiě)并執(zhí)行測(cè)試用例，以上方法雖然能達(dá)到測(cè)試目的，但測(cè)試重復(fù)度高，測(cè)試效率低。
　　本研究主要內(nèi)容包括：⑴全面分析了軟件測(cè)試的方法及現(xiàn)狀，由此引入聯(lián)鎖軟件測(cè)試現(xiàn)狀。詳細(xì)闡述了聯(lián)鎖系統(tǒng)的結(jié)構(gòu)及功能，分析了進(jìn)路控制過(guò)程的狀態(tài)變化，明確了聯(lián)鎖軟件測(cè)試需求，在此基礎(chǔ)

3、上，深入剖析了已有測(cè)試方法在測(cè)試效率上的不足，提出了一種基于進(jìn)路控制過(guò)程應(yīng)用組合測(cè)試技術(shù)的高效率聯(lián)鎖軟件測(cè)試方法。⑵分析比較了組合測(cè)試各個(gè)經(jīng)典算法的優(yōu)劣，確定應(yīng)用網(wǎng)絡(luò)組合算法生成聯(lián)鎖軟件高覆蓋率的測(cè)試用例，然后結(jié)合進(jìn)路建立到解鎖的控制過(guò)程執(zhí)行測(cè)試用例，將聯(lián)鎖功能測(cè)試項(xiàng)按進(jìn)路選擇、進(jìn)路鎖閉、信號(hào)開(kāi)放、信號(hào)開(kāi)放保持以及進(jìn)路解鎖的過(guò)程進(jìn)行優(yōu)化組合，最大程度地減少傳統(tǒng)聯(lián)鎖測(cè)試中存在的重復(fù)操作，生成優(yōu)化的測(cè)試序列，在保證測(cè)試充分性的基礎(chǔ)上降低測(cè)試