GSM-R網(wǎng)絡(luò)和FAS系統(tǒng)互聯(lián)互通的測試?yán)碚撆c技術(shù)研究.pdf

1、以GSM-R網(wǎng)絡(luò)和FAS系統(tǒng)的互聯(lián)互通為中心，圍繞著測試?yán)碚摰幕局R和測試技術(shù)的應(yīng)用展開研究，本論文共分兩大部分： 一部分是關(guān)于互聯(lián)互通測試?yán)碚撝幸恢滦詼y試的研究。主要從一致性測試的概念、分類、模型、測試方法和測試語言著手，總結(jié)了測試的過程和步驟，詳細(xì)研究了形式化描述語言TTCN，介紹了TTCN描述抽象測試集的構(gòu)成，TTCN的行為樹、行為表和語法構(gòu)成；還用事實(shí)證明了窮舉測試是不現(xiàn)實(shí)的，給出了科學(xué)設(shè)計(jì)最小測試集的幾種方法。但僅有

2、測試的理論是不夠的，我們重點(diǎn)關(guān)注的是在鐵路環(huán)境下，如何應(yīng)用測試?yán)碚搧碇笇?dǎo)測試行為。為此，本文給出了鐵路環(huán)境下開發(fā)一致性測試軟件的設(shè)計(jì)模型，分別設(shè)計(jì)了軟件自動測試和軟件人工手動測試過程，包括測試用例的編寫，并對這兩種方法的優(yōu)劣進(jìn)行了分析，為以后的測試工作探出了一條比較清晰的路子。 另一部分是關(guān)于互聯(lián)互通測試?yán)碚撝谢ゲ僮餍詼y試的研究。闡述了互操作性測試的分類、模型、測試方法和測試過程，指出了互操作性測試與一致性測試的異同，以及互操作