城轨交通全自动运行系统组合测试用例生成方法.pdf

2023 年 11 月第 59 卷 第 11 期铁 道 通 信 信 号Railway Signalling&CommunicationNovember 2023Vol.59 No.11城轨交通全自动运行系统组合测试用例生成方法陈争，孙可心，刘传刚，冉怡明，李任宇摘 要：为提高城轨全自动运行系统测试的全面性，结合时间自动机建模方法和组合测试理论，提出全自动运行系统组合测试用例生成方法。首先，以全自动运行系统运营场景为测试建模对象，基于时间自动机建模方法，描述全自动运行系统的运营场景，利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径；其次，采用输入域建模理论，提取测试路径反映的系统工况作为组合测试的输入参数，利用组合测试算法生成全自动运行系统的组合测试用例；最后，以全自动运行系统中的唤醒场景为例，采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型，以向前跳跃失败为例，采用2-维组合覆盖生成组合测试用例。结果表明，测试用例100%覆盖测试模型所有的边和节点，以及测试模型任意2个输入之间的组合，提升了全自动运行系统测试的完备性。关键词：城市轨道交通；全自动运行系统；时间自动机；组合测试；测试用例；唤醒中图分类号：U231+.6；TP206+.1 文献标识码：A Method for Generating Combined Test Cases of the Fully Automatic Operation System in Urban Rail TransitCHEN Zheng,SUN Kexin,LIU Chuangang,RAN Yiming,LI RenyuAbstract：In order to improve the comprehensiveness of the testing of the fully automatic operation system in urban rail transit,a method for generating combined test cases of the fully automatic operation system is proposed by combining the modeling method of time automata and the theory of combined testing.Firstly,taking the operational scenario of the fully automatic operation system as DOI：10.13879/j.issn.1000-7458.2023-11.22393城轨交通扫码浏览下载陈 争：青岛四方机车车辆股份有限公司 高级工程师 266111 山东青岛孙可心：中车青岛四方机车车辆股份有限公司 工程师 266111 山东青岛刘传刚：中车青岛四方机车车辆股份有限公司 高级工程师 266111 山东青岛冉怡明：西南交通大学信息科学与技术学院 硕士研究生 610097 成都李任宇：西南交通大学信息科学与技术学院 硕士研究生 610097 成都基金项目：四川省科技计划（2021YJ0070）收稿日期：2022-12-11引用格式：陈争,孙可心,刘传刚,等.城轨交通全自动运行系统组合测试用例生成方法J.铁道通信信号,2023,59(11):62-69.Citation：CHEN Zheng,SUN Kexin,LIU Chuangang,et al.Method for Generating Combined Test Cases of the Fully Automatic Operation System in Urban Rail TransitJ.Railway Signalling&Communication,2023,59(11):62-69.62Railway Signalling&Communication Vol.59 No.11 2023the test modeling object,a time automata modeling method is used to describe the operational scenario of the fully automatic operation system.Yggdrasil is used to generate 100%test paths that meet both the node coverage and edge coverage of the timed automata model of the operation scenarios.Then,the input domain modeling theory is used to extract the system working conditions reflected by the test path as the input parameters of the combined test,and the combined test algorithm is used to generate the combined test cases of the fully automatic operation system.Finally,taking the wake-up scene in the fully automatic operation system as an example,a time automata model of the wake-up scenario is established using UPPAAL from five aspects:ATP,ATO,TCMS,AOM,and vehicles.Taking forward jog failure as an example,2-dimensional combination coverage is used to generate combined test cases.The results show that the test cases 100%cover all edges and nodes of the test model and the combination of any two inputs of the test model,which improves the test completeness of the fully automatic operation system.Key words：Urban rail transit；Fully Automatic Operation（FAO）；Timed automata；Combined testing；Test cases；Wake-up全自动运行（Fully Automatic Operation，FAO）系统是基于计算机、通信、控制和系统集成等技术，实现列车运行全过程自动化的新一代城市轨道交通系统，不需要配置列车司机，能够有效地保证运行安全，提高运行效率，降低运营成本，增强对客流变化的响应能力1。近年来，随着车辆、信号、通信和综合监控等核心专业自动化水平的不断提高，FAO系统已经在我国大中城市的轨道交通中进入了实际应用阶段，代表了智慧城轨的重要发展方向。相比较传统的地铁列车控制系统，FAO系统对可靠性、可用性、维修性、安全性指标提出了更高要求，因此在投入运营前需要进行全面测试，而覆盖全面的测试用例对保证全自动运行系统测试的完备性具有重要意义。目前，FAO系统的研究主要集中在系统方案设计、优化和仿真平台方面。如：文献 2 从FAO系统的运营需求出发，提出一套满足全自动运行过程中清客控制管理的设计方案；文献 3研究FAO系统场景验证平台，能够在系统建设初期优化场景设计，指导功能开发；文献 4 对全自动运营场景进行梳理，研究不同运营场景对车辆、信号、通信和综合监控等关键装备的功能需求及接口关系，为工程设计人员提供参考；文献5研究正线休眠唤醒区域全覆盖的设计要点和运营效益，并提出相关的操作建议；文献 6 将基于数据驱动的测试方法引入到FAO系统的测试中，简化测试平台的搭建，提高测试的有效性和完备性；文献 7-8 研究FAO系统典型运营场景，提取功能与性能的需求，构建时间自动机网络模型，并验证其功能属性、性能属性和安全属性，为系统设计与实现奠定基础；文献9研究FAO系统的互联互通特点，构建适合互联互通的FAO系统测试环境，提出完备的互联互通测试方案；文献 10研究全自动运行外场测试的功能需求和选址条件，提出不同条件下的测试方案；文献11基于仿真测试平台，对全自动无人驾驶系统的关键场景进行分析，探讨室内仿真测试方案，并在上海轨道交通全自动无人驾驶18号线和15号线进行了应用。组合测试是检测系统各种交互组合的测试理论。近年来，该理论在轨道交通领域的测试中得到了深入的研究和广泛应用，如文献 12-14 在高铁信号系统的测试中引入了组合测试技术。本文基于时间自动机建模方法和组合测试理论，提出FAO系统的组合测试用例生成方法，对保证FAO系统测试的全面性和完备性具有重要意义。1时间自动机时间自动机（Timed Automata，TA）由Stanford大学的Rajeev Alur和David Dill于20世纪90年代提出。时间自动机对有限自动机进行扩展，使用时钟变量表示有时间约束的状态转换关系，从而可以处理实时系统15。由Aalborg大学和Uppsala大学在1995年联合研发的基于时间自动机的实时系统模拟和验证工具UPPAAL，能够对实时系统进行建模、仿真、验证和生成测试用例，具有高效、简便的特点16。UPPAAL对时间自动机理论进行了扩展，增加了 int 变量、bool 变量、广播通道63铁道通信信号 2023年第59卷第11期（broadcast chan）等元素17。定 义 1 时 间 自 动 机。TA 是 一 个 六 元 组，其中：L 是状态的集合，l0 L为初始状态；B为通道集合；C为时钟变量集合，V为有界整型变量集合，设(C，V)为条件表达式的集合，R(C，V)为所有时钟变量的重置操作和整型变量赋值操作的集合；E 为边的集合，ELB？！(C，V)R(C，V)L；B？！为操作集合，B？！=a？|aB a！|aB；元素(l，l)E描述了一条从状态l到状态l的边，其中为边上的操作，为转移条件，为重置操作或赋值操作；I：L(C，V)表示状态上的时间不变式。定义 2 路径。设l，lL，TA 的一条路径p是 一 个 边 的 序 列：p=(l，1，1，1，l1)；(l1，2，2，2，l2)；(ln-1，n，n，n，l)。此时，称l通过路径p可以到达l，简称l从l可达。UPPAAL包括系统编辑器、模拟器、验证器和测试用例生成器（Yggdrasil）等模块。其中，系统编辑器用于创建和编辑TA模型，Yggdrasil以边覆盖为覆盖准则，提供序列文件（Query File）、深度搜索（Depth Search）和单步（Single Step）3种方法，自动从TA模型生成测试路径18。2组合测试作为系统安全性测试中的一种重要测试方法，组合测试围绕系统输入域的交互组合，在保证组合覆盖的前提下，对系统实施高效、完备的测试。通常，组合测试重点检测系统因各种交互组合而造成的系统故障19。组合测试主要包括组合测试建模、测试用例生成、测试执行、错误定位和结果评估等步骤，见图1。其中组合测试建模是根据被测系统的需求规格，辨识系统的输入参数及其取值，确定约束条件，构建系统的输入模型；测试用例生成是根据构建的输入模型，利用各种组合测试用例生成方法，构造被测系统的组合测试用例集。定义3 t-维组合覆盖。对于路径p及其序列集T，给定组合强度t（t|p|），对于p的任意t-事件组合的任一t-值模式，若T中都至少存在一条测试序列覆盖，那么T满足t-维组合覆盖，称T为 p 的 t-维组合测试用例集，简称 t-维测试用例集。t-维组合覆盖通过构造测试用例集，对被测系统任意t个输入参数之间所有的交互取值组合至少覆盖1次。假设某系统包括a，b，c 3个输入变量，每个输入变量均包括2个取值，0和1，则全组合需要执行222=8次测试。若采用组合测试，选用2-维组合覆盖，应用组合测试用例生成工具ACTS共生成4条测试用例，即可完全覆盖a，b，c中任意2个变量的取值组合，组合测试用例见表1。3全自动运行系统组合测试用例生成通常采用UPPAAL对FAO系统进行测试建模时，主要是利用int、bool和chan等类型描述系统的功能流程，并依据TA模型生成测试路径，重点关注系统的功能逻辑。在实际执行测试时，需要提取测试路径上信号或变量描述的具体工况，进而将测试路径实例化为具体的操作或测试数据。由于FAO系统功能复杂，测试路径通常为一系列的操作流程，涉及多个变量，每个变量代表的具体工况可能为1个或多个，如模式转换，方向手柄和制动手柄在“0位”或“非0位”等，因此为对FAO系统进行全面测试，需要覆盖测试流程中变量值的各种组合，即：测试需求=（方向手柄 0 位，制动手柄 0位），（方向手柄0位，制动手柄非0位），（方向手柄非0位，制动手柄0位），（方向手柄非0位，制动手柄非0位）。由于对所有组合情况全部进行测试，在测试时间和测试开销方面是不实际的，而组合测试技术可需求规格组合测试建模测试用例生成测试执行错误定位结果评估图1 组合测试主要步骤表1组合测试用例序号1234a1100b1010c011064Railway Signalling&Communication Vol.59 No.11 2023以在保障变量组合覆盖的基础上，大大降低测试用例数量，提高测试效率，因此结合 FAO 系统的TA建模流程和组合测试理论，提出 FAO系统组合测试用例生成方法。FAO系统组合测试用例生成流程见图2，包括时间自动机建模、基于时间自动机模型的测试路径生成和组合测试用例生成3个阶段。1）时间自动机建模。首先，基于FAO系统的需求规范，依据时间自动机语法，采用UPPAAL建立TA模型；然后，采用UPPAAL提供的仿真模拟和形式化验证技术，检测模型的正确性，如果模型不正确，则根据仿真和验证结果修正模型。2）测试路径生成。利用Yggdrasil提供的测试路径生成方法，结合形式化验证的性质文件，利用Query File、Depth Search 和 Single Step 3 种方法，自动生成FAO系统的测试路径。3）组合测试用例生成。首先，提取TA模型中的chan和变量，基于FAO系统的需求规范，采用输入域建模理论20，对chan和变量的输入空间进行划分，提取chan和变量在测试执行中代表的工况，作为组合测试的输入参数值；然后，结合生成的测试路径，采用组合测试算法或工具，生成FAO系统的组合测试用例。下面以FAO系统的唤醒场景为例，介绍FAO系统组合测试用例的生成过程。4唤醒场景组合测试用例生成4.1唤醒场景功能逻辑列车在投入运营前，FAO系统需要进行唤醒，激活列车，并对列车的实际情况进行检查，达到故障预警、缓解日常运维对人力的需求、提高FAO系统运维效率的目的。行车综合自动化系统根据运行时刻表，提前唤醒即将投入运营的车辆；车载收到唤醒命令后，车载控制器（Vehicle On Board Controller，VOBC）和车辆进行上电自检。如果自检成功，列车满足静态、动态测试条件，则由VOBC发起、车辆配合，进行列车静态、动态测试；如果测试成功，VOBC将向行车综合自动化系统汇报唤醒成功。如果自检失败或不满足测试条件，将不进行列车静态和动态测试，列车唤醒失败21。FAO系统唤醒功能动态测试序列见图3。提取变量进行输入空间建模否开始结束 是生成组合测试用例时间自动机建模测试路径生成组合测试用例生成FAO系统TA建模仿真验证，模型正确基于TA模型生成测试路径图2 FAO系统组合测试用例生成流程ATPAOMTCMSATO鸣笛指令向前跳跃指令带方向的跳跃指令带方向的跳跃指令带方向的跳跃指令跳跃反馈指令跳跃反馈指令跳跃完成跳跃距离鸣笛指令牵引零速状态向后跳跃指令带方向的跳跃指令带方向的跳跃指令跳跃反馈指令跳跃反馈指令牵引零速状态带方向的跳跃指令跳跃完成等待预定时间跳跃距离车辆图3 唤醒功能动态测试序列65铁道通信信号 2023年第59卷第11期1）FAO系统接收到列车唤醒命令，由列车自动防护系统（Automatic Train Protection，ATP）检查列车预设最高驾驶模式为FAO模式、车辆方向手柄设在 0 位、车辆牵引制动手柄在 0 位、VOBC头尾通信正常、司机钥匙在关闭位、检修按钮在非检修位等条件满足后，系统按预设的顺序选择驾驶端，进行静态测试。2）静态测试完成后，ATP 通过列车自动驾驶系统（Automatic Train Operation，ATO）向列车控制和管理系统（Train Control and Management System，TCMS）发送预设时长的鸣笛指令，车辆进行鸣笛操作，提醒库内工作人员。3）ATP向ATO发送向前跳跃指令，ATO判断满足动态测试条件，向ATP发送带方向的跳跃指令。该指令通过辅助驾驶单元（Assistant Operation Module，AOM）传输给车辆，车辆收到带方向的跳跃指令后，执行动态测试准备，通过 TCMS向ATO发送跳跃反馈指令；ATO收到跳跃反馈指令后，向车辆输出预设时长和大小的牵引。ATO检测到车辆处于零速状态后，向ATP发送跳跃完成标志。4）ATP向ATO发送向后跳跃指令，系统处理流程与向前跳跃类似。5）ATP 接收到跳跃完成标志后，判定完成本端动态测试，进行自动换端操作，在另一端进行静态测试和动态测试。当两端的静态、动态测试均通过后，ATP向控制中心汇报唤醒完成。向前跳跃和向后跳跃的过程中，ATP监督列车跳跃过程中的速度、加速度和跳跃距离，若任一项超过预定义值，ATP判断跳跃异常，输出紧急制动；若在规定时间内未收到ATO的跳跃完成指令，则认为跳跃失败。4.2唤醒场景时间自动机建模FAO 系统列车唤醒功能时间自动机模型见图 4，记为 AwakeTA，包括 ATP 模型（ATPTA）、ATO 模 型（ATOTA）、AOM 模 型（AOMTA）、TCMS模型（TCMSTA）和列车模型（TrainTA）5个部分，即AwakeTA为这5个时间自动机模型的积AwakeTA=ATPTA|ATOTA|AOMTA|TCMSTA|TrainTAAwakeTA包括61个节点、83条边、31个broadcast chan、10 个 int 变量和 1 个时钟变量，主要broadcast chan的含义见表2。1）ATPTA模型描述ATP与ATO、AOM之间的交互信息，包括发送鸣笛、向前跳跃、向后跳跃等指令，接收并发送带方向的跳跃指令和接收跳跃完成标志。2）ATOTA模型描述ATO接收ATP和TCMS的信息，运算后进行响应的过程。3）AOMTA模型描述AOM与ATP、车辆的交互信息，AOM接收由ATP发来的带方向的跳跃指令，并转发给车辆。4）TCMSTA模型描述TCMS与ATO、车辆的交互信息，TCMS接收来自车辆的跳跃反馈指令，并转发给ATO。5）TrainTA模型描述车辆与 AOM、TCMS 之间的交互信息，车辆接收到由AOM发来的带方向的跳跃指令后，将跳跃反馈指令发送给TCMS。AwakeTA唤醒过程中包括静态测试前的设备状态条件不满足、自检失败、向前跳跃异常、向后跳跃异常和跳跃超时5类故障。AwakeTA检测到异常后，发送唤醒失败，结束唤醒操作。4.3唤醒场景测试路径生成采用Yggdrasil提供的Query File、Depth Search和Single Step 3 种测试路径生成方法，结合文献18 提出的测试路径生成算法，对AwakeTA一共生成14条测试路径，其中Query File生成测试路径8条，Depth Search生成测试路径1条，Single Step生成测试路径 5 条，节点覆盖率和边覆盖率均为100%。以向前跳跃失败为例，在 AwakeTA的 14条测试路径中，包括2条相关的测试路径。1）测试路径p1：接收唤醒命令后，FAO系统表2AwakeTA主要broadcast chan含义序号12345678910broadcast chanWakeUpGetHeaderSelfCheckPassBackJogCmdForJogCmdO_BackJogRespM_JogRespBackJogFailJogPassJogDist含义唤醒获取激活端自检通过向后跳跃向前跳跃ATO向后跳跃反馈AOM跳跃向后跳跃失败跳跃完成跳跃距离66Railway Signalling&Communication Vol.59 No.11 2023自检成功，选择激活端，进行向前跳跃，跳跃存在异常。2）测试路径p2：接收唤醒命令后，FAO系统自检成功，选择激活端，进行向前跳跃，跳跃成CCInitSycFlag-,O_CtlFlag=0SycFlag-,O_CtlFlag=0O_SelfChkFail!SycFlag-O_CtlFlag=1SelfCheck?CheckingO_SelfChkSuc!SycFlag+SycFlag-,O_CtlFlag=0CheckSucMDMDRespToJogForJogForRespBackForJogBackForJogForJogDoneMDCmd?M_MD!DynTesting1=1ForJogCmd?O_ForJogResp！StartJog?Joging!JogPass!BackJogFail=trueBackFailO_CtlFlag=0BackJogCmd?BackJogBeackRespStartForJogJoging!ForFallJogPass!O_BackJogResp!StartJog?ForJogStateBackJogDoneForJogFail=false,BackJogFail=false CInitCheckingCheckSucJogRespJogCmdSelfCheck?SelfChkFail!M_M_CtlFlag=1SycFlag-,M_CtlFlag=0 M_SelfChkSuc!M_JogResp?N_JogCmd!SycFlag+SycFlag-,M_CtlFlag=0(c)AOM SycFlag-,T_CtlFlag=0InitSelfCheck?T_CtlFlag=1CheckSucCheckSusMDCJogCmdJogRespT_SelfChkSuc!T_SelfChkFail!SycFlag-,T_CtlFlag=0M_MD?N_JogCmd?N_JogResp!SycFlag+(d)Train CSycFlag-,C_CtlFlag=0SelfCheck?C_CtiFlag=1C_SelfChkFail!SycFlag-,C_CtlFlag=0CheckingCheckSucMDingDynTestJogRespJogJog_DistM_MD?C_SelfChkSuc!SycFlag+DynTesting1=1N_JogResp?StartJog!JogDist?Init(e)TCMS CCJogFlag=0,IdIe=0,O_CtlFlag=0,M_CtlFlag=0,T_CtlFlag=0InitConFail?WakeUp?WokeUpConSuc?O_CtlFlag=1M _CtlFlag=1C_CtlFlag=1T_CtlFlag=1SelfCheckFail=1ConPassHeaderReadyMDingReadyJogForJogForTemp1ForTemp2ForJog_FallJogFlag+,Idle=0,O_CtlFlag=1,M_CtlFlag=1,C_CtlFlag=1,T_CtlFlag=1ForIdleForJog _SucJogDist!Idle=1JogPass?ConSuc?Header3Header2ChgHeader!GetHeader!BackJogBackTemp 1BackTemp2BackIdleHeaderFlag=1JogSuc!HeaderFlag=1SelfCheckPass!MDCmd!SycFlag=4JogFlag=2DynTesting1=1JogFlag=0,IdIe=0,O_CtlFlag=0,M _CtlFlag=0,T_CtlFlag=0O_CtlFlag=1,M _CtlFLag=1,C_CtlFlag=1,T_CtlFlag=1HeaderFlag=1BackJogCmd!JogFlag=1 orJogFlag=3ForJogCmd!JogFlag=0 orJogFlag=2JogFlag+,Idle=0O_BackJogResp?O_ForJogResp?M_JogResp!Idle=1M_JogResp!JogDist!JogPass?HeaderFlag=0 x Kx K or ForJogFail=truex K or BackJogFail=truex K(a)ATPForJogFail=true(b)ATO BackJog_FallBackJog_Suc图4 全自动运行系统列车唤醒功能时间自动机模型67铁道通信信号 2023年第59卷第11期功；继续向后跳跃，跳跃成功；列车切换激活端，进行向前跳跃，但跳跃异常。以测试路径 p1为例，其通过 ATPTA模型的状态 为 Init WakeUp ConPass Header Ready MDing ReadyJog ForJog ForTemp1 ForJog_Fail。4.4唤醒场景组合测试用例生成结合 FAO系统的需求规范，对 AwakeTA模型中broadcast chan、int变量和时钟变量进行输入域建模。以向前跳跃失败为例，组合测试用例生成过程如下。向前跳跃失败涉及时钟变量x，以及GetHeader 和 ForJogFail 2 个 broadcast chan。结合测试经验，时钟变量x选取k1、k2 2个时间值，broadcast chan的输入域建模见表3。选用2-维组合覆盖，采用ACTS组合测试用例生成工具，利用内置的IPOG算法，结合向前跳跃失败的2条测试路径，一共生成6条组合测试用例，覆盖系统任意2个输入之间的组合，见表4。以第1条组合测试用例为例，其测试过程为：接收唤醒命令后，自检成功，FAO系统选择前端为激活端，进行向前跳跃，跳跃时间为k2，满足跳跃时间约束，但跳跃距离异常。通过 FAO 系统测试用例生成算法，AwakeTA模型一共生成35条组合测试用例，主要的测试用例统计见表5。基于Yggdrasil的测试用例生成机制，AwakeTA的测试用例覆盖了模型中所有的节点和边；同时，基于 ACTS 的 IPOG 等算法，覆盖了模型中任意2个输入之间的组合，提升了FAO系统测试用例的全面性和完备程度。5结论本文提出FAO系统的组合测试用例生成方法，首先采用时间自动机理论对 FAO 系统进行建模；然后基于时间自动机模型生成测试路径，结合输入域建模方法提取测试模型描述的系统工况；最后结合组合测试理论，自动生成组合测试用例。以唤醒功能为例，采用UPPAAL建立唤醒功能的时间自动机模型，利用Yggdrasil插件生成唤醒功能的测试路径，并利用ACTS采用2-维组合覆盖生成组合测试用例。结果表明，测试用例100%覆盖时间自动机模型的节点和边，同时覆盖系统任意2个输入之间的组合，对于FAO系统测试的研究具有一定的参考价值。参考文献1 丰文胜,王永星,薛强.轨道交通全自动无人驾驶场景的新功能需求J.铁道通信信号,2020,56(2):83-85.FENG Wensheng,WANG Yongxing,XUE Qiang.New Function Requirement of Completely Automatic Driverless Operation Scenarios in Rail TransitJ.Railway Signalling&Communication,2020,56(2):83-85.2 景顺利.全自动驾驶系统FAO中清客控制功能设计及实现J.现代城市轨道交通,2020(8):45-49.JING Shunli.Design and Implementation of Emptying Passenger Control Function in Automatic Driving Coach Under FAOJ.Modern Urban Transit,2020(8):45-49.3 崔海刚.全自动运行系统场景验证平台及其应用J.铁道通信信号,2021,57(6):71-76.CUI Haigang.Scene Verification Platform for Automatic Operation System and It s ApplicationJ.Railway Signalling&Communication,2021,57(6):71-76.4 温朋哲,徐道亮,高士杰,等.城市轨道交通全自动运营表3向前跳跃失败broadcast chan输入域建模序号12broadcast chanGetHeaderForJogFail工况前端激活(HEADER1)、后端激活(HEADER2)跳跃距离异常(DIST)、跳跃速度异常(SPEED)、跳跃加速度异常(ACC)表4向前跳跃失败组合测试用例序号123456测试路径p1p1p1p2p2p2GetHeaderHEADER1HEADER1HEADER1HEADER2HEADER2HEADER2xk2k1k1k1k2k2ForJogFailDISTSPEEDACCDISTSPEEDACC表5全自动运行系统主要的组合测试用例统计序号1234测试项点自检失败基础条件不满足向前跳跃异常向后跳跃异常用例数量5666测试内容ATP、ATO等设备自检失败方向手柄、检修按钮等条件不满足向前跳跃距离、速度、加速度异常向后跳跃距离、速度、加速度异常68Railway Signalling&Communication Vol.59 No.11 2023场 景 及 功 能 需 求 分 析 J.机 车 电 传 动,2020(3):132-136.WEN Pengzhe,XU Daoliang,GAO Shijie,et al.Analysis on Full Automatic Operation Scenes and Related Functional Requirements of Urban Railway TransportJ.Electric Drive for Locomotives,2020(3):132-136.5 范晓栋.全自动驾驶系统列车正线休眠唤醒区域全覆盖的研究J.城市轨道交通研究,2020,23(11):166-168.FAN Xiaodong.Research on Train Main Line Dormancy and Awakening Area Full Coverage in Fully Automatic Driving SystemJ.Urban Mass Transit,2020,23(11):166-168.6 黄鼎慧.基于数据驱动的FAO系统测试方法研究D.北京:北京交通大学,2016.7 彭大天.基于UML和UPPAAL的FAO系统典型运营场景的建模与验证D.北京:北京交通大学,2013.8 彭大天,步兵.基于UPPAAL的FAO系统典型运营场景建模与验证J.铁道学报,2013,35(6):65-71.PENG Datian,BU Bing.Modeling and Verification of Typical FAO System Operation Scene Based on UPPAALJ.Journal of the China Railway Society,2013,35(6):65-71.9 任宁宁,杜江红.面向互联互通的全自动运行系统测试方案J.铁路通信信号工程技术,2020,17(2):103-106,111.REN Ningning,DU Jianghong.Test Scheme of Fully Automatic Operation(FAO)System for InteroperabilityJ.Railway Signalling&Communication Engineering,2020,17(2):103-106,111.10郑辉.城市轨道交通全自动运行系统外场测试方案研究J.铁道标准设计,2019,63(5):168-173.ZHENG Hui.Research on Field Test Scheme for Fully Automatic Operation System of Urban Rail TransitJ.Railway Standard Design,2019,63(5):168-173.11李迎春,李叶,刘锦峰.地铁FAO信号系统关键场景分析与测试设计J.铁道通信信号,2021,57(12):76-81.LI Yingchun,LI Ye,LIU Jinfeng.Key Scenario Analysis and Test Design of Metro FAO Signal SystemJ.Railway Signalling&Communication,2021,57(12):76-81.12饶畅,李楠,张亚东,等.铁路信号安全关键软件的组合测试序列集约简J.西南交通大学学报,2020,55(3):596-603.RAO Chang,LI Nan,ZHANG Yadong,et al.Combinatorial Test Sequence Set Reduction Approach for Railway Signaling Safety-critical SoftwareJ.Journal of Southwest Jiaotong University,2020,55(3):596-603.13饶畅.组合测试方法研究及其在铁路信号软件测试中的应用D.成都:西南交通大学.2021.14赖琴,张亚东,饶畅,等.列控车载设备测试案例辅助管理工具设计J.铁路计算机应用,2022,31(6):62-67.LAI Qin,ZHANG Yadong,RAO Chang,et al.Design of Test Cases Auxiliary Management Tool for On-board Equipment of Train Operation ControlJ.Railway Computer Application,2022,31(6):62-67.15ALUR R,DILL D L.A theory of timed automataJ.Theoretical Computer Science,1994,126(2):183-235.16徐洁琼.UPPAAL时间自动机到UML子图转换方法研究及工具实现D.上海:华东师范大学,2012.17邹淑君.基于UPPAAL的上下文感知系统的建模、仿真与验证工具的设计与实现D.上海:华东师范大学,2011.18LI Yao,ZHANG Xiaoxia,ZHANG Yadong,et al.Towards A Test Paths Generation Method for CTCS Le