Study On The Simulation Based Method For Rationality Validation And Evaluation Of Test Sequence For CTCS-3 Train Control System

The CTCS-3 train control system is the key equipment for guaranteeing the safety, reliability and efficiency of high speed railway. Before putting the system into service, a comprehensive test of system function must be conducted to ensure that the system complies with relevant technical specifications. The test cases give many specific test methods for each function point in the requirements specification. In a field testing, the test cases shall be concatenated to form test sequences to guide the specific testing work. Manual preparation of test sequence is characteristic of onerous task, high demand for professional expertise and low efficiency, so it is difficult to guarantee the rationality of test sequence. So rationality validation and evaluation of test sequence become a problem be solved urgently.In this thesis a simulation based method for rationality validation and evaluation of test sequence for CTCS-3 train control system is proposed. The main works of this thesis are as follows:1. Through analyzing the process of generation of test sequence, the contents of rationality validation of test sequence are summarized and the validation criteria for rationality of test sequence are designed.2. Building a rule base and an evaluation system. Through researching the criteria for test sequence rationality, designing rules for each content of rationality validation. Using first-order predicate approach to express rules, finally rule base is built. Through analyzing characteristic of test sequence, combining with theoretical analysis and expert consultation method, the evaluation indexs of test sequence are explicit and setting the weight for each evaluation index, finally evaluation system is built.3. A method based on multi-thread queue is proposed to verify rationality of test sequence, a method of rule acquisition and a method of rationality evaluation are proposed. Pushing the test data into a queue to form a contrast queue. A rule acquisition thread will search for related rules stored in rule base to form a rules queue according to the keyword in the contrast queue.The comparison thread compares the contents of the rules queue with that of the contrast queue, if the contents is the same, the dequeuing operation of the two queues will continue until the problem is found, finally give the result of rationality validation.4. The system of a simulation based method for rationality validation and evaluation of test sequence is designed. Firstly, building a simulation testing environment for on-board euqipment. Through UML modeling analysis, the overall structure of the simulation testing environment and its functional modules are designed, the data interaction process and workflow of simulation testing environment are illustrated. The output of the environment is results of test data, which are the data foundation of rationality validation and evaluation of test sequence. Secongly, rationality validation and evaluation of test sequence module is designed. This module analyses the results of test data to give the results of rationality validation and evaluation of test sequence.Finally, using Visual Studio 2010, the major functions of the system are implemented.