The Method For Automated Generation Of Test Sequence For CTCS-1 Train Control System Based On Dynamic Programming

The Chinese Train Control System Level 1(CTCS-1)is suitable for existing railway lines and the newly-built ones with speed below 200km/h and uses the distance to go mode to supervise train operation.Since it is currently under development,a series of testing shall be carrying out to ensure that the CTCS-1 equipment meets the system requirements specification.At present all the CTCS-1 test sequences are prepared manually,being characteristic of heavy workload,high professional demand and low efficiency.Therefore,it is of great significance to carry out the research on computer-aided test sequence generation method and tool for CTCS-1 train control system.In Beijing Jiaotong University,a lot of research has been carried on the method of generating test sequence for CTCS-3 train control system,and a test sequence generation tool has been developed.Based on these previous works and with consideration of the characteristics of CTCS-1 train control system,a dynamic programming based method for automatic generation of CTCS-1 test sequence was proposed,and an expert system approach was adopted to verify the rationality of the generated test sequence.The main works of this thesis are as follows.(1)The key issues in the automatic generation of CTCS-1 test sequence were analyzed,including the concatenation order and test site selection of test cases,and the automatic test sequence generation method based on dynamic programming was put forward.Firstly,the distance between test cases were evaluated based on the combination of operating mode transition and test scenario,and the concatenation order of test cases was optimized for minimum evaluated distance.Secondly,discrepancy between the test cases and the test sites was evaluated by Multi-Variable Assessment(including the type of the track section,whether there is balise)and then the test sites were optimized for minimum discrepancy evaluation.Finally the table lookup method was adopted to realize the addition of test conditions.(2)The rationality verification method of CTCS-1 test sequence based on expert system was proposed.Firstly,the related specifications of CTCS-1 train control system were analyzed,and related knowledge was sorted out.The frame was used to represent the state transition process(starting state and end state),and the production rule was adopted to represent the rule knowledge.Secondly,the relevant data from the test sequence was obtained and then organized according to a data format required for the validation process.Finaly,forward reasoning was used to obtain the actual end state of each state transition process,and the bitwise AND method was used to verify whether the actual start/end state of the state transition process is consistent with the expectation,so as to verify the rationality of the test sequence.(3)On the basis of the method mentioned above,a test sequence generation tool for CTCS-1 was designed and developed under Visual Studio 2013 and C#,after carrying out such works as overall design and detailed design.