联锁系统逻辑测试方法研究

Logic testing methods for Interlock System

联锁系统是轨道交通列车运行控制系统的重要组成部分,它对列车的运行安全和效率有重要的影响。目前,地铁联锁测试通常归结于对系统进行相应的场景复现,按照测试序列对进路进行相应的操作,观察联锁的逻辑是否正确。根据该测试方法编制的测试序列,测试内容重复,测试效率较低。本文采用等价类划分方法的思想,对地铁联锁系统的测试需求进行归类,优化了测试序列,提高了测试效率,并且以北京地铁亦庄站的联锁系统测试进行了验证。

Interlock System was an important part of Train Operation Control System.It was with significant impact on operational safety and efficiency of the train.Currently,metro interlock testing was usually attributed to reproducing corresponding scene of the System,then operating on approach according to the test sequence to observe whether the interlocking logic was correct.The content of test sequence which was established according to the test method was redundant and low efficient.In this paper,the equivalence class partitioning method was used to classify testing requirements of the metro Interlock System,optimize the test sequence,improve the testing efficiency,and it was verified by testing the Interlock System of Beijing Yizhuang Subway Station.