車站計算機聯(lián)鎖軟件自動測試技術(shù)設(shè)計研究.pdf

1、隨著鐵路跨越式發(fā)展，計算機聯(lián)鎖技術(shù)蓬勃興起并成為車站聯(lián)鎖系統(tǒng)發(fā)展的主流方向。計算機聯(lián)鎖系統(tǒng)是一個實時安全控制和防護系統(tǒng)，聯(lián)鎖軟件作為聯(lián)鎖系統(tǒng)中的關(guān)鍵軟件，直接影響整個系統(tǒng)的安全性和可靠性。為了保障鐵路運輸正常運作，任何一套聯(lián)鎖軟件在投入實際應用前對其進行測試這一環(huán)節(jié)必不可少。而傳統(tǒng)的人工測試方法早已不能適應聯(lián)鎖技術(shù)的發(fā)展水平。因此，需要探索研究計算機聯(lián)鎖軟件的自動測試技術(shù)。
　　本文正是基于這點展開了研究，通過對車站離散事件系統(tǒng)建

2、模，模擬實際站場的各種作業(yè)情況，從而對聯(lián)鎖軟件進行相關(guān)性能測試，最終用于實際站場。
　　首先，研究了車站計算機聯(lián)鎖系統(tǒng)及聯(lián)鎖軟件測試技術(shù)現(xiàn)狀，設(shè)計了聯(lián)鎖軟件自動測試系統(tǒng)結(jié)構(gòu)。對站場信號設(shè)備的運行特點進行分析，并利用Petri網(wǎng)工具對其建模，同時設(shè)計類及函數(shù)，進而合理設(shè)計一種聯(lián)鎖軟件仿真測試系統(tǒng)，利用仿真技術(shù)對計算機聯(lián)鎖軟件進行自動測試。接著，為了提高測試效率、降低測試成本，有效避免人工測試的不足，使測試更加充分、測試案例更加全面，

3、主要對測試案例的自動生成進行了深入研究，尤其在案例自動生成算法上，著重探討研究了一種基于遺傳算法的測試案例的自動生成方法。再次，探討研究了一種基于規(guī)則的測試結(jié)果動態(tài)判定方法，同時設(shè)計了聯(lián)鎖功能規(guī)則庫，描述了聯(lián)鎖規(guī)則條件動作語法及自動判定算法，并通過測試結(jié)果，證明對聯(lián)鎖功能測試結(jié)果的判定算法正確，該判定方法適用于對聯(lián)鎖軟件測試結(jié)果的判定。最后，成功應用于標準站聯(lián)鎖軟件的測試，完成了六種主要聯(lián)鎖功能的測試，能夠進一步保證和完善測試軟件的聯(lián)鎖