Research On Test Cases Generation Method For Track Circuit Coding Function Of Train Control Center Based On Uml State Diagram

With the improvement on the high speed railway automation level of China,the train control system becomes the key to ensure the safety of train.The train control center,as the important surface-based subsystem of the train control system,which provides import information for the running train,requires high security and high reliability.In order to ensure the train control center work reliably,software function test on the train control center is needed,which means a large number of test cases are necessary in the testing process.Quality of test case,which is manual design or automatic generation,has great influence on the effect of the test.Track circuit coding,one of the primary functions of the train control center,requires automated test case generation method because of the logic complexity of this function and weaknesses of manual design,which lays a solid foundation for the train control center testing.This thesis first summarizes the function and structure of the train control center,introduces detail the basic principle of track circuit coding.The thesis also introduces the UML model,emphatically discusses the features of UML state diagram and some limits in using it.What's more,the methods of modeling in UML and accessing testcase of track circuit coding function are put forward in this thesis.Then,this thesis introduces the objects involved in the track circuit coding function and puts forward the method of model reusing on the basis of the detailed analysis of the different logical between track circuit coding of station and track circuit coding of block.Models of track circuit coding include route layer and track layer are built in this thesis.In order to automatically generate test cases,a method combining graph coverage and combination coverage is put forward in the thesis,which generates test paths with primary path coverage criterion algorithm and realizes the combination of Parameters in the helping of tool ATS.Moreover,Antlr grammar analyzer is used to analyze the transition condition in the model and rule of state transition mechanism of UML state diagram is used to calculate the output information of test cases.Through the above research,the thesis realizes the automatic generation of test cases.Finally,a software tool,which can generate test cases of track circuit coding function automatically,is developed.And this work lays the foundation for the further research about automation test platform of the train control system.