Research On Approach Test Sequence Generation And Optimization Method Of Computer Interlocking Software

Computer interlocking system is a system which requires high reliability and safety.It directly affects the safe operation of train and rolling stock in railway station.As the interlocking software testing is one of the important ways to ensure the correct function of the interlocking system,it is necessary to carry out comprehensive testing of the interlocking software on the premise of safety and reliability.In recent years,some scholars have put forward the idea of automatic testing and carried out research,but at present,there are few researches on how to improve the testing efficiency of manual testing.In order to supplement the research,this project studies an interlocking software test sequence generation and optimization method,the main contents of this research include:(1)Taking a single route as a unit,starting from a complete route processing process,the route states were analyzed according to different conditions of interlocking conditions in the process of route processing,and the route states under different conditions were associated with basic test items,so as to obtain the common connections between different test items.In order to facilitate practical operation,a single test item should not be divided as far as possible.According to the common connection between the beginning and end states of the test item,the states before and after the test project are classified,and the route control process is divided into three parts: before the establishment of the route,after the signal is opened and the route is unlocked.(2)Based on the state connection between the test items,the sequence diagram of the routing control process is established,and the directed graph of the test items is improved by combining with the Chinese postman problem.The integer programming model is selected as the method to solve the test sequence by comparing various optimization generation algorithms based on the Chinese postman problem.(3)From the point of view of graph theory,this thesis describes the constraint conditions of the postman problem in China by mathematical expression,establishes the integer programming model of the postman problem in China,and then improves the constraint conditions to get the integer programming model of the generalized postman problem.The integer programming model combined with the shortest path optimization algorithm is substituted into the research content of this subject to obtain the optimal test sequence.(4)In order to verify the feasibility of the generated test sequence,one of the test sequences was selected for analysis.The test sequence was divided into several independent test items,the message sequence of a single project was analyzed using UML(Unified Modeling Language)graphics,the UPPAAL modeling tool was used to establish the UPPAAL model related to a single project,and the feasibility of the test sequence theory was verified through the information interaction between the models,combined with the simulation and verification function of UPPAAL.Finally,the lab test platform is used to verify the operability of the test sequence.The research shows that,on the premise of meeting the test coverage rate,by analyzing the state relation between test items and using explicit integer programming model to generate test sequence,the number of processing and unlocking of a single route can be reduced and the test efficiency of interlocking software can be improved.The feasibility of the test sequence can be verified by using UPPAAL modeling tool and laboratory testing platform.