車(chē)站計(jì)算機(jī)聯(lián)鎖軟件自動(dòng)測(cè)試技術(shù)設(shè)計(jì)研究.pdf

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

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

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