版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、計算機聯(lián)鎖系統(tǒng)是保證列車在車站內(nèi)安全運行的重要手段,聯(lián)鎖邏輯運算的安全性和可靠性影響著整個車站設備的實時狀態(tài),對行車安全有著至關重要的作用。因此需要對聯(lián)鎖系統(tǒng)軟件設計進行安全性測試。然而由于各個信號廠商軟件的不統(tǒng)一性,造成測試的難度很大。目前軟件的測試方法主要以代碼為中心來設計測試用例,系統(tǒng)測試的通用性和靈活性不足,由于對于同一個問題針對不同的開發(fā)人員編寫的程序和框架思路不完全一樣,就需要針對每行代碼或者每個模塊設計測試用例,測試效率極
2、低而且費時較多。
本文結合計算機聯(lián)鎖技術規(guī)范,深入分析了聯(lián)鎖內(nèi)部邏輯運算的核心過程,并引入人環(huán)因素的影響,分模塊建立計算機聯(lián)鎖狀態(tài)機模型,并對模型進行仿真和驗證,生成最終的測試用例。
首先從功能需求和人環(huán)因素兩個方面展開研究,將自然偶發(fā)因素和人為因素產(chǎn)生的設備故障對聯(lián)鎖運算的影響引入到聯(lián)鎖核心運算進路控制功能中。在系統(tǒng)需求分析的基礎上,利用UPPAAL軟件依據(jù)聯(lián)鎖邏輯過程對進路控制模塊進行建模,包括進路建立、進路正常
3、解鎖、調車中途折返解鎖、進路取消、人工解鎖和故障解鎖。其次采用UPPAAL的仿真環(huán)境和BNF語法以具體進路為例對建立的模型進行仿真和驗證,確保模型的正確性,并以XML文件保存了模型中狀態(tài)和邊的關系。利用Java提供的dom4j技術解析生成的XML文件,得到模型中狀態(tài)和邊的關系,并引入圖論的基本原理,采用鄰接表的存儲方式將狀態(tài)和邊的關系進行存儲,并在每個模型中分別分配給每個狀態(tài)一個編碼,用于簡化模型。為了保證測試用例的完備性,設計DFS搜
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于UM L的計算機聯(lián)鎖軟件測試用例生成方法的研究.pdf
- 基于計算機聯(lián)鎖的進路表搜索生成系統(tǒng)的設計與實現(xiàn).pdf
- 淺析計算機聯(lián)鎖進路搜索算法
- 計算機聯(lián)鎖-論文
- 計算機聯(lián)鎖論文
- 淺談專用鐵路計算機聯(lián)鎖控制
- 計算機聯(lián)鎖自動測試系統(tǒng)研究與設計.pdf
- 計算機聯(lián)鎖系統(tǒng)教材
- 計算機聯(lián)鎖仿真測試系統(tǒng)研究.pdf
- 計算機聯(lián)鎖技術條件
- 車站計算機聯(lián)鎖軟件自動測試技術設計研究.pdf
- 計算機聯(lián)鎖畢業(yè)論文
- 基于UPPAAL的聯(lián)鎖進路控制流程建模與驗證.pdf
- 計算機聯(lián)鎖仿真系統(tǒng)線路數(shù)據(jù)自動生成工具的研究與開發(fā).pdf
- 鐵路信號計算機聯(lián)鎖系統(tǒng)自動測試系統(tǒng)的構造研究.pdf
- 計算機聯(lián)鎖軟件仿真測試系統(tǒng)的研究與實現(xiàn).pdf
- 高鐵時代計算機聯(lián)鎖管理.pdf
- 車輛段計算機聯(lián)鎖系統(tǒng)簡介
- 計算機聯(lián)鎖單元控制臺的設計與實現(xiàn).pdf
- 分散控制計算機聯(lián)鎖系統(tǒng)網(wǎng)絡通信研究.pdf
評論
0/150
提交評論