基于UPPAAL的計(jì)算機(jī)聯(lián)鎖進(jìn)路控制過(guò)程測(cè)試用例自動(dòng)生成.pdf

1、計(jì)算機(jī)聯(lián)鎖系統(tǒng)是保證列車在車站內(nèi)安全運(yùn)行的重要手段，聯(lián)鎖邏輯運(yùn)算的安全性和可靠性影響著整個(gè)車站設(shè)備的實(shí)時(shí)狀態(tài)，對(duì)行車安全有著至關(guān)重要的作用。因此需要對(duì)聯(lián)鎖系統(tǒng)軟件設(shè)計(jì)進(jìn)行安全性測(cè)試。然而由于各個(gè)信號(hào)廠商軟件的不統(tǒng)一性，造成測(cè)試的難度很大。目前軟件的測(cè)試方法主要以代碼為中心來(lái)設(shè)計(jì)測(cè)試用例，系統(tǒng)測(cè)試的通用性和靈活性不足，由于對(duì)于同一個(gè)問(wèn)題針對(duì)不同的開(kāi)發(fā)人員編寫的程序和框架思路不完全一樣，就需要針對(duì)每行代碼或者每個(gè)模塊設(shè)計(jì)測(cè)試用例，測(cè)試效率極

2、低而且費(fèi)時(shí)較多。
　　本文結(jié)合計(jì)算機(jī)聯(lián)鎖技術(shù)規(guī)范，深入分析了聯(lián)鎖內(nèi)部邏輯運(yùn)算的核心過(guò)程，并引入人環(huán)因素的影響，分模塊建立計(jì)算機(jī)聯(lián)鎖狀態(tài)機(jī)模型，并對(duì)模型進(jìn)行仿真和驗(yàn)證，生成最終的測(cè)試用例。
　　首先從功能需求和人環(huán)因素兩個(gè)方面展開(kāi)研究，將自然偶發(fā)因素和人為因素產(chǎn)生的設(shè)備故障對(duì)聯(lián)鎖運(yùn)算的影響引入到聯(lián)鎖核心運(yùn)算進(jìn)路控制功能中。在系統(tǒng)需求分析的基礎(chǔ)上，利用UPPAAL軟件依據(jù)聯(lián)鎖邏輯過(guò)程對(duì)進(jìn)路控制模塊進(jìn)行建模，包括進(jìn)路建立、進(jìn)路正常

3、解鎖、調(diào)車中途折返解鎖、進(jìn)路取消、人工解鎖和故障解鎖。其次采用UPPAAL的仿真環(huán)境和BNF語(yǔ)法以具體進(jìn)路為例對(duì)建立的模型進(jìn)行仿真和驗(yàn)證，確保模型的正確性，并以XML文件保存了模型中狀態(tài)和邊的關(guān)系。利用Java提供的dom4j技術(shù)解析生成的XML文件，得到模型中狀態(tài)和邊的關(guān)系，并引入圖論的基本原理，采用鄰接表的存儲(chǔ)方式將狀態(tài)和邊的關(guān)系進(jìn)行存儲(chǔ)，并在每個(gè)模型中分別分配給每個(gè)狀態(tài)一個(gè)編碼，用于簡(jiǎn)化模型。為了保證測(cè)試用例的完備性，設(shè)計(jì)DFS搜