基于TTCN-3的自動(dòng)測(cè)試在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)是一個(gè)安全苛求系統(tǒng)，要求具備很高的安全性與可靠性，必須在應(yīng)用前對(duì)其進(jìn)行完備的測(cè)試。傳統(tǒng)的列車運(yùn)行控制系統(tǒng)的測(cè)試方法不能滿足對(duì)CBTC系統(tǒng)高效和全面的測(cè)試要求，通過相應(yīng)的計(jì)算機(jī)仿真技術(shù)和先進(jìn)的測(cè)試技術(shù)實(shí)現(xiàn)系統(tǒng)的自動(dòng)測(cè)試，能夠大大提高測(cè)試的

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

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

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