基于TTCN-3的自動測試在CBTC中的應(yīng)用研究.pdf

1、隨著計(jì)算機(jī)技術(shù)、通信技術(shù)和控制技術(shù)的飛躍發(fā)展，基于通信的列車控制(CBTC)系統(tǒng)應(yīng)運(yùn)而生，CBTC系統(tǒng)提高了列車運(yùn)行效率，且安全性更高，可維護(hù)性更好，因此成為國際上研究與建設(shè)的熱點(diǎn)。 CBTC系統(tǒng)是一個安全苛求系統(tǒng)，要求具備很高的安全性與可靠性，必須在應(yīng)用前對其進(jìn)行完備的測試。傳統(tǒng)的列車運(yùn)行控制系統(tǒng)的測試方法不能滿足對CBTC系統(tǒng)高效和全面的測試要求，通過相應(yīng)的計(jì)算機(jī)仿真技術(shù)和先進(jìn)的測試技術(shù)實(shí)現(xiàn)系統(tǒng)的自動測試，能夠大大提高測試的

2、效率，降低測試的成本。而測試案例的自動生成是自動測試非常重要的一環(huán)，其可以節(jié)省測試時間，拓展測試人員的能力，在許多測試領(lǐng)域發(fā)揮著不可替代的作用。另外，對導(dǎo)致測試錯誤的影響因素進(jìn)行自動定位也可以大大提高測試的自動程度。 本文主要是對CBTC系統(tǒng)進(jìn)行分析，建立基于TTCN-3的自動測試框架和模型，并采用啟發(fā)式算法實(shí)現(xiàn)了測試案例自動生成以及對導(dǎo)致測試錯誤的影響因素進(jìn)行自動定位。本文完成了以下工作： (1)建立了一個CBTC仿真

3、測試系統(tǒng)，并在CBTC原有設(shè)備中添加了原理顯示和仿真管理單元。原理顯示和仿真管理單元的引入使得CBTC系統(tǒng)功能測試方式更加靈活，同時也使得測試過程和結(jié)果可視化程度更高。對CBTC系統(tǒng)引入了兩種測試模式，即受控模式和自主模式，通過對仿真管理單元的操作實(shí)現(xiàn)。 (2)使用組合測試方法，對CBTC系統(tǒng)建立組合測試模型，并提出了一種基于解空間樹的啟發(fā)式算法，用以自動生成覆蓋兩因素或多因素組合的測試案例，同時根據(jù)測試的結(jié)果，對導(dǎo)致測試錯誤的

4、影響因素進(jìn)行定位。最后將自動生成覆蓋兩因素組合測試案例和對導(dǎo)致測試錯誤的影響因素進(jìn)行定位的啟發(fā)式算法應(yīng)用于CBTC ATP單元的功能測試。 (3)構(gòu)造了基于TTCN-3測試環(huán)境的自動測試框架，采用TTCN-3測試環(huán)境TTworkbench建立了CBTC ATP單元的測試套。用TTCN-3 GFT方式對測試過程以及測試案例的生成和執(zhí)行進(jìn)行了定義。 通過對CBTC ATP單元進(jìn)行仿真測試，證明使用該種自動測試方法能夠高效的生