Research On Automatic Test Applied In CBTC Based On TTCN-3

With the rapid development of Computer,Communication and Control Technology,the Communication Based Train Control system(CBTC) emerges as the times require. And in respect that the CBTC system improve the train operating efficiency with the advantages of even more safety and better maintainability,CBTC system has become the hot topic of research and construction internationally.CBTC system is a safety-critical system, with high requirements of safety and reliability.Thus it must be tested completely before use.Traditional test method of train control system can't meet the demands of highly efficient and complete test. Howerever with the corresponding computer simulation technology and the advanced test technology we can implement the system automatic test which can improve the efficiency and reduce the cost of system test significantly. And the automatic generation of test case is important to automatic test which can reduce the test time,increase the test worker's capacity,and play an irreplaceable role in many areas. Otherwise, the automatic location of factor which lead to test error may greatly increace the degree of test automation.In this thesis,we analysed CBTC system and constructed automatic test frame and module based on TTCN-3, and raised the method of the automatic generation of test case and the locating the factor which lead to test error. This thesis's prime work is as follow:1 .Constructing a CBTC simulation test system,adding the Principle Display and Simulation Management Unit to the oringinal CBTC facility. Principle Display and Simulation Management Unit makes the CBTC system function test more flexible,at the meantime it make the test process and results more visible. We use two test mode to CBTC system,controlled mode and autonomy mode.The implementation of it is by the operation of Simulation Management Unit.2.Using the combination test method, we construct the combination test modul of CBTC system. A heuristic method based on solution space tree is proposed to generate the test case which cover dual-factor or multi-factor combination automatically.At the meantime, the factor which lead to the test error is located.At last,the heuristic algorithm which generate test case covering the dual-factor combinations is applied to CBTC ATP unit function test. 3. The automatic test frame is constructed based on the TTCN-3 test environment The TTCN-3 test environment TTworkbench . is used to establish CBTC ATP unit test suite. TTCN-3 GFT(Graphical Presentation Format) is used to define the test process and the generation and execution of test case.By the simulation test of CBTC ATP unit,we can testify that this automatic test method can generate test case efficiently and locate the factor which lead to test error rapidly with high feasibility.