Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System

SHI Zengshu; LI Yao; GUO Jin; ZHANG Yadong

doi:10.3969/j.issn.0258-2724.20220674

Volume 59 Issue 5

Oct. 2024

Turn off MathJax

Article Contents

Journal of Southwest Jiaotong University > 2024 > 59(5): 1023-1033.

SHI Zengshu, LI Yao, GUO Jin, ZHANG Yadong. Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System[J]. Journal of Southwest Jiaotong University, 2024, 59(5): 1023-1033. doi: 10.3969/j.issn.0258-2724.20220674

Citation:

SHI Zengshu, LI Yao, GUO Jin, ZHANG Yadong. Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System[J]. Journal of Southwest Jiaotong University, 2024, 59(5): 1023-1033. doi: 10.3969/j.issn.0258-2724.20220674

Citation:

PDF( 2203 KB)

Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System

doi: 10.3969/j.issn.0258-2724.20220674

1.
School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610031, China
2.
School of Software Engineering, Chengdu University of Information Technology, Chengdu 610225, China

Received Date: 07 Oct 2022
Rev Recd Date: 29 Feb 2024

Available Online: 04 Jun 2024

Publish Date: 23 Mar 2024

Abstract

Abstract

The engineering testing of a high-speed railway signaling system (HSRSS) focuses on the complex behavior relationship and state synchronization among various equipment in the system. Since the testing modeling method for engineering testing lacks complex behavior interaction and synchronization mechanism, the engineering testing modeling method and test case generation method of HSRSS based on an extended finite state machine (EFSM) were proposed. First, the engineering testing characteristics of HSRSS were analyzed, and the testing modeling requirements for complex event interaction and state synchronization were proposed. Based on the theory of finite state machine, the state events and hierarchy were extended to meet the modeling requirements for complex behavior relationships and state synchronization in engineering testing of HSRSS. The formal definition of EFSM was given by using Z specification language. The pattern and synchronization mechanism of EFSM were defined. Then, the algorithm of transforming the EFSM into a timed automata (TA) was put forward, and the test case generation algorithm of TA was used to automatically generate test cases for engineering testing of HSRSS. Finally, with the route control in engineering testing of HSRSS as an example, an EFSM model was established, and test cases were generated. In addition, the generated test cases were evaluated through mutation analysis. The result shows that the test cases have a mutation score of 1 when testing state mutation and signal expression mutation, and they have good coverage, which can meet the requirements of engineering testing of HSRSS.
- high-speed railway signaling system,
- engineering testing,
- finite state machine,
- Z language,
- timed automata

FullText(HTML)

References(24)

References

[1]	上官伟,胡福威,袁敏,等. 基于弹复力效应的列控车载设备可靠性分析方法[J]. 铁道学报,2018,40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010 SHANGGUAN Wei, HU Fuwei, YUAN Min, et al. Reliability analysis method for on-board equipment of train control system based on resilience effect[J]. Journal of the China Railway Society, 2018, 40(6): 75-82. doi: 10.3969/j.issn.1001-8360.2018.06.010
[2]	齐凡瑞,李强. 列控系统RBC测试序列优化生成方法[J]. 北京交通大学学报,2022,46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139 QI Fanrui, LI Qiang. Optimal generation method of RBC test sequence for train control system[J]. Journal of Beijing Jiaotong University, 2022, 46(2): 11-19,28. doi: 10.11860/j.issn.1673-0291.20210139
[3]	梁茨,郑伟,李开成,等. 基于路径优化算法的测试序列自动生成及验证[J]. 铁道学报,2013,35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009 LIANG Ci, ZHENG Wei, LI Kaicheng, et al. Automated generation of test cases and sequences based on path optimization algorithm[J]. Journal of the China Railway Society, 2013, 35(6): 53-58. doi: 10.3969/j.issn.1001-8360.2013.06.009
[4]	赵显琼,郑伟,唐涛. 一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]. 铁道学报,2012,34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012 ZHAO Xianqiong, ZHENG Wei, TANG Tao. Model-based formal approach for generating test cases and test sequences automatically by example of the ETCS-2[J]. Journal of the China Railway Society, 2012, 34(5): 70-80. doi: 10.3969/j.issn.1001-8360.2012.05.012
[5]	赵晓宇,杨志杰,吕旌阳. 基于有色Petri网的车载设备模式转换测试序列生成方法[J]. 中国铁道科学,2017,38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16 ZHAO Xiaoyu, YANG Zhijie, LÜ Jingyang. Test sequence generation method of mode transition for on-board equipment based on colored petri net[J]. China Railway Science, 2017, 38(4): 115-123. doi: 10.3969/j.issn.1001-4632.2017.04.16
[6]	王硕,张亚东,郭进,等. 列控中心自动化测试测试用例生成方法[J]. 北京交通大学学报,2020,44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052 WANG Shuo, ZHANG Yadong, GUO Jin, et al. Generation method of test cases for automated testing of TCC[J]. Journal of Beijing Jiaotong University, 2020, 44(5): 49-54. doi: 10.11860/j.issn.1673-0291.20200052
[7]	LV J D, AHMAD E, TANG T. Non-deterministic delay behavior testing of Chinese train control system using UPPAAL-TRON[J]. IEEE Intelligent Transportation Systems Magazine, 2021, 13(3): 58-82. doi: 10.1109/MITS.2019.2953536
[8]	魏柏全,吕继东,陈柯行,等. 基于TAIO变异的CTCS-3列控系统测试案例生成方法[J]. 西南交通大学学报,2020,55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078 WEI Baiquan, LÜ Jidong, CHEN Kexing, et al. Mutation timed automata with input and output-based method of generating test suites for Chinese train control system level 3[J]. Journal of Southwest Jiaotong University, 2020, 55(5): 937-945,962. doi: 10.3969/j.issn.0258-2724.20180078
[9]	LI C L, LI K C, TANG T, et al. Model-based generation of safety test-cases for Onboard systems[C]//2013 IEEE International Conference on Intelligent Rail Transportation Proceedings. Beijing: IEEE, 2013: 191-196.
[10]	吕继东,朱晓琳,王海峰,等. 基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究[J]. 铁道学报,2016,38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009 LV Jidong, ZHU Xiaolin, WANG Haifeng, et al. Online conformance testing of non-determinism time delay in high-speed train control system using UPPAAL-TRON[J]. Journal of the China Railway Society, 2016, 38(1): 54-64. doi: 10.3969/j.issn.1001-8360.2016.01.009
[11]	曹雅鑫. 基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究[D]. 成都:西南交通大学,2017.
[12]	郑伟,唐涛,吕继东,等. 基于IECP的CTCS-3列控车载TSM曲线完备性测试用例集生成方法研究[J]. 铁道学报,2020,42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010 ZHENG Wei, TANG Tao, LÜ Jidong, et al. Method of generating completeness test suit based on IECP for CTCS-3 train control TSM profile[J]. Journal of the China Railway Society, 2020, 42(5): 72-83. doi: 10.3969/j.issn.1001-8360.2020.05.010
[13]	LV J D, LU W L, WANG T, et al. The search-based mutation testing of the Chinese train control system level 3 on board a train control system[J]. IEEE Intelligent Transportation Systems Magazine, 2022, 14(5): 41-58. doi: 10.1109/MITS.2021.3069900
[14]	SUN Y J, LI K C, YUAN L, et al. Safety test case generation of train-ground transmission function for CTCS based on fault models[C]//2019 IEEE Intelligent Transportation Systems Conference (ITSC). Auckland: IEEE, 2019: 3355-3360.
[15]	李耀,张晓霞,郭进,等. 高铁信号系统安全关键功能测试建模方法[J]. 西南交通大学学报,2022,57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378 LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Testing modeling method for safety critical function of high-speed railway signal system[J]. Journal of Southwest Jiaotong University, 2022, 57(1): 28-35,45. doi: 10.3969/j.issn.0258-2724.20200378
[16]	李耀,张晓霞,郭进,等. 铁路信号系统软件测试建模方法[J]. 西南交通大学学报,2022,57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530 LI Yao, ZHANG Xiaoxia, GUO Jin, et al. Modeling method for testing railway signal system software[J]. Journal of Southwest Jiaotong University, 2022, 57(2): 392-400,424. doi: 10.3969/j.issn.0258-2724.20200530
[17]	AMMANN P, OFFUTT J. Introduction to Software Testing[M]. New York: Cambridge University Press, 2017.
[18]	吴彪. 基于EFSM的测试用例自动生成方法的研究[D]. 杭州:浙江理工大学,2016.
[19]	MIKK E, LAKHNECH Y, PETERSOHN C, et al. On formal semantics of statecharts as supported by STATEMATE[C]//Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods. Ilkley: [s. n.], 1997: 1 -12.
[20]	朱雪阳,唐稚松. Statecharts的组合语义与求精[J]. 软件学报,2006,17(4): 670-681. doi: 10.1360/jos170670 ZHU Xueyang, TANG Zhisong. Compositional semantics and refinement of statecharts[J]. Journal of Software, 2006, 17(4): 670-681. doi: 10.1360/jos170670
[21]	SOLIMAN D, THRAMBOULIDIS K, FREY G. Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications[J]. Annual Reviews in Control, 2012, 36: 338-345. doi: 10.1016/j.arcontrol.2012.09.015
[22]	LI Y, ZHANG X X, ZHANG Y D, et al. Towards A test paths generation method for CTCS level transition[J]. MATEC Web of Conferences, 2020, 325: 1001-1005. doi: 10.1051/matecconf/202032501001
[23]	李兰心,王海峰,齐志华,等. 基于SCADE模型的车载ATP测试用例生成方法[J]. 铁道学报,2020,42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013 LI Lanxin, WANG Haifeng, QI Zhihua, et al. SCADE model-based method of test cases generation for onboard ATP system[J]. Journal of the China Railway Society, 2020, 42(9): 102-110. doi: 10.3969/j.issn.1001-8360.2020.09.013
[24]	魏柏全. 基于TAIO变异分析的新型列控系统安全功能测试评价研究[D]. 北京:北京交通大学,2018.

Relative Articles

Supplements(0)

Cited By

Proportional views

Proportional views

通讯作者: 陈斌, bchen63@163.com

1.
沈阳化工大学材料科学与工程学院沈阳 110142

Figures(9) / Tables(5)

Get Citation

PDF

XML

Article views(225) PDF downloads(56)

Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System

doi: 10.3969/j.issn.0258-2724.20220674

Abstract

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System

doi: 10.3969/j.issn.0258-2724.20220674

Abstract

References

Proportional views

Catalog

通讯作者: 陈斌, bchen63@163.com

Proportional views

Related

Export File

Citation

Format

Content