發(fā)布時(shí)間：2021-11-08 03:06

　　計(jì)算機(jī)聯(lián)鎖系統(tǒng)是保證車站內(nèi)行車安全的關(guān)鍵設(shè)備,是高安全性、高可靠性的實(shí)時(shí)系統(tǒng),在投入使用前需要進(jìn)行全面、嚴(yán)格的測(cè)試。由于聯(lián)鎖系統(tǒng)涉及到的工程量十分龐大,依賴于現(xiàn)場(chǎng)試驗(yàn)很難遍歷其功能發(fā)現(xiàn)漏洞,利用計(jì)算機(jī)仿真測(cè)試技術(shù)可降低測(cè)試損耗,但在測(cè)試過程中依然面臨著依賴專業(yè)人員手工操作、測(cè)試重復(fù)步驟多、測(cè)試耗時(shí)長等難題,測(cè)試效率難以提高。針對(duì)上述情況,本人提出了一種計(jì)算機(jī)聯(lián)鎖軟件仿真測(cè)試方法,該方法利用時(shí)間自動(dòng)機(jī)模型自動(dòng)生成測(cè)試序列,利用螢火蟲算法自動(dòng)優(yōu)化測(cè)試序列,最后結(jié)合實(shí)際站場(chǎng)數(shù)據(jù)自動(dòng)執(zhí)行測(cè)試序列。主要內(nèi)容包括:（1）提出了一種基于進(jìn)路控制的自動(dòng)測(cè)試框架,該框架基于傳統(tǒng)測(cè)試需求文檔,通過分析計(jì)算機(jī)聯(lián)鎖軟件測(cè)試需求,并根據(jù)進(jìn)路控制時(shí)序邏輯將其包含的功能場(chǎng)景重組成了可以連續(xù)執(zhí)行的測(cè)試項(xiàng),減少一定重復(fù)操作的同時(shí)為后續(xù)對(duì)聯(lián)鎖的建模奠定了基礎(chǔ)。（2）使用UPPAAL工具建立了基于進(jìn)路控制的聯(lián)鎖系統(tǒng)時(shí)間自動(dòng)機(jī)模型,該模型包含驅(qū)動(dòng)測(cè)試、進(jìn)路建立、自動(dòng)解鎖、取消進(jìn)路、人工解鎖和區(qū)段故障解鎖六個(gè)子模型,子模型之間可進(jìn)行信息交互,并利用該工具自帶的仿真和驗(yàn)證功能證明了模型的正確性,引入輔助軟件CoVer自動(dòng)生成了覆... 

【文章來源】：北京交通大學(xué)北京市 211工程院校 教育部直屬院校

【文章頁數(shù)】：124 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖２－１計(jì)算機(jī)聯(lián)鎖系統(tǒng)軟件結(jié)構(gòu)??Ｆｉｇｕｒｅ?２－１?Ｓｏｆｔ?ｓｔｒｕｃｔｕｒｅ?ｏｆ?ｃｏｍｐｕｔｅｒ?ｉｎｔｅｒｌｏｃｋｉｎｇ??

進(jìn)路控制過程劃分成三個(gè)部分：進(jìn)路建立前、進(jìn)路建立后和進(jìn)路解鎖。仿真測(cè)試平??臺(tái)的起始狀態(tài)應(yīng)為初始化的站場(chǎng)，即區(qū)段全部空閑、信號(hào)機(jī)全部關(guān)閉并且道岔全部??處于定位未鎖閉狀態(tài)。其總體測(cè)試流程如圖２－３所示。??ｆ?進(jìn)路正常建立?進(jìn)路不能建立：￣??…：………４???進(jìn)路內(nèi)?▲??設(shè)備狀態(tài)變化?＾??，?Ｉ?２?進(jìn)路外??５?，?＾?Ｊ?ｆ?設(shè)備狀態(tài)變化??后ｆ道Ｉ?Ｉ?＞鋒??ｍ?段路＆?．??是否占用接近區(qū)段？?自動(dòng)解鎖??解?／?＼?／?＼?Ｉ??＾?取人?正調(diào)?故??消工?常車?障??進(jìn)解?解折?解??路?鎖?鎖?返?鎖??圖２－３總體測(cè)試流程??Ｆｉｇｕｒｅ?２－３?Ｏｖｅｒａｌｌ?ｔｅｓｔ?ｐｒｏｃｅｓｓ??１１??

系＾??＿ｍ????Ｉ?｜車站信號(hào)設(shè)備仿真環(huán)境１??測(cè)?ｖ￣??？?仿真和令??＾——自動(dòng)測(cè)試調(diào)度和結(jié)果動(dòng)態(tài)判定—??開＾?判??始?定??測(cè)?結(jié)??試?Ｉ?＾??圖２－２聯(lián)鎖仿真測(cè)試系統(tǒng)輸入輸出模型??Ｆｉｇｕｒｅ?２－２?Ｉｎｐｕｔ?ａｎｄ?ｏｕｔｐｕｔ?ｍｏｄｅｌ?ｏｆ?ｉｎｔｅｒｌｏｃｋｉｎｇ?ｓｉｍｕｌａｔｉｏｎ?ｔｅｓｔ?ｓｙｓｔｅｍ??聯(lián)鎖測(cè)試是以進(jìn)路為測(cè)試對(duì)象按照進(jìn)路表順序?qū)ζ渲鹨粶y(cè)試，測(cè)試流程按照??進(jìn)路控制過程劃分成三個(gè)部分：進(jìn)路建立前、進(jìn)路建立后和進(jìn)路解鎖。仿真測(cè)試平??臺(tái)的起始狀態(tài)應(yīng)為初始化的站場(chǎng)，即區(qū)段全部空閑、信號(hào)機(jī)全部關(guān)閉并且道岔全部??處于定位未鎖閉狀態(tài)。其總體測(cè)試流程如圖２－３所示。??

【參考文獻(xiàn)】：
期刊論文
[1]基于深度學(xué)習(xí)與遺傳算法的動(dòng)車組與ATP車載設(shè)備接口試驗(yàn)測(cè)試序列優(yōu)化生成[J]. 袁磊,甘慶鵬,李開成,付強(qiáng).  鐵道學(xué)報(bào). 2018(03)
[2]基于螢火蟲-免疫算法的CVIS測(cè)試序列優(yōu)化方法[J]. 上官偉,張鳳嬌,蔡伯根,王劍.  中國公路學(xué)報(bào). 2017(11)
[3]計(jì)算機(jī)聯(lián)鎖處理子系統(tǒng)的自動(dòng)化測(cè)試平臺(tái)及其應(yīng)用[J]. 朱明玲,劉錦峰,陳曉軒.  鐵道通信信號(hào). 2017(09)
[4]鐵路計(jì)算機(jī)聯(lián)鎖系統(tǒng)安全關(guān)鍵軟件的安全性能建模方法[J]. 李耀,張亞東,郭進(jìn),晏姍,饒暢,曹雅鑫.  中國鐵道科學(xué). 2017(02)
[5]白盒測(cè)試技術(shù)在動(dòng)態(tài)軟件測(cè)試中的應(yīng)用研究[J]. 王春平.  無線互聯(lián)科技. 2014(01)
[6]進(jìn)路建立過程的時(shí)間有色petri網(wǎng)建模與仿真[J]. 秦發(fā)園,戴勝華,徐昱.  計(jì)算機(jī)工程與應(yīng)用. 2015(08)
[7]基于路徑優(yōu)化算法的測(cè)試序列自動(dòng)生成及驗(yàn)證[J]. 梁茨,鄭偉,李開成,唐濤.  鐵道學(xué)報(bào). 2013(06)
[8]形式化故障樹分析建模和軟件安全性測(cè)試[J]. 徐中偉,吳芳美.  同濟(jì)大學(xué)學(xué)報(bào)(自然科學(xué)版). 2001(11)
[9]計(jì)算機(jī)聯(lián)鎖軟件測(cè)試評(píng)估[J]. 吳芳美.  鐵路計(jì)算機(jī)應(yīng)用. 1999(01)

碩士論文
[1]車路協(xié)同系統(tǒng)仿真測(cè)試序列生成及優(yōu)化方法研究[D]. 楊森.北京交通大學(xué) 2015
[2]基于改進(jìn)蟻群算法的測(cè)試序列優(yōu)化算法[D]. 胡乃文.北京交通大學(xué) 2015
[3]航空軟件測(cè)試用例自動(dòng)生成方法研究[D]. 曹爽.南京航空航天大學(xué) 2010
[4]計(jì)算機(jī)聯(lián)鎖軟件仿真測(cè)試系統(tǒng)的研究與實(shí)現(xiàn)[D]. 韋啟盟.西南交通大學(xué) 2008
[5]基于通用腳本引擎的自動(dòng)測(cè)試平臺(tái)及在安全測(cè)試中的應(yīng)用[D]. 張浩.同濟(jì)大學(xué) 2006



本文編號(hào)：3482882