一種適用于CBTC仿真測(cè)試的腳本研究.pdf

1、基于通信的列車控制(CBTC)系統(tǒng)對(duì)其設(shè)備的安全性和可靠性有著苛刻的要求,因此對(duì)其設(shè)備進(jìn)行大量反復(fù)的回歸測(cè)試在所難免。北京亦莊線CBTC項(xiàng)目原有的測(cè)試平臺(tái)是一種手工的測(cè)試平臺(tái),它不能很好地滿足這種回歸測(cè)試的需求,而解決這一問(wèn)題的有效方法就是實(shí)現(xiàn)自動(dòng)化測(cè)試,這樣一來(lái)需要將原有的手工測(cè)試平臺(tái)改造成自動(dòng)化測(cè)試平臺(tái),如此能有效地提高測(cè)試效率,減輕測(cè)試人員的負(fù)擔(dān)。
　　 自動(dòng)化測(cè)試平臺(tái)的實(shí)現(xiàn)方案是在原有手工測(cè)試平臺(tái)的基礎(chǔ)上加入自動(dòng)化仿真測(cè)

2、試管理器,由其驅(qū)動(dòng)并監(jiān)督其他仿真設(shè)備自動(dòng)執(zhí)行測(cè)試案例,而測(cè)試案例驅(qū)動(dòng)命令的記錄形式就是腳本。目前國(guó)內(nèi)外主流的自動(dòng)化測(cè)試工具都是通過(guò)腳本作為測(cè)試命令的記錄形式。本文研究的一種適用于CBTC仿真測(cè)試的腳本是為了實(shí)現(xiàn)平臺(tái)的自動(dòng)化測(cè)試,即自動(dòng)化測(cè)試是方案和目的,腳本是實(shí)現(xiàn)自動(dòng)化測(cè)試的手段和方法。
　　 本文首先通過(guò)對(duì)CBTC自動(dòng)化仿真測(cè)試平臺(tái)的需求分析,運(yùn)用形式語(yǔ)言與自動(dòng)機(jī)理論,設(shè)計(jì)出了一種適用于CBTC自動(dòng)化仿真測(cè)試的腳本語(yǔ)言,并給出

3、其正則文法描述。本文接著設(shè)計(jì)了該腳本的腳本解釋器,并實(shí)現(xiàn)了一個(gè)包含腳本解釋器的自動(dòng)化仿真測(cè)試管理器程序,詳細(xì)分析了程序的功能、設(shè)計(jì)思路和實(shí)現(xiàn)過(guò)程,例如通過(guò)狀態(tài)轉(zhuǎn)換圖分析設(shè)計(jì)了腳本解釋器的詞法分析模塊,通過(guò)語(yǔ)法樹分析設(shè)計(jì)了腳本解釋器的語(yǔ)法分析模塊。
　　 本文最后以北京亦莊線CBTC實(shí)際項(xiàng)目中一個(gè)具體的測(cè)試案例為例,提供了對(duì)測(cè)試案例腳本化的思路,設(shè)計(jì)出了描述該測(cè)試案例的全部腳本程序。模擬運(yùn)行結(jié)果成功通過(guò)驗(yàn)證。同時(shí),對(duì)腳本解釋器的查