基于TTCN-3的列控系統(tǒng)安全通信協(xié)議互操作性測(cè)試研究.pdf

1、由于具有速度快、安全性好、運(yùn)量大、污染小等優(yōu)勢(shì)，高速鐵路在我國(guó)進(jìn)入了飛速發(fā)展的階段。目前，我國(guó)高速鐵路使用的CTCS-3(China Train Control System level 3)列車(chē)運(yùn)行控制系統(tǒng)，屬于安全苛求系統(tǒng)，依賴于高容量的傳輸系統(tǒng)進(jìn)行數(shù)據(jù)傳輸。鐵路信號(hào)安全協(xié)議-Ⅰ(以下簡(jiǎn)稱RSSP-Ⅰ)為鐵道部制訂的用于高速列控系統(tǒng)的安全數(shù)據(jù)傳輸協(xié)議，是保證鐵路信號(hào)安全設(shè)備之間信息安全實(shí)時(shí)傳遞的有效手段，對(duì)保證整個(gè)列車(chē)運(yùn)行控制系統(tǒng)的

2、安全起著至關(guān)重要的作用，這就迫切需要對(duì)RSSP-Ⅰ進(jìn)行協(xié)議測(cè)試。
　　協(xié)議測(cè)試中的互操作性測(cè)試，就是檢查同一協(xié)議或者同一類協(xié)議的不同被測(cè)實(shí)現(xiàn)之間是否可以進(jìn)行正確的交互，以提供期望的服務(wù)。由于自然語(yǔ)言描述的協(xié)議說(shuō)明可能具有二義性，或者存在可選選項(xiàng)，同時(shí)一致性測(cè)試無(wú)法做到窮盡測(cè)試，故對(duì)協(xié)議實(shí)現(xiàn)進(jìn)行互操作性測(cè)試具有重要的意義。所以，本文以RSSP-Ⅰ為例，對(duì)列控系統(tǒng)安全通信協(xié)議的互操作性測(cè)試進(jìn)行研究。
　　對(duì)于互操作性測(cè)試，其過(guò)程

3、分為測(cè)試生成、測(cè)試實(shí)現(xiàn)和測(cè)試執(zhí)行三個(gè)階段。測(cè)試生成即互操作性測(cè)試序列的生成，本文通過(guò)對(duì)RSSP-Ⅰ狀態(tài)和輸入輸出事件的分析，分別建立了其發(fā)送方和接收方的有限狀態(tài)機(jī)模型，并基于SDL對(duì)其進(jìn)行了描述和仿真驗(yàn)證，然后應(yīng)用互操作性測(cè)試中的形式化技術(shù)生成了互操作性測(cè)試序列；測(cè)試實(shí)現(xiàn)，本文引入標(biāo)準(zhǔn)測(cè)試語(yǔ)言TTCN-3，搭建了RSSP-Ⅰ的互操作性測(cè)試系統(tǒng)，并對(duì)測(cè)試系統(tǒng)的各個(gè)組成部分進(jìn)行了配置和實(shí)現(xiàn)，然后進(jìn)行了互操作性測(cè)試序列的描述；最后通過(guò)運(yùn)行該測(cè)

4、試系統(tǒng)，執(zhí)行測(cè)試序列，得到了測(cè)試執(zhí)行過(guò)程中的消息序列圖和日志記錄，并對(duì)測(cè)試結(jié)果進(jìn)行了分析。
　　本文搭建的基于TTCN-3的互操作性測(cè)試系統(tǒng)，具有良好的測(cè)試配置功能和測(cè)試描述能力，可以使整個(gè)測(cè)試過(guò)程清晰有序地進(jìn)行，并且測(cè)試過(guò)程可以實(shí)時(shí)地反映于消息序列圖和日志記錄中，這就使得測(cè)試過(guò)程可視化，有助于我們理解所描述的測(cè)試行為，同時(shí)也為測(cè)試平臺(tái)的調(diào)試和測(cè)試提供了詳盡的數(shù)據(jù)支持，使得測(cè)試結(jié)果具有可分析性，所以整個(gè)測(cè)試活動(dòng)取得了良好的效果，實(shí)