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

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

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

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

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