西南交通大学学报2024，Vol.59Issue(5)：1023-1033,11.DOI:10.3969/j.issn.0258-2724.20220674
面向高铁信号系统工程测试的测试建模方法
Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System
摘要
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.关键词
高铁信号系统/工程测试/有限状态机/Z语言/时间自动机Key words
high-speed railway signaling system/engineering testing/finite state machine/Z language/timed automata分类
交通工程引用本文复制引用
史增树,李耀,郭进,张亚东..面向高铁信号系统工程测试的测试建模方法[J].西南交通大学学报,2024,59(5):1023-1033,11.基金项目
中国铁路总公司科技研究开发计划(N2018G062,K2018G011) （N2018G062,K2018G011）
中央高校基本科研业务费专项资金(2682022ZTPY084) （2682022ZTPY084）
