基于SCADE模型的车载ATP测试用例生成方法  

SCADE Model-based Method of Test Cases Generation for Onboard ATP System

作　　者：李兰心 王海峰[1,2] 齐志华 汤圣杰 张启鹤 LI Lanxin;WANG Haifeng;QI Zhihua;TANG Shengjie;ZHANG Qihe(School of Electronics and Information Engineering,Beijing Jiaotong University,Beijing 100044,China;National Engineering Research Center of Rail Transportation Operation and Control System,Beijing Jiaotong University,Beijing 100044,China;Signal&Communication Research Institute,China Academy of Railway Sciences Corporation Limited,Beijing 100081,China;Guangzhou Railway Sciences Intelligent Controls Co.,Ltd.,Guangzhou 510220,China)

机构地区：[1]北京交通大学电子信息工程学院,北京100044 [2]北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044 [3]中国铁道科学研究院集团有限公司通信信号研究所,北京100081 [4]广州铁科智控有限公司,广东广州510220

出　　处：《铁道学报》2020年第9期102-110,共9页Journal of the China Railway Society

基　　金：国家重点研发计划(2018YFB1201501);中国铁路总公司科技研发计划(N2018G064);北京市自然基金“轨道交通联合”(L181005);国家自然科学基金(61473029);国家重点基础研究发展计划(973计划)(2014CB340703)。

摘　　要：车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。Onboard ATP is a key equipment of train control system to ensure the safe operation of trains.Comprehensive and strict testing is needed before practical application to meet its stringent safety requirements.Conventional methods that rely on experts to write and compile test cases are time-and labor-consuming,and may result in unstable quality of test.This paper proposed a method of automatic generation of onboard ATP test cases based on SCADE model.In the proposed method,the onboard ATP system was modeled by SCADE,and test cases which meet the full-transition coverage criteria were generated for the safety state machine model.The test data was generated according to MC/DC coverage criteria,then the abstract test cases can be converted into specific test case sets that can be directly used for tests.Finally,the test cases generated were evaluated by mutation analysis.The results show that the test cases have good coverage,which is better than conventional manual methods.

关 键 词：车载ATP系统 SCADE模型 测试用例 基于模型的测试 MC/DC覆盖准则 

分 类 号：U283.2[交通运输工程—交通信息工程及控制]