由于具有速度快、安全性好、运量大、污染小等优势，高速铁路在我国进入了飞速发展的阶段。目前，我国高速铁路使用的CTCS-3(China Train Control System level 3)列车运行控制系统，属于安全苛求系统，依赖于高容量的传输系统进行数据传输。铁路信号安全协议-Ⅰ(以下简称RSSP-Ⅰ)为铁道部制订的用于高速列控系统的安全数据传输协议，是保证铁路信号安全设备之间信息安全实时传递的有效手段，对保证整个列车运行控制系统的安全起着至关重要的作用，这就迫切需要对RSSP-Ⅰ进行协议测试。 协议测试中的互操作性测试，就是检查同一协议或者同一类协议的不同被测实现之间是否可以进行正确的交互，以提供期望的服务。由于自然语言描述的协议说明可能具有二义性，或者存在可选选项，同时一致性测试无法做到穷尽测试，故对协议实现进行互操作性测试具有重要的意义。所以，本文以RSSP-Ⅰ为例，对列控系统安全通信协议的互操作性测试进行研究。 对于互操作性测试，其过程分为测试生成、测试实现和测试执行三个阶段。测试生成即互操作性测试序列的生成，本文通过对RSSP-Ⅰ状态和输入输出事件的分析，分别建立了其发送方和接收方的有限状态机模型，并基于SDL对其进行了描述和仿真验证，然后应用互操作性测试中的形式化技术生成了互操作性测试序列；测试实现，本文引入标准测试语言TTCN-3，搭建了RSSP-Ⅰ的互操作性测试系统，并对测试系统的各个组成部分进行了配置和实现，然后进行了互操作性测试序列的描述；最后通过运行该测试系统，执行测试序列，得到了测试执行过程中的消息序列图和日志记录，并对测试结果进行了分析。 本文搭建的基于TTCN-3的互操作性测试系统，具有良好的测试配置功能和测试描述能力，可以使整个测试过程清晰有序地进行，并且测试过程可以实时地反映于消息序列图和日志记录中，这就使得测试过程可视化，有助于我们理解所描述的测试行为，同时也为测试平台的调试和测试提供了详尽的数据支持，使得测试结果具有可分析性，所以整个测试活动取得了良好的效果，实现了预期的测试目标。
展开▼
