Testing Modeling Method for Engineering Testing of High-Speed Railway Signaling System
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 systemengineering testingfinite state machineZ languagetimed automata
国家科技期刊平台
NSTL
万方数据
