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

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

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

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

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