Testing Modeling Method for Safety Critical Function of High-Speed Railway Signal System

被引：0
作者：
Li Y. [1 ]
Zhang X. [1 ]
Guo J. [2 ]
Zhang Y. [2 ]
机构：
[1] School of Optoelectronic Science and Engineering, University of Electronic Science and Technology of China, Chengdu
[2] School of Information Science and Technology, Southwest Jiaotong University, Chengdu
来源：
Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University | 2022年 / 57卷 / 01期
关键词：
Modeling method; Railway signal system; Timed automata; Timed finite state machine; Z notation;
D O I：
10.3969/j.issn.0258-2724.20200378
中图分类号：
学科分类号：
摘要：
Testing model is an important basis to create the test cases of safety critical function of high-speed railway signal system. To solve the problem that the characteristics of signal system are not fully represented in the modeling process of safety critical function test of high-speed railway signal system, the modeling theory of timed finite state machine (TFSM) and test case generation method are proposed. The characteristics in the test modeling of high-speed railway signal system is analyzed, and the modeling requirements are put forward. Then, based on the theory of finite state machine, a modeling method of TFSM is proposed by utilizing functional logic and clock constraints, and its formal definition is established with Z notation. Further, the TFSM is transformed into timed automata, which can prove the consistency between them, and test cases are automatically generated with timed automata based testing theory. The switch conversion function of the computer interlocking system is used as an example to build the testing model of TFSM and generate the test cases. The result shows that compared with the test cases generated by timed automata, in terms of functional logic, the test cases generated by TFSM can fully cover those generated by timed automata, and add 16 more test cases with clock constraints, showing that TFSM can meet the testing modeling requirements for the safety critical function of high-speed railway signal system. Copyright ©2022 JOURNAL OF SOUTHWEST JIAOTONG UNIVERSITY. All rights reserved.
引用
收藏
页码：28 / 35and45
页数：3517
相关论文
共 24 条
  • [1] SHANGGUAN Wei, HU Fuwei, YUAN Min, Et al., Reliability analysis method for on-board equipment of train control system based on resilience effect, Journal of the China Railway Society, 40, 6, pp. 75-82, (2018)
  • [2] YUAN Lei, LU Jidong, LIU Yu, Et al., Research on model-based test case generation method of onboard subsystem in CTCS-3, Journal of the China Railway Society, 36, 8, pp. 55-62, (2014)
  • [3] LYU Jidong, ZHU Xiaolin, LI Kaicheng, Et al., Model-based test case automatic generation of CTCS-3 train control system, Journal of Southwest Jiaotong University, 50, 5, pp. 917-927, (2015)
  • [4] LI C L, LI K C, TANG T, Et al., Model-based generation of safety test-cases for onboard systems, 2013 IEEE International Conference on Intelligent Rail Transportation Proceedings, pp. 191-196, (2013)
  • [5] (2018)
  • [6] CHEN Lijie, ZHAO Tianshi, SUN Chao, Et al., Test case generation method based on colored Petri net for train control system, 2018 3rd International Conference on System Reliability and Safety (ICSRS), pp. 1-5, (2018)
  • [7] ZHAO Xiaoyu, YANG Zhijie, LYU Jingyang, Test sequence generation method of mode transition for on-board equipment based on colored Petri net, China Railway Science, 38, 4, pp. 115-123, (2017)
  • [8] (2017)
  • [9] (2016)
  • [10] AMMANN P, OFFUTT J., Introduction, Introduc- tion to Software Testing, pp. 3-24, (2017)
123