一种联锁系统与外部系统接口交互码位的自动测试方法与流程

1.本发明涉及系统测试领域，特别涉及一种联锁系统与外部系统接口交互码位的自动测试方法。


背景技术：

2.联锁系统(ci)是列车在站内安全运行的保障，是列控系统重要的子系统，能够完成自动外部输入获取、联锁逻辑运算、输出外部设备的控制指令等一系列功能。联锁系统与外部系统的接口较多，如联锁系统与列控中心接口(即ci-tcc)、联锁系统与无线闭塞中心的接口(即ci-rbc)，接口间交互信息的正确性直接影响行车安全。因此，ci-tcc、ci-rbc接口码位的测试，一直是联锁测试的重要环节，但目前缺乏针对上述项目的自动测试技术。


技术实现要素：

3.本发明提供一种联锁系统与外部系统接口交互码位的自动测试方法，可以分别测试ci-tcc接口之间、ci-rbc接口之间交互的码位信息，提高测试效率。
4.为了达到上述目的，本发明的技术方案是提供一种联锁系统与外部系统接口码位的自动化测试方法，通过接口信息表，获取联锁系统与外部系统接口的进路、信号机信息，以及联锁系统与外部系统之间交互的码位信息；
5.对形式化语言编写的测试场景的通用用例，通过自动测试软件来执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；
6.对联锁系统输入码位进行赋值，自动测试软件根据联锁系统的联锁规则进行自动计算，得到输出码位的计算值；
7.所述自动测试软件执行一致性比较，判断联锁系统与外部系统接口的输出码位是否符合预期。
8.可选地，所述的外部系统，包括列控中心tcc；
9.通过所述的自动化测试方法进行联锁系统与列控中心接口码位的自动测试时，读入联锁系统与列控中心的接口信息表，并获取车站基本信息文件、站场基本信息文件、其他外部接口文件；
10.通过所述联锁系统与列控中心的接口信息表，获取与列控中心接口的进路名称、方向口信号机名称，以及联锁系统与列控中心之间交互的码位信息；所述码位信息包括联锁系统从列控中心采集的码位，和联锁系统发送给列控中心的码位；
11.所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息；
12.所述站场基本信息文件，包括本站的拓扑连接关系、本站的全部设备属性信息；
13.所述外部接口文件，包括联锁系统与轨旁的接口信息码位表、联锁系统与无线闭塞中心的接口信息表、本联锁系统与邻站联锁系统的接口信息码位表。
14.可选地，自动测试软件可识别的、以形式化编程语言编写的通用用例，包括列控中
心测试场景对应的测试用例；
15.所述测试用例包括进路的建立、信号开放及开放状态所显示的不同信号、正常解锁、人工解锁进路、区段/信号机/道岔故障的场景；不同场景下，在所述的测试用例中，通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的列控中心接口变量期望值，作为一致性比较的参照值。
16.可选地，通过自动测试软件执行一致性比较，判断联锁系统发送给列控中心的输出码位是否符合预期，与预期一致时给出测试通过结果，不一致时给出测试用例失败的结果；
17.执行一致性比较时，包括：检查待测试进路/设备本身的tcc变量变化是否符合预期，本站其他无关的进路/设备的tcc变量是否不受影响，以及本站不相关进路的rbc变量状态是否不受影响；其中，rbc指无线闭塞中心。
18.可选地，所执行的一致性比较，包括：
19.遍历每一条与列控中心接口的进路，执行与列控中心测试场景对应的测试用例时，进行以下检查：
20.判断该进路相关的tcc变量状态变化是否符合预期；
21.判断非本进路的其他所有不相关进路的tcc变量状态变化是否不受影响；
22.判断所有不相关进路的rbc变量状态变化是否不受影响；
23.以及，遍历每一条不与列控中心接口的进路，执行与列控中心测试场景对应的测试用例时，进行以下检查：
24.判断该进路相关的tcc变量状态变化是否不受影响；
25.判断所有不相关进路的tcc变量状态变化是否不受影响；
26.判断所有不相关进路的rbc变量状态变化是否不受影响。
27.可选地，所述的外部系统，包括无线闭塞中心rbc；
28.通过所述的自动化测试方法进行联锁系统与无线闭塞中心接口码位的自动测试时，读入联锁系统与无线闭塞中心的接口信息表，并获取车站基本信息文件、站场基本信息文件、其他外部接口文件；
29.通过联锁系统与无线闭塞中心的接口信息表，对于采用rbc1或rbc2或rbc3协议方式接口的进路，获取与无线闭塞中心接口的进路名称、联锁系统与无线闭塞中心之间交互的码位信息；所述码位信息包括联锁系统发送给无线闭塞中心的码位；对于采用rbc2协议接口的进路，还通过所述接口信息表获取授权点信号机名称；
30.所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息；
31.所述站场基本信息文件，包括本站的拓扑连接关系、本站的全部设备属性信息；
32.所述外部接口文件，包括联锁系统与轨旁的接口信息码位表，联锁系统与列控中心的接口信息表，本联锁系统与邻站联锁系统的接口信息码位表。
33.可选地，自动测试软件可识别的、以形式化编程语言编写的通用用例，包括无线闭塞中心测试场景对应的测试用例；
34.接口方式采用rbc2协议时所适用的测试用例，包括测试进路建立、信号因故关闭、正进路常解锁、人工解锁、区段/信号机/道岔设备故障的场景；
35.接口方式采用rbc1或rbc3协议时所适用的测试用例，包括的场景可用于测试rbc进路状态相互转换时相关变量变化；其中，rbc进路状态转换的关系，包括：“未激活《-》正常”、“未激活《-》引导”、“不可用-》未激活”、“正在使用-》未激活”、“正常《-》正在使用”、“引导《-》正在通过”、“不可用《-》正常”、“不可用《-》引导”；
36.不同场景下，测试用例中通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的rbc接口变量期望值，作为一致性比较的参照值。
37.可选地，通过自动测试软件执行一致性比较，判断联锁系统发送给无线闭塞中心的输出码位是否符合预期，与预期一致时给出测试通过结果，不一致时给出测试用例失败的结果；
38.执行一致性比较时，包括：检查待测试进路/授权点的rbc变量变化状态是否符合预期，本站其他不相关的进路/授权点的rbc变量状态是否不受影响，以及本站不相关进路的tcc变量状态是否不受影响；其中，tcc指列控中心。
39.可选地，接口方式采用rbc2协议、授权点有对应子进路时，所执行的一致性比较，包括：
40.遍历每一条以rbc2协议与无线闭塞中心接口的进路，执行适用rbc2协议的测试用例，进行以下检查：
41.判断该进路对应的信号授权点相关变量状态是否符合预期；
42.判断非本进路的其他所有不相关进路对应的信号授权点相关变量状态是否不受影响；
43.判断所有不相关进路的tcc变量和rbc1变量状态、rbc3变量状态是否不受影响；
44.以及，遍历每一条不以rbc2协议接口的进路，执行适用rbc2协议的测试用例，进行以下检查：
45.判断这些进路对应的信号授权点相关变量状态是否不受影响；
46.判断所有不相关进路对应的信号授权点相关变量状态是否不受影响；
47.判断所有不相关进路的tcc变量和rbc1变量状态、rbc3变量状态是否不受影响；
48.接口方式采用rbc2协议、授权点无对应子进路时，所执行的一致性比较，是遍历相关信号授权点，执行rbc2接口测试用例，判断相关rbc2信号授权点的变量状态变化是否符合预期；
49.其中，不以rbc2协议接口的进路，包括不与无线闭塞中心接口的进路，也包括采用除rbc2协议之外的其他协议来与无线闭塞中心接口的进路；
50.其中，不相关进路，是指当执行的测试用例，对任一进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。
51.可选地，接口方式采用rbc1或rbc3协议时，所执行的一致性比较，包括：
52.遍历每一条以rbc1或rbc3协议与无线闭塞中心接口的进路，执行适用rbc1或rbc3协议的测试用例，进行以下检查：
53.判断该进路相关的rbc1变量状态、rbc3变量状态变化是否符合预期；
54.判断非本进路的其他所有不相关进路的rbc1变量状态、rbc3变量状态变化是否不受影响；
55.判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响。
56.遍历每一条不以rbc1或rbc3协议接口的进路，执行适用rbc1或rbc3协议的测试用例，进行以下检查：
57.判断该进路相关的rbc1变量状态、rbc3变量状态变化是否不受影响；
58.判断所有不相关进路的rbc1变量状态、rbc3变量状态变化是否不受影响；
59.判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响；
60.其中，不以rbc1或rbc3协议接口的进路，包括不与无线闭塞中心接口的进路，也包括采用除rbc1、rbc3协议之外的其他协议来与无线闭塞中心接口的进路；
61.其中，不相关进路，是指当执行的测试用例，对任一进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。
62.与现有技术相比，本技术的上述技术方案包括以下的有益效果：
63.(1)采用形式化自动测试脚本，通用测试脚本和站场数据是独立的，因此测试用例具有很好的通用性，在满足本发明提出的联锁数据输入时，均可应用本发明的测试脚本执行测试；
64.(2)本发明的通用测试用例具有很好的扩展性，支持增加本ci与邻站ci等其他外部接口码位的测试用例；
65.(3)通过遍历的方式执行测试用例，对测试对象100％覆盖，较人工测试方式省时、省力，避免人工疏忽遗漏测试对象；
66.(4)本发明的测试脚本中除测试场景相关rbc/tcc变量状态变化外，还增加了对无关变量不受影响的检查，测试变量范围更加全面。
附图说明
67.图1为本发明的ci-tcc接口码位自动测试方法的流程图；
68.图2为本发明的ci-rbc接口码位自动测试方法的流程图。
具体实施方式
69.下面结合附图和具体实施例对本发明进行详细说明。
70.本发明提供一种联锁系统与外部系统接口码位的自动化测试方法，主要针对国铁联锁系统的两种安全接口ci-tcc、ci-rbc，测试ci-tcc接口之间、ci-rbc接口之间交互的码位信息。tcc、rbc表示两个外部系统：列控中心、无线闭塞中心。
71.所述的测试方法中，利用ci-tcc或ci-rbc接口信息表，获取联锁系统ci与tcc或rbc接口的进路、信号机信息以及对应交互的码位信息；采用形式化语言编写的测试场景的通用用例；通过自动测试软件执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；通过自动测试软件执行一致性比较，判断ci-tcc或ci-rbc的输出码位是否符合预期。测试用例中除对本测试相关的接口变量检查外，还要对全站不相关接口变量进行遍历检查，从而使测试面更全。其中，联锁系统的测试对象是站场设备(信号机/道岔/区段)以及进路。
72.所述自动测试软件支持读取和识别形式化语言建模及形式化语言编写的测试用例脚本。测试用例是包括输入、执行条件和输出的一组输入-输出关系，用于测试某个程序是否满足某个特定需求。所述测试用例的主要实现方法是对联锁系统输入码位进行赋值，
自动测试软件根据联锁系统的联锁规则进行自动计算，并可提供任意码位的计算结果，比较所需码位计算值是否与期望结果一致，一致时给出测试通过结果，不一致时给出测试用例失败的结果；自动测试软件提供可视化站场图界面、实例化后用例调试及变量跟踪等功能。
73.所述自动测试软件可以依据测试场景的通用用例，遍历全部测试对象，生成对应的实例化测试用例，并能够支持实例化用例的调试及变量跟踪。所述通用用例为形式化语言编写的测试脚本，支持foreach遍历测试对象，支持wait/during设置延时时间，支持expect设定预期结果，脚本具有很好的可读性。
74.所述联锁规则是bool表达式的集合，涉及的bool变量包括输入变量，中间变量，输出变量。变量值为bool类型值。其中，中间变量和输出变量的值可以依据输入变量值和bool表达式计算得出。
75.如图1所示，本发明中ci-tcc接口码位自动测试方法，具体步骤如下：
76.步骤s101：读入ci-tcc接口信息表，获取车站基本信息文件，站场基本信息文件，其他外部接口文件；
77.步骤s102：利用ci-tcc接口信息表，获取与tcc接口的进路名称、方向口信号机名称，以及对应交互的码位信息；
78.步骤s103：采用形式化编程语言，编写自动测试软件可识别的tcc测试场景的通用用例；
79.步骤s104：通过自动测试软件执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；
80.步骤s105：通过自动测试软件执行一致性比较，判断ci-》tcc的输出码位是否符合预期。
81.其中，所述ci-tcc接口信息表，包括ci与tcc交互的进路、方向口信号机、调车危险信号、灾害报警等信息，以及ci与tcc之间交互的码位信息，包括ci从tcc采集的码位和ci发送给tcc的码位。
82.所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息等本站的设备信息情况。
83.所述站场基本信息文件，包括本站的拓扑连接关系、本站的全部设备属性信息。
84.所述外部接口文件，包括ci与轨旁的接口信息码位表、ci与rbc接口信息表、本ci与邻站ci的接口信息码位表。
85.所述tcc测试场景对应的测试用例，包括进路的建立、信号开放(不同信号显示)、正常解锁、人工解锁进路、区段/信号机/道岔故障场景。不同场景下，测试用例中通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的tcc接口变量期望值，作为一致性比较的参照值。
86.所述一致性比较，包括检查待测试进路/设备本身的tcc变量变化是否符合预期，以及本站其他无关的进路/设备的tcc变量是否不受影响，以及本站不相关进路的rbc变量状态是否不受影响。
87.具体地，ci-》tcc接口的一致性比较，需要检查如下：
88.(1)遍历每一条与tcc接口的进路，执行tcc接口测试用例：
89.①
判断该进路相关的tcc变量状态变化是否符合预期；
90.②
判断非本进路的其他所有不相关进路的tcc变量状态变化是否不受影响；
91.③
判断所有不相关进路的rbc变量状态变化是否不受影响。
92.(2)遍历每一条不与tcc接口的进路，执行tcc接口测试用例：
93.①
判断该进路相关的tcc变量状态变化是否不受影响；
94.②
判断所有不相关进路的tcc变量状态变化是否不受影响；
95.③
判断所有不相关进路的rbc变量状态变化是否不受影响。
96.其中，不相关进路，是指当执行的测试用例，对某进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。
97.如图2所示，本发明的ci-rbc接口码位自动测试方法，具体步骤如下：
98.步骤s201：读入ci-rbc接口信息表，获取车站基本信息文件，站场基本信息文件，其他外部接口文件；
99.步骤s202：利用ci-rbc接口信息表，获取与rbc接口的进路名称、授权点信号机名称，以及对应交互的码位信息；其中，授权点信号机名称仅在rbc协议二接口方式时获取；
100.步骤s203：采用形式化编程语言，编写自动测试软件可识别的rbc测试场景的通用用例；
101.步骤s204：通过自动测试软件执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；
102.步骤s205：通过自动测试软件执行一致性比较，判断ci-》rbc的输出码位是否符合预期。
103.其中，所述ci-rbc接口信息表，包括采用rbc协议一、协议二、协议三(rbc1、rbc2、rbc3)三种方式时与ci的交互信息表，包括rbc1/rbc3方式接口的进路信息、rbc2方式接口的进路信息、及每条进路对应的信号授权点信息、灾害区信息。具体地，通过ci-rbc接口信息表，可以获取rbc1或rbc3方式接口的进路名称，以及对应交互的码位信息；或者，可以获取与rbc2方式接口的进路名称、授权点信息(授权点信号机名称)，以及对应交互的码位信息。所述码位信息，包括ci发送给rbc的相关码位，主要是进路/信号授权点相关码位。
104.所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息等本站的设备信息情况。
105.所述站场基本信息文件，包括本站的拓扑连接关系，本站的全部设备属性信息。
106.所述外部接口文件，包括ci与轨旁的接口信息码位表，ci与tcc接口信息表，本ci与邻站ci的接口信息码位表。
107.所述rbc测试场景对应的测试用例，在接口方式采用rbc2协议时，包括测试进路建立、信号因故关闭、正进路常解锁、人工解锁、区段/信号机/道岔设备故障场景；在接口方式采用rbc1或rbc3协议时，测试《ctcs-3级列控系统无线闭塞中心(rbc)接口规范第1部分：rbc-cbi接口》规范中规定的rbc进路状态相互转换时相关变量变化，其中，rbc进路状态转换关系包括：“未激活《-》正常”、“未激活《-》引导”、“不可用-》未激活”、“正在使用-》未激活”、“正常《-》正在使用”、“引导《-》正在通过”、“不可用《-》正常”、“不可用《-》引导”，各进路状态含义参见《ctcs-3级列控系统无线闭塞中心(rbc)接口规范第1部分：rbc-cbi接口》文件。
108.不同场景下，测试用例中通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的rbc接口变量期望值，作为一致性比较的参照值。
109.所述一致性比较，包括检查待测试进路/授权点的rbc变量变化状态是否符合预期，本站其他不相关的进路/授权点的rbc变量状态是否不受影响，以及本站不相关进路的tcc变量状态是否不受影响。
110.具体地，ci-》rbc(协议二方式)接口的一致性比较，需要检查如下：
111.授权点有对应子进路：
112.(1)遍历每一条以rbc2协议接口的进路，执行rbc2协议时所适用的测试用例：
113.①
判断该进路对应的信号授权点相关变量状态是否符合预期；
114.②
判断非本进路的其他所有不相关进路对应的信号授权点相关变量状态是否不受影响；
115.③
判断所有不相关进路的tcc变量和rbc1/rbc3变量状态是否不受影响。
116.(2)遍历每一条不以rbc2协议接口的进路，执行rbc2协议时所适用的测试用例：
117.①
判断这些进路对应的信号授权点相关变量状态是否不受影响；
118.②
判断所有不相关进路对应的信号授权点相关变量状态是否不受影响；
119.③
判断所有不相关进路的tcc变量和rbc1/rbc3变量状态是否不受影响。其中，不以rbc2协议接口的进路，包括不与rbc接口的进路，也包括与rbc通过其他协议(除rbc2协议外)接口的进路。
120.授权点无对应子进路：
121.遍历相关信号授权点，执行rbc2协议时适用的测试用例，判断相关rbc2信号授权点的变量状态变化是否符合预期。
122.具体地，ci-》rbc(协议一/协议三方式)接口的一致性比较，需要检查如下：
123.(1)遍历每一条以rbc1或rbc3协议接口的进路，执行rbc1/rbc3接口测试用例：
124.①
判断该进路相关的rbc1、rbc3变量状态变化是否符合预期；
125.②
判断非本进路的其他所有不相关进路的rbc1、rbc3变量状态变化是否不受影响；
126.③
判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响。
127.(2)遍历每一条不以rbc1或rbc3协议接口的进路，执行rbc1/rbc3接口测试用例：
128.①
判断该进路相关的rbc1、rbc3变量状态变化是否不受影响；
129.②
判断所有不相关进路的rbc1、rbc3变量状态变化是否不受影响；
130.③
判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响。
131.其中，不以rbc1或rbc3协议接口的进路，包括不与rbc接口的进路，也包括与rbc以其他协议(除rbc1/rbc3协议外)接口的进路。其中，不相关进路，是指当执行的测试用例，对某进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。
132.综上所述，本发明提供一种联锁系统与外部系统接口码位的自动化测试方法，采用形式化测试脚本编写测试用例，并利用自动测试工具，便于接口间信息码位的自动测试，有效提高联锁系统与外部接口码位的测试效率，和对测试对象的覆盖率，减少人工测试时间，避免人工疏漏。
133.尽管本发明的内容已经通过上述优选实施例作了详细介绍，但应当认识到上述的
描述不应被认为是对本发明的限制。在本领域技术人员阅读了上述内容后，对于本发明的多种修改和替代都将是显而易见的。因此，本发明的保护范围应由所附的权利要求来限定。

技术特征：
1.一种联锁系统与外部系统接口码位的自动化测试方法，其特征在于，通过接口信息表，获取联锁系统与外部系统接口的进路、信号机信息，以及联锁系统与外部系统之间交互的码位信息；对形式化语言编写的测试场景的通用用例，通过自动测试软件来执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；对联锁系统输入码位进行赋值，自动测试软件根据联锁系统的联锁规则进行自动计算，得到输出码位的计算值；所述自动测试软件执行一致性比较，判断联锁系统与外部系统接口的输出码位是否符合预期。2.如权利要求1所述的自动化测试方法，其特征在于，所述的外部系统，包括列控中心tcc；通过所述的自动化测试方法进行联锁系统与列控中心接口码位的自动测试时，读入联锁系统与列控中心的接口信息表，并获取车站基本信息文件、站场基本信息文件、其他外部接口文件；通过所述联锁系统与列控中心的接口信息表，获取与列控中心接口的进路名称、方向口信号机名称，以及联锁系统与列控中心之间交互的码位信息；所述码位信息包括联锁系统从列控中心采集的码位，和联锁系统发送给列控中心的码位；所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息；所述站场基本信息文件，包括本站的拓扑连接关系、本站的全部设备属性信息；所述外部接口文件，包括联锁系统与轨旁的接口信息码位表、联锁系统与无线闭塞中心的接口信息表、本联锁系统与邻站联锁系统的接口信息码位表。3.如权利要求2所述的自动化测试方法，其特征在于，自动测试软件可识别的、以形式化编程语言编写的通用用例，包括列控中心测试场景对应的测试用例；所述测试用例包括进路的建立、信号开放及开放状态所显示的不同信号、正常解锁、人工解锁进路、区段/信号机/道岔故障的场景；不同场景下，在所述的测试用例中，通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的列控中心接口变量期望值，作为一致性比较的参照值。4.如权利要求3所述的自动化测试方法，其特征在于，通过自动测试软件执行一致性比较，判断联锁系统发送给列控中心的输出码位是否符合预期，与预期一致时给出测试通过结果，不一致时给出测试用例失败的结果；执行一致性比较时，包括：检查待测试进路/设备本身的tcc变量变化是否符合预期，本站其他无关的进路/设备的tcc变量是否不受影响，以及本站不相关进路的rbc变量状态是否不受影响；其中，rbc指无线闭塞中心。5.如权利要求4所述的自动化测试方法，其特征在于，所执行的一致性比较，包括：遍历每一条与列控中心接口的进路，执行与列控中心测试场景对应的测试用例时，进行以下检查：
判断该进路相关的tcc变量状态变化是否符合预期；判断非本进路的其他所有不相关进路的tcc变量状态变化是否不受影响；判断所有不相关进路的rbc变量状态变化是否不受影响；以及，遍历每一条不与列控中心接口的进路，执行与列控中心测试场景对应的测试用例时，进行以下检查：判断该进路相关的tcc变量状态变化是否不受影响；判断所有不相关进路的tcc变量状态变化是否不受影响；判断所有不相关进路的rbc变量状态变化是否不受影响。6.如权利要求1所述的自动化测试方法，其特征在于，所述的外部系统，包括无线闭塞中心rbc；通过所述的自动化测试方法进行联锁系统与无线闭塞中心接口码位的自动测试时，读入联锁系统与无线闭塞中心的接口信息表，并获取车站基本信息文件、站场基本信息文件、其他外部接口文件；通过联锁系统与无线闭塞中心的接口信息表，对于采用rbc1或rbc2或rbc3协议方式接口的进路，获取与无线闭塞中心接口的进路名称、联锁系统与无线闭塞中心之间交互的码位信息；所述码位信息包括联锁系统发送给无线闭塞中心的码位；对于采用rbc2协议接口的进路，还通过所述接口信息表获取授权点信号机名称；所述车站基本信息文件，包括联锁表、本站信号机、道岔、区段的基本属性、方向口闭塞信息；所述站场基本信息文件，包括本站的拓扑连接关系、本站的全部设备属性信息；所述外部接口文件，包括联锁系统与轨旁的接口信息码位表，联锁系统与列控中心的接口信息表，本联锁系统与邻站联锁系统的接口信息码位表。7.如权利要求6所述的自动化测试方法，其特征在于，自动测试软件可识别的、以形式化编程语言编写的通用用例，包括无线闭塞中心测试场景对应的测试用例；接口方式采用rbc2协议时所适用的测试用例，包括测试进路建立、信号因故关闭、正进路常解锁、人工解锁、区段/信号机/道岔设备故障的场景；接口方式采用rbc1或rbc3协议时所适用的测试用例，包括的场景可用于测试rbc进路状态相互转换时相关变量变化；其中，rbc进路状态转换的关系，包括：“未激活<->正常”、“未激活<->引导”、“不可用->未激活”、“正在使用->未激活”、“正常<->正在使用”、“引导<->正在通过”、“不可用<->正常”、“不可用<->引导”；不同场景下，测试用例中通过对输入参数设定初始值模拟命令下达操作，设定等待时间，用于执行联锁规则；还设定对应的rbc接口变量期望值，作为一致性比较的参照值。8.如权利要求7所述的自动化测试方法，其特征在于，通过自动测试软件执行一致性比较，判断联锁系统发送给无线闭塞中心的输出码位是否符合预期，与预期一致时给出测试通过结果，不一致时给出测试用例失败的结果；执行一致性比较时，包括：检查待测试进路/授权点的rbc变量变化状态是否符合预期，本站其他不相关的进路/授权点的rbc变量状态是否不受影响，以及本站不相关进路的tcc变量状态是否不受影响；其中，tcc指列控中心。
9.如权利要求8所述的自动化测试方法，其特征在于，接口方式采用rbc2协议、授权点有对应子进路时，所执行的一致性比较，包括：遍历每一条以rbc2协议与无线闭塞中心接口的进路，执行适用rbc2协议的测试用例，进行以下检查：判断该进路对应的信号授权点相关变量状态是否符合预期；判断非本进路的其他所有不相关进路对应的信号授权点相关变量状态是否不受影响；判断所有不相关进路的tcc变量和rbc1变量状态、rbc3变量状态是否不受影响；以及，遍历每一条不以rbc2协议接口的进路，执行适用rbc2协议的测试用例，进行以下检查：判断这些进路对应的信号授权点相关变量状态是否不受影响；判断所有不相关进路对应的信号授权点相关变量状态是否不受影响；判断所有不相关进路的tcc变量和rbc1变量状态、rbc3变量状态是否不受影响；接口方式采用rbc2协议、授权点无对应子进路时，所执行的一致性比较，是遍历相关信号授权点，执行rbc2接口测试用例，判断相关rbc2信号授权点的变量状态变化是否符合预期；其中，不以rbc2协议接口的进路，包括不与无线闭塞中心接口的进路，也包括采用除rbc2协议之外的其他协议来与无线闭塞中心接口的进路；其中，不相关进路，是指当执行的测试用例，对任一进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。10.如权利要求8所述的自动化测试方法，其特征在于，接口方式采用rbc1或rbc3协议时，所执行的一致性比较，包括：遍历每一条以rbc1或rbc3协议与无线闭塞中心接口的进路，执行适用rbc1或rbc3协议的测试用例，进行以下检查：判断该进路相关的rbc1变量状态、rbc3变量状态变化是否符合预期；判断非本进路的其他所有不相关进路的rbc1变量状态、rbc3变量状态变化是否不受影响；判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响。遍历每一条不以rbc1或rbc3协议接口的进路，执行适用rbc1或rbc3协议的测试用例，进行以下检查：判断该进路相关的rbc1变量状态、rbc3变量状态变化是否不受影响；判断所有不相关进路的rbc1变量状态、rbc3变量状态变化是否不受影响；判断所有不相关进路的tcc变量和rbc2变量状态变化是否不受影响；其中，不以rbc1或rbc3协议接口的进路，包括不与无线闭塞中心接口的进路，也包括采用除rbc1、rbc3协议之外的其他协议来与无线闭塞中心接口的进路；其中，不相关进路，是指当执行的测试用例，对任一进路的rbc变量/tcc变量有影响时，需要将该进路排除掉。

技术总结
本发明提供一种联锁系统与外部系统接口码位的自动化测试方法，通过接口信息表，获取联锁系统与外部系统接口的进路、信号机信息，以及联锁系统与外部系统之间交互的码位信息；对形式化语言编写的测试场景的通用用例，通过自动测试软件来执行仿真，遍历本站的测试对象，依据通用用例和站场数据生成实例化用例；对联锁系统输入码位进行赋值，自动测试软件根据联锁系统的联锁规则进行自动计算，得到输出码位的计算值；所述自动测试软件执行一致性比较，判断联锁系统与外部系统接口的输出码位是否符合预期。本发明可以提高测试效率和对测试对象的覆盖率，减少人工测试时间，避免人工疏漏。漏。漏。


技术研发人员：张铭瑶 王燕芩 杨平 杨帆 张程 胡春凤 丁浩蓝 蔡崇霞
受保护的技术使用者：卡斯柯信号有限公司
技术研发日：2022.11.18
技术公布日：2023/4/4