一种针对全自动运行系统的测试用例生成方法

doi:10.3969/j.issn.1673-4440.2024.01.014

铁路通信信号工程技术 ›› 2024, Vol. 21 ›› Issue (1): 76-82.DOI: 10.3969/j.issn.1673-4440.2024.01.014

一种针对全自动运行系统的测试用例生成方法

梁君海¹，李春峰¹，万里¹，杨毅峰²，薛一鸣²

1．中车成都机车车辆有限公司西南研发中心，成都 610511；
2．西南交通大学信息科学与技术学院，成都 610097

收稿日期:2023-01-17 修回日期:2023-12-21 出版日期:2024-01-25 发布日期:2024-01-25
作者简介:梁君海（1976—），男，正高级工程师，硕士，主要研究方向:全自动运行系统测试，邮箱:liangjunhai@crrcgc.cc。
基金资助:
中国铁路总公司科技研究开发计划课题项目（N2018G062, K2018G011）；四川省科技计划资助项目（2021YJ0070）

Test Case Generation Method for Fully Automatic Operation System

Liang Junhai¹, Li Chunfeng¹, Wan Li¹, Yang Yifeng², Xue Yiming²

1. Southwest R&D Center, CRRC Chengdu Locomotive&Rolling Stock Co., Ltd., Chengdu 610511, China；
2. The School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610097, China

Received:2023-01-17 Revised:2023-12-21 Online:2024-01-25 Published:2024-01-25

摘要/Abstract

摘要： 针对全自动运行系统测试指定路径覆盖的测试需求，基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论，建立全自动运行系统的时间自动机模型；为表征全自动运行系统指定路径覆盖的测试需求，提出基于时间自动机模型的标记变量建模方法；结合Yggdrasil的测试用例生成机制，提出全自动运行系统测试用例生成方法，同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则；以全自动运行系统的模式转换功能为例，建立时间自动机模型并生成测试用例。结果表明，测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边，能够满足全自动运行系统指定路径覆盖的测试要求。

关键词: 全自动运行系统, 指定路径覆盖, 时间自动机, Yggdrasil, 测试用例

Abstract: Aiming at the test requirements of specified path coverage of fully automatic operation (FAO) system test, this paper proposes an algorithm for automatic generation of test cases for FAO based on the modeling theory of timed automata to meet the specified path coverage and edge coverage. Firstly, the modeling theory of timed automata is studied, and the FAO timed automata model is established. Then, a modeling method to add marker variables to the d automata model is proposed to characterize the FAO test requirements of specified path coverage. Thirdly, combined with the test case generation mechanism of Yggdrasil, a test case generation method of FAO is proposed, which satisfies both the specified path coverage and edge coverage criteria of FAO. Finally, taking the mode conversion function of FAO as an example, the timed automata model is established and test cases are generated. The results show that the test cases cover 100 % of the test requirements specified by the tester and all the edges of the timed automata model, which can meet the test requirements of the specified path coverage of FAO.

Key words: fully automatic operation system, specify path coverage, timed automata, yggdrasil, test case

中图分类号:

U231+.7

梁君海, 李春峰, 万里, 杨毅峰, 薛一鸣. 一种针对全自动运行系统的测试用例生成方法[J]. 铁路通信信号工程技术, 2024, 21(1): 76-82.

Liang Junhai, Li Chunfeng, Wan Li, Yang Yifeng, Xue Yiming. Test Case Generation Method for Fully Automatic Operation System[J]. Railway Signalling & Communication Engineering, 2024, 21(1): 76-82.

图/表 9

参考文献

[1]徐燕芬，赵婧，姜仕军.下一代地铁列车网络控制系统的研制[J].铁道车辆，2017，55（7）：27-31，51.
[2] 中国城市轨道交通协会.城市轨道交通全自动运行系统规范：T/CAMET 04017.1-2019[S].北京:中国铁道出版社，2019.
[3]李小勇，郑斌，闫迷军，等.一种城市轨道交通全自动驾驶车辆仿真测试平台方案[J].铁道机车车辆，2019，39（Z1）：10-13.
Li Xiaoyong, Zheng Bin, Yan Mijun, et al. Scheme of Urban Rail Transit Fully Automatic Vehicle SimulationTest Platform[J]. Railway Locomotive & Car, 2019, 39(Z1): 10-13.
[4]范晓栋.全自动驾驶系统列车正线休眠唤醒区域全覆盖的研究[J].城市轨道交通研究，2020，23（11）：166-168.
Fan Xiaodong. Research on Train Main Line Dormancy and Awakening Area Full Coverage in Fully Automatic Driving System[J]. Urban Mass Transit, 2020, 23(11): 166-168.
[5]温朋哲，徐道亮，高士杰，等.城市轨道交通全自动运营场景及功能需求分析[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 Transport[J]. Electric Drive for Locomotives, 2020(3): 132-136.
[6]闫宏伟，燕飞.城市轨道交通全自动运行系统及安全需求[J].都市快轨交通，2017，30（3）：50-55，87.
Yan Hongwei, Yan Fei. Fully Automatic Operation System and Its Safety Requirement of Urban Rail Transit[J]. Urban Rapid Rail Transit, 2017, 30(3): 50-55, 87.
[7]刘涛.CBTC-RF信号系统下的驾驶模式及转换原则[J].铁道通信信号，2009，45（11）：4-6.
[8]康仁伟.基于时间自动机的CTCS-3级列控系统建模方法与验证研究[D].北京:北京交通大学，2013.
[9]张大鹏.基于时间自动机的跨界临时限速建模与分析[J].铁道通信信号，2018，54（2）：5-10.
Zhang Dapeng. Cross-Boundary TSR Modeling and Analysis Based on Timed Automata[J]. Railway Signalling & Communication, 2018, 54(2): 5-10.
[10]胡雪莲，陶彩霞.基于MSC与UPPAAL的列控系统等级转换场景形式化验证[J].铁道标准设计，2015，59（2）：122-127.
Hu Xuelian, Tao Caixia. Formal Verification of Level Transition Process in Train Control System Based on MSC and UPPAAL[J]. Railway Standard Design, 2015, 59(2): 122-127.
[11] Larsen K G, Mikucionis M, Nielsen B. Online Testing of Real-Time Systems Using Uppaal[C]//Grabowski J, Nielsen B. International Workshop on Formal Approaches to Software Testing. Berlin, Heidelberg: Springer, 2005: 79-94.
[12] Alur R, Dill D L. A Theory of Timed Automata[J]. Theoretical Computer Science, 1994, 126(2): 183-235.
[13] Li Yao, Zhang Xiaoxia, Zhang Yadong, et al. Towards a Test Paths Generation Method for CTCS Level Transition[J]. MATEC Web of Conferences, 2020, 325: 01001.
[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 Control[J]. Railway Computer Application, 2022, 31(6): 62-67.
[15]耿文波，陈海燕.轨道交通信号系统列车定位与驾驶模式转换的探讨[J].铁道通信信号，2019，55（5）：73-76.
Geng Wenbo, Chen Haiyan. Discussion of Train Positioning and Transition of Driving Mode of Signaling System in Rail Transit[J]. Railway Signalling & Communication, 2019, 55(5): 73-76.

一种针对全自动运行系统的测试用例生成方法

Test Case Generation Method for Fully Automatic Operation System

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 9

参考文献

相关文章 6

编辑推荐

Metrics

本文评价

[1]	崔惠珊, 盖克荣, 李雪枝, 刘伊敏. FAO下信号系统与站台门一体化方案[J]. 铁路通信信号工程技术, 2023, 20(5): 62-66.
[2]	常峰. 全自动限速运行模式方案研究[J]. 铁路通信信号工程技术, 2023, 20(4): 63-67.
[3]	付文佳, 韩涛, 刘倩, 朱天民. 基于场景的全自动运行系统安全分析方法[J]. 铁路通信信号工程技术, 2023, 20(12): 83-87.
[4]	曹启滨, 高伯翰. 城市轨道交通全自动运行系统工程设计联络要点分析[J]. 铁路通信信号工程技术, 2023, 20(10): 52-56.
[5]	彭丽维, 宋鹏飞, 江雪莹, 谢林. 基于模型的联锁软件测试用例生成方法[J]. 铁路通信信号工程技术, 2022, 19(11): 32-36.
[6]	马龙. 全自动运行系统试车线共享车辆段室内信号设备方案[J]. 铁路通信信号工程技术, 2021, 18(12): 95-98,102.