基于测试用例的通用联锁规则自动测试系统.pdf

2023 年 10 月第 59 卷 第 10 期铁 道 通 信 信 号Railway Signalling&CommunicationOctober 2023Vol.59 No.10基于测试用例的通用联锁规则自动测试系统辛帆，王印，谢林，杨平摘 要：为提高通用联锁规则测试效率和准确率，解决当前人工测试方式重复劳动多且颗粒度较大的问题，研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构，模块化仿真各子系统，以减少对硬件设备的依赖。系统可读取、解析并自动执行测试用例，将测试用例中定义变量的预期跳变时序解析为以指定变量为基准的相对周期，并建立一定顺序的“变量-跳变周期”矢量关系链表；同时，周期性地追踪关键变量，将测试结果与预期的矢量关系链表进行对比，以识别通用联锁规则中可能的时序问题。该系统已多次应用在国铁、城轨等相关项目的联锁规则测试中，效果良好，可为同类型项目测试提供参考。关键词：联锁规则；自动测试；测试用例；模块化仿真；布尔逻辑中图分类号：U284；TP27 文献标识码：A Automatic Test System for General Interlocking Rules Based on Test CasesXIN Fan,WANG Yin,XIE Lin,YANG PingAbstract：In order to improve the efficiency and accuracy of general interlocking rules test,and solve the problems of repetitive labor and high granularity in current manual testing methods,a automatic test system for general interlocking rules based on test cases has been developed.Based on the physical architecture of the computer interlocking system,modular simulation of each subsystem can reduce the dependence on hardware devices.The system can read,parse,and automatically execute test cases.It resolves the jump time sequence of the expected variables defined in the test cases into relative cycle adopting the specified variable as the benchmark,and establish a vector relationship linked list of“variable and jump period”in a certain order.At the DOI：10.13879/j.issn.1000-7458.2023-10.23078信号控制扫码浏览下载辛 帆：卡斯柯信号（成都）有限公司 工程师 611756 成都王 印：卡斯柯信号有限公司 高级工程师 200072 上海谢 林：卡斯柯信号（成都）有限公司 工程师 611756 成都杨 平：卡斯柯信号（成都）有限公司 高级工程师 611756 成都基金项目：卡斯柯信号（成都）有限公司开发项目（RB.1X323005）收稿日期：2023-03-19引用格式：辛帆,王印,谢林,等.基于测试用例的通用联锁规则自动测试系统J.铁道通信信号,2023,59(10):15-22.Citation：XIN Fan,WANG Yin,XIE Lin,et al.Automatic Test System for General Interlocking Rules Based on Test CasesJ.Railway Signalling&Communication,2023,59(10):15-22.15铁道通信信号 2023年第59卷第10期same time,it can track the key variables periodically and compare test results with the expected vector relationship linked list to identify potential timing issues in general interlocking rules.This system has been applied multiple times in the interlocking rules testing of related projects such as national railways and urban rail transit,and the results are good,providing reference for the testing of similar projects.Key words：Interlocking rules；Automatic test；Test cases；Modular simulation；Boolean logic计算机联锁系统是轨道交通信号系统中保障列车运行安全的重要屏障，其根据带有搜索逻辑的通用联锁规则，结合具体的站型和配置，通过布尔表达式生成工具生成特定站场的联锁逻辑1。因此，通用联锁规则是计算机联锁系统在现场安全可靠运行的基础。对通用联锁规则进行测试，是保证计算机联锁系统功能正确，检查并消除逻辑设计缺陷的必要环节。目前，针对通用联锁规则的测试手段多以人工测试为主，存在测试颗粒度大、工作量大、重复劳动多、变量分析困难等问题。为此也产生了很多针对联锁软件自动测试方法的研究，如文献 2 提出一种基于故障树的联锁安全功能黑盒测试方法；文献 3 提出一种联合上、下位机的灰盒测试系统；文献 4 提出一种基于脚本实现自动测试，以替代人工操作的联锁测试系统。然而以上各种自动测试方法，均依赖于设备状态变化而非特定的变量跳变逻辑，测试结果判定颗粒度较大。因此，本文设计了一种基于测试用例的通用联锁规则自动测试系统，以计算机联锁系统逻辑架构为基础5，模拟实际运营场景，通过追踪相关变量的跳变时序，精准定位联锁逻辑的设计缺陷，可进一步提高测试效率。1通用联锁规则自动测试系统功能需求1）测试对象。该系统主要用于测试通用联锁规则的准确性。由开发人员根据计算机联锁系统的功能需求，将联锁逻辑抽象为通用的表达式，并结合站场应用数据进行实例化，生成特定站场的布尔逻辑文件。该布尔逻辑文件需覆盖通用联锁规则的每条支路。2）测试方法。由于测试人员虽了解信号需求和相关接口功能，但对信号规则具体实现的方式并不熟悉，因此采用灰盒测试方法6-7。3）系统架构。为减少对硬件设备的依赖，该自动测试系统采用软件仿真的方式，模拟计算机联锁系统逻辑运算及接口功能，以保证对应布尔逻辑文件的运行与实际站场运行情况一致。4）时序要求。基于布尔逻辑的通用联锁规则对时序的要求是非常严格的，现场实际运行过程中出现的故障，大多是由于各变量的跳变顺序不正确而产生的。因此，在测试用例中需定义联锁逻辑的中间变量和输出变量的触发时机和跳变时机。自动测试系统解析测试用例中的操作命令及变量信息，由对应模块接收并执行操作命令；记录每个变量的跳变周期；结合实际运行结果与预期结果是否一致，来判断通用联锁规则逻辑设计的正确性。2系统架构依据计算机联锁系统功能，通用联锁规则自动测试系统逻辑架构见图1。1）测试用例解析和执行模块：获取测试用例各步骤的操作命令和变量跳变信息，并依次下发到对应的仿真模块。模拟上位机模块接口仿真模块模拟下位机模块结果判定模块自动测试系统测试用例测试结果测试用例解析和执行模块模拟邻站联锁下位机模块图1 自动测试系统逻辑架构16Railway Signalling&Communication Vol.59 No.10 20232）模拟上位机模块：提供人机交互接口，显示站场的实时状态，并向模拟下位机模块发送操作命令。3）模拟下位机模块：执行联锁布尔逻辑文件运算，通过接口仿真模块实现驱采功能。4）接口仿真模块：以仿真目标控制器获取其他子系统的接口信息，驱动室外设备并能实时采集设备状态。5）模拟邻站联锁下位机模块：仿真相邻联锁集中站的逻辑运算，实现与本站的通信功能。6）结果判定模块：获取各测试步骤的预期结果，与各仿真模块实际运行结果进行一致性对比，作为确认测试通过的依据。3功能实现3.1测试用例解析与执行自动测试系统需从测试用例中解析需执行的操作命令，获取对应的追踪变量，并确定追踪变量的跳变时机。3.1.1测试用例规定格式在测试用例文件中可以定义若干测试用例，测试用例规定格式见图2。1）测试步骤列：标识每条用例的执行步骤。2）执行操作列：以功能函数的方式8定义对应测试步骤下需要执行的操作和操作对象；特殊测试场景下，同一步骤可定义多个操作命令，表示在同一周期内可同时下达多个命令。功能函数类型及含义见表1。3）追踪变量列：定义执行操作完成后需追踪的所有关键变量。4）等待周期列：定义追踪变量发生跳变的具体周期或时间。5）预期变量状态列：对应周期追踪变量的预期变化，可定义为状态的跳变或持续保持。6）追踪变量开始基准列：以“变量名=变量状态”的格式定义“追踪变量列”中对应变量跳变的追踪基准。如果某追踪变量开始基准列为空，则解析为追踪变量的基准变量与前一个追踪变量的追踪基准一致。3.1.2测试时序自动测试系统不仅需追踪可判定运算结果的关键变量，还需确认操作命令执行过程中相关变量的状态变化和跳变时机，以确保执行过程、运算结果的准确性。自动测试系统需先确定追踪基准，再解析追踪变量跳变的相对时机，即在追踪基准变量发生预期变化的若干周期后，追踪变量会发生预期跳变。同时，当前追踪变量又可以作为后续其他变量跳变的基准。自动测试系统将测试场景下所有关键变量跳变解析为：“变量名称1状态跳变-跳变周期/跳变时间变量名称2状态跳变-跳变周期/跳变时间变量名称n状态跳变-跳变周期/跳变时间”的一个或多个矢量关系链表。依据该变量跳变的矢量关系链表，可以获得完整的功能测试时序。在某一步骤操作执行后，系统完成当前步骤定义的所有变量追踪，即开始执行下一操作步骤，以保证各操作步骤之间的时序均可依据场景需求执行。3.1.3追踪变量周期转换布尔逻辑文件中，依据追踪变量是否立刻响应表达式，将其划分为时间变量和非时间变量。对于表头名称.测试步骤.执行操作.追踪变量.等待周期.预期变量状态.追踪变量开始基准.图2测试用例规定格式表1功能函数定义功能函数MMISET()ROUTE()SET()LOCK()UNLOCK()RESTART()定义模拟上位机下发操作命令;上、下位机通信采用RSSP-协议,上位机以脉冲形式发送一个周期有效的应用层码位命令9模拟下发进路建立命令;进路相关道岔扳动到位后,上位机下发进路始终端命令至下位机模拟将外部接口码设置为指定状态模拟外部信号设备故障,接口码位不能发生翻转模拟外部信号设备故障解除,接口码位可根据室外逻辑仿真发生翻转模拟联锁机重启17铁道通信信号 2023年第59卷第10期时间变量，当其布尔运算表达式成立时，会先触发变量的计时器，在指定时间计时结束后再进行码位跳变；对于非时间变量，当其布尔运算表达式成立时，变量立刻发生跳变10。在测试用例中，对时间变量的跳变时机定义为等待时间，即在“变量状态等待周期”列以秒（s）为单位定义时间值；对非时间变量的跳变时机定义为等待周期，即在“变量状态等待周期”列不加单位。计算机联锁系统的运算主周期可根据项目需要进行配置。为保证测试准确性，需要将不同类型变量的跳变时机均转化为对应周期进行测试，以确定周期级变量的时序，并以周期为单位进行逻辑判断。时间变量等待时间与等待周期的换算公式为P=T Cycle（1）式中：P为周期数，T为时间值，Cycle为联锁运算主周期。在所有跳变时机完成周期转换后，依据周期数从小到大依次排列，重新填充、生成新的矢量关系链表。该矢量关系链表具有严格的周期时序，可直接作为测试结果判定的依据。如果解析后若干变量的跳变时机在同一周期，则表示这些变量不需要区分先后的时序关系。3.2接口仿真该自动测试系统仅对外部接口的应用层数据进行仿真，以实现脱离硬件限制的通用联锁规则测试，在系统集成测试时再覆盖其他层级的接口测试。外部接口仿真主要分为：与轨旁设备的接口仿真、与相邻联锁的接口仿真，以及其他接口仿真3个部分。3.2.1 与轨旁设备的接口仿真接口仿真模块采用黑盒测试方法，将轨旁设备的驱采逻辑抽象为输入、输出和响应时间的码位组合，并在仿真配置文件中定义。对轨旁设备而言，其输入为计算机联锁系统的驱动码位命令，输出为轨旁设备响应对应命令的码位状态，响应时间为码位状态跳变的时机。轨旁设备接口仿真逻辑示意见图3，仿真步骤如下。Step 1 某一周期内下位机输出的驱动码位发生变化，接口仿真模块搜索仿真配置文件中是否存在与当前驱动码位一致的输入码位组合，若不存在，则忽略本次驱动码位跳变；若存在，则需获取其对应的输出码位组合及响应时间。Step 2 判断输出码位是否处于模拟故障状态，若是则忽略本次驱动码位跳变；若否则开始等待指定响应时间的延时。Step 3 判断延时过程中驱动命令是否发生变化，若没有发生变化，则在延时结束后将输出码位设置为指定状态；若发生变化，则接口仿真模块立即放弃对输入码位的响应逻辑，重新匹配仿真配置文件的码位组合。3.2.2 与相邻联锁的接口仿真采用与本站下位机模块相同的实现方法，为邻站下位机模块设置独立线程，并执行相应布尔逻辑文件的逻辑运算，通过网络通信与本站模拟下位机模块实现信息交互。3.2.3 其他接口仿真根据模拟下位机模块的运算结果，将输出码位传递给接口仿真模块；同时通过测试用例中的定义函数开始逐周期监控下位机运算结果本周期涉及驱动码位跳变获取对应设备所有的驱动码位组合在仿真配置文件中查找与当前跳变码位一致的组合有一致的驱动-采集-响应时间组合获取该驱动码位组合对应的采集码位组合及跳变响应时间按照获取到的采集码位组合的跳变响应时间执行延时等待N YYY对应跳变响应时间后，将采集码位分别置到对应状态结束N N采集码位处于模拟故障状态NY延时期间该设备驱动码位有新的跳变图3 轨旁设备接口仿真逻辑示意18Railway Signalling&Communication Vol.59 No.10 2023SET（），实现其他子系统发送的输入码位状态设置。3.3结果判定根据测试用例的解析方法和变量追踪周期的转换方法，可以将测试用例执行后的预期结果精确到周期级，测试用例的执行结果需与周期相对应，才可以认为执行成功。结果判定流程见图4，仿真步骤如下：Step 1 将测试用例中所有需追踪变量的跳变等待时间统一转换为周期；依据基准变量，获取每一步操作命令执行后的追踪时序。Step 2 依次记录操作命令执行的运算结果。Step 3 将运算结果与解析后的变量追踪时序进行一致性对比。若任一变量状态与预期追踪时序不一致，判定为执行失败，记录对应的执行步骤及变量，退出执行当前用例；若一致，则在测试记录中标记关键变量，继续执行操作命令，直至所有步骤执行结束。标记的测试记录作为变量分析的依据供测试人员查验。自动测试系统人机交互界面，可对执行过的测试用例给予测试通过或测试失败的状态提示，测试用例结果界面见图5，点击用例名称可查看测试用例的执行细节。4试验验证以进路动作道岔功能测试为例，站场示意见图6。图6中，P02C道岔采用双机牵引的电子五线制接口11-12，其初始状态在定位，将P02C道岔单操到反位后，测试其是否可以被进路操纵到定位，且道岔条件满足后是否开放始端信号。该测试用例包含2个执行操作命令，见表2。开始结束判定当前测试用例执行成功YYNN当前步骤变量变化均符合预期将测试用例中跳变时间转换为周期数，确定变量跳变的准确时机对测试用例逐步执行，依次记录操作命令执行后的运算结果结果判定模块根据测试记录与解析到的变量跳变时机进行一致性比较判定当前步骤执行成功，在测试记录中标记关键变量判定测试用例执行失败，标记对应步骤及相关变量测试用例所有步骤均已执行图4 结果判定流程图5 测试用例结果界面19铁道通信信号 2023年第59卷第10期在执行“将P02C单操到反位”操作时：由于转辙机的动作时间不确定，P02C道岔反位表示继电器状态（P02C-FBJ）以道岔第一个牵引点的反位表示状态码位（P02C-J1DBJ-CPDM5=1）为追踪基准，该继电器应在收到第一个牵引点反位表示状态有效的同一周期励磁；在道岔正常动作过程中，不会误报挤岔报警（P02C-JCJ=1）。结果判定模块根据下位机运算周期，将 15 s转换为60个周期（下位机运算周期为250 ms），并检查挤岔报警在60个周期内应始终处于无效状态。在 执 行“办 理 进 路 S08C-S12C”操 作 时：测试用例中重新以进路始端命令为追踪基准（S08C-LRC=1）追踪关键变量；系统应在各变量满足联锁逻辑的前提下，收到进路始终端命令后，同一周期内变量S08C-LKJ跳变为有效状态，并在下一周期驱动变量 S08C-LXJ 跳变为有效状态。测试用例解析和执行流程见图 7，测试步骤如下：Step 1 解析测试用例，获取需执行的操作为模拟上位机命令，将 P02C 道岔反操码位 P02C-FCCL发送到模拟上位机，由上位机向下位机发送单周期有效的反操命令。Step 2 下位机在收到上位机命令的当前周期，向转辙机的 2 个牵引点输出驱动命令，即 P02C-J1DCJ-QPDM5=1，P02C-J2DCJ-QPDM5=1。Step 3 接口仿真模块在收到道岔驱动命令后，对仿真配置文件中采集-驱动组合进行匹配，模拟道岔室外动作，即在收到驱动命令后切断2个牵引点的定位表示，若干周期后，模拟采集到2个牵引点的反位表示。S08CS41CP02CT06CS12C图6 站场示意表2道岔功能测试用例测试步骤Step 1/*将P02C单操到反位*/Step 2/*办理进路S08C-S12C*/执行操作MMISET(P02C-FCCL)ROUTE(S08C-S12C)追踪变量P02C-FCCLP02C-FCJP02C-J1FCJ-QPDM5P02C-J2FCJ-QPDM5P02C-JCJP02C-J1FBJ-CPDM5P02C-J2FBJ-CPDM5P02C-FBJP02C-JLDCP02C-DCJP02C-J1DCJ-QPDM5P02C-J2DCJ-QPDM5P02C-J1DBJ-CPDM5P02C-J2DBJ-CPDM5P02C-DBJS08C-LRCS08C-LKJS08C-LXJ变量状态等待周期000015 s0000000000001预期变量状态0-10-10-10-10-00-10-10-10-10-10-10-10-10-10-10-10-10-1追踪变量开始基准P02C-FCCL=1P02C-J1FBJ-CPDM5=1P02C-JLDC=1P02C-J1DBJ-CPDM5=1S08C-LRC=120Railway Signalling&Communication Vol.59 No.10 2023Step 4 当前步骤执行完毕后，测试系统在测试记录中与解析的测试用例预期结果逐一进行一致性对比，当所有的变量对比均一致后，则判定当前步骤执行成功；在下一周期，立即执行下一步骤。Step 5 解析测试用例下一步骤，获取进路建立命令；上位机先发送进路操纵命令，当P02C道岔扳动到指定位置后，再发送进路始终端命令，并进行结果判定。输出测试用例执行结果，测试用例分析与通用联锁规则的设计一致，可以通过测试。5结束语相对于传统的人工测试方法，本文研发的自动测试系统对通用联锁规则中可能存在的时序问题更加敏感，能更好地测试出通用联锁规则中潜在的设计问题，极大地提高了测试效率及准确率，并在实际测试中具有很好的适用性。下一步可在该自动测试系统中增加实例化模块，依据通用联锁规则测试用例和联锁表等数据，生成特定站场的测试用例，并能自动执行且判断测试结果，以解决当前工程项目测试效率低、重复劳动多等问题。参考文献1 杨平,谢林.基于布尔代数的通用联锁逻辑生成方法J.铁道通信信号,2021,57(6):54-57,61.YANG Ping,XIE Lin.General Interlocking Logic Generation Method Based on Boolean AlgebraJ.Railway Signalling&Communication,2021,57(6):54-57,61.上位机执行函数进路建立函数接口码位设定函数设备故障注入函数设备故障解除函数下位机重启函数解析进路名称解析接口码位名称及码位对应的状态解析采集码位名称根据命令运算室外道岔动作到位上位机下发进路始终端命令脉冲Y下位机持续运算解析采集码位名称下位机持续运算立即重启下位机结束开始YNNNNNYYYYYYYNNNN仿真室外动作有对外的码位驱动NY判别执行通过NYYN联锁请求该采集码位相关驱动测试用例解析模块模拟上位机模块接口仿真模块模拟下位机模块/邻站下位机模块结果判定模块从当前用例“执行操作列”获取下一步骤命令解析上位机码位名称将该码位置一个周期高电平脉冲上位机根据进路上道岔位置发送道岔动作请求将该接口码位设置为指定状态锁定该采集码位状态该采集码位不进行响应，保持当前状态采集码位处于锁定状态解锁该采集码位状态该采集码位根据驱动命令，模拟跳变条件满足时，驱动室外道岔转动根据进路始终端命令，建立进路下位机根据室外接口码位状态变化运算联锁请求该采集码位相关驱动命令错误，判别执行失败将测试记录与解析结果进行一致性判别判别执行失败，记录错误变量及步骤判别执行成功，在测试结果中标记关键变量当前用例最后一个步骤图7 测试用例解析和执行流程21铁道通信信号 2023年第59卷第10期2 徐中伟,吴芳美.嵌入式联锁软件模拟自动测试平台的研究J.铁道学报,2001(5):60-64.XU Zhongwei,WU Fangmei.On the Embedded Simulative Platform for Automatic Testing of CISSJ.Journal of the China Railway Society,2001(5):60-64.3 程磊,李卢强,程运安.基于灰盒测试的计算机联锁系统软件自动测试研究J.合肥工业大学学报(自然科学版),2010,33(5):670-673,682.CHENG Lei,LI Luqiang,CHENG Yun an.Research on Automatic Test on Computer Interlocking System Software Based on Gray-box TestJ.Journal of Hefei University of Technology(Natural Science),2010,33(5):670-673,682.4 任芳.基于传统测试经验的计算机联锁自动测试脚本设计研究J.铁道通信信号,2022,58(4):6-10,15.REN Fang.Design and Research of Automatic Test Script of Computer Interlocking Based on Traditional Test ExperienceJ.Railway Signalling&Communication,2022,58(4):6-10,15.5 国家铁路局.TB/T 34822017 铁路计算机联锁安全原则S.北京:中国铁道出版社,2017.6 李秋英,刘斌,阮镰.灰盒测试方法在软件可靠性测试中的应用J.航空学报,2002(5):455-458.LI Qiuying,LIU Bin,RUAN Lian.Application of Gray-box Testing Method in Software Reliability TestingJ.Acta Aeronautica et Astronautica Sinica,2002(5):455-458.7 ACHARYA S,PANDYA V.Bridge between Black Box and White Box-Gray Box Testing TechniqueJ.International Journal of Electronics&Computer Science Engineering,2013,2(1):175-185.8 李文涛.计算机联锁仿真试验自动执行平台研究J.铁路通信信号工程技术,2022,19(1):1-6.LI Wentao.Research on Automatic Execution Platform of Computer Based Interlocking Simulation TestJ.Railway Signalling&Communication Engineering,2022,19(1):1-6.9 国家铁路局.TB/T 3528.22018 铁路信号安全通信协议 第 2 部分:型协议S.北京:中国铁道出版社,2018.10陈吉余,何红光.基于参数追踪的联锁系统运行状态检测的研究与应用J.电子技术与软件工程,2022(10):55-58.11何涛,范多旺,魏宗寿,等.铁路车站信号计算机联锁全电子执行单元研究J.铁道学报,2007(2):118-121.HE Tao,FAN Duowang,WEI Zongshou,et al.Research on the All-electronic Performance Units for Computer Interlocking Systems at Railway StationsJ.Journal of the China Railway Society,2007(2):118-121.12何涛,范多旺,魏宗寿.计算机联锁全电子三相交流转辙机控制模块J.铁道学报,2011,33(4):80-83.HE Tao,FAN Duowang,WEI Zongshou.All-electronic Control Module of Computer Interlocking System of Three-phase AC SwitchesJ.Journal of the China Railway Society,2011,33(4):80-83.（责任编辑：吴莉珺，张 利）22