Research On Test Sequence Generation Method Of Track Circuit Reader

Track Circuit Reader (TCR) is specialily used in the signal subsystem of High Speed Passenger Railways exceed350kilometers per hour. TCR is designed based on the mature technique of JT1-CZ2000through improving the cab signal on-board system device. The research in cab signal or TCR test system playing a very vital role in the railway safety production. Test is a time-consuming project, while a good test method can improve the efficiency greatly. This paper focuses on the research of TCR test sequence generation method.The main work accomplished in this paper is listed as follows:1) Extract the function index and performance index of TCR according to cab signal and TCR specification.2) Divide the test system into three modules based on laboratory simulation environment: PC module, Test Box module and TCR module. At the same time, describe the functions and interfaces of each module.3) Divide the test system into five processes according to the features had already extracted, such as:communication test process, carrier frequency cut process, strain time of low frequency test process, strain time of line type and insulation section test process, sensitivity test process. This research analyzes the testing steps and the state transition in each process.4) Propose a modeling method based on the timed automata theory, model the each flow by UPPAAL modeling mechanism and verify whether the model can detect the testing items;5) Simulate every process, generate the test sequences, and the result is saved in XML form for using in the future.Through the verification and simulation based on the timed automata theory in this paper, the result indicates that the test model and test sequences generated in this research can meet all the test targets. The research has laid a good foundation for TCR automation testing system.