計(jì)算機(jī)聯(lián)鎖軟件仿真測(cè)試系統(tǒng)的研究與實(shí)現(xiàn).pdf

1、隨著通信技術(shù)、網(wǎng)絡(luò)技術(shù)、控制技術(shù)、電子技術(shù)、計(jì)算機(jī)軟硬件技術(shù)、仿真技術(shù)、人工智能技術(shù)的快速發(fā)展，計(jì)算機(jī)聯(lián)鎖系統(tǒng)在世界范圍內(nèi)得到廣泛應(yīng)用，成為車站聯(lián)鎖系統(tǒng)的主要發(fā)展方向。計(jì)算機(jī)聯(lián)鎖作為一種安全相關(guān)系統(tǒng)，要求具有很高的安全性和可靠性，滿足鐵路信號(hào)系統(tǒng)的安全.故障原則。而聯(lián)鎖軟件作為計(jì)算機(jī)聯(lián)鎖系統(tǒng)的關(guān)鍵軟件，影響著整個(gè)系統(tǒng)的安全性和可靠性，因此，在投入使用前對(duì)計(jì)算機(jī)聯(lián)鎖軟件進(jìn)行測(cè)試是必不可少的重要環(huán)節(jié)。以往的聯(lián)鎖軟件測(cè)試往往還是采用手工方法進(jìn)

2、行，測(cè)試案例一般也是由富有經(jīng)驗(yàn)的調(diào)試工程師手工設(shè)計(jì)生成，這種方法本身存在著效率低和測(cè)試不全面等嚴(yán)重的缺陷，無法確保聯(lián)鎖系統(tǒng)的高安全性和高可靠性，同時(shí)也與計(jì)算機(jī)聯(lián)鎖技術(shù)的發(fā)展水平極不適應(yīng)。為了適應(yīng)計(jì)算機(jī)聯(lián)鎖系統(tǒng)的發(fā)展需要，針對(duì)本實(shí)驗(yàn)室開發(fā)的SWJTU-Ⅱ型計(jì)算機(jī)聯(lián)鎖系統(tǒng)的特點(diǎn)，我們?cè)O(shè)計(jì)開發(fā)了一套計(jì)算機(jī)聯(lián)鎖軟件仿真測(cè)試系統(tǒng)，利用這套系統(tǒng)可以對(duì)計(jì)算機(jī)聯(lián)鎖軟件進(jìn)行仿真自動(dòng)測(cè)試，使測(cè)試案例能被連續(xù)加載、自動(dòng)生成并能對(duì)測(cè)試結(jié)果進(jìn)行動(dòng)態(tài)判定，克服了人

3、工測(cè)試的不足，從而提高工作效率、縮短試驗(yàn)時(shí)間，消除因聯(lián)鎖失誤帶來的事故隱患，做到聯(lián)鎖試驗(yàn)的規(guī)范化，程序化和簡(jiǎn)單化。 本文對(duì)計(jì)算機(jī)聯(lián)鎖軟件仿真測(cè)試系統(tǒng)進(jìn)行了闡述，對(duì)其各個(gè)組成部分作了詳細(xì)說明。首先，對(duì)SWJTU-Ⅱ型計(jì)算機(jī)聯(lián)鎖系統(tǒng)的軟硬件結(jié)構(gòu)作了詳細(xì)闡述，并利用UML建模方法對(duì)其進(jìn)路控制過程建模，分析了進(jìn)路控制過程的狀態(tài)變化。其次，對(duì)計(jì)算機(jī)聯(lián)鎖仿真測(cè)試系統(tǒng)的結(jié)構(gòu)作了介紹，分析了仿真測(cè)試系統(tǒng)的功能需求，研究了仿真測(cè)試系統(tǒng)的結(jié)果判定方