Research On Simulation Test Method Of Computer Interlocking Software

The computer interlocking system is the key equipment to ensure transport safety in the station.It is a high-safety,high-reliability real-time system,which requires comprehensive and rigorous testing before being put into use.Due to the large quantity of engineering of the interlocking system,it is difficult to discovery vulnerabilities through traversing its functions based on field test.The test loss can be reduced by the computer simulation,but there are still some problems in the process of testing,such as the dependence on professional manual operation,the large amount of repetitive steps in the test and the long testing time,which make it difficult to improve the testing efficiency.Aiming at the above situation,a computer interlocking software simulation test method is proposed,which generates test sequences automatically through the timed automata model,optimizes test sequences automatically through the firefly algorithm,and finally executes test sequences automatically based on the actual station data.(1)An automatic test framework based on route control is proposed.Based on traditional test requirement documents,the test requirements of computer interlocking software are analyzed.According to the sequential logic of route control,the functional scenes are reorganized into continuous test items to reduce the certain repetitive operations and lay the foundation for the subsequent modeling of interlocking.(2)By using UPPAAL tool,the timed automata model of interlocking system based on route control is established,including six sub-models:test-driven model,route-setting model,automatic-release model,route-cancellation model,manual-release model and section-fault-release model.Information is interacted between sub-models.And the correctness of the model is proved by the simulation and verification functions provided by the tool.An auxiliary software CoVer is introduced to automatically generate the original test sequence set covering all migration paths of the model.(3)A test sequence optimization method based on firefly algorithm is devised.Taking three basic functional scenarios as examples,the application of the algorithm is illustrated.Compared with the original test sequence generated by time automata and the test sequence based on genetic algorithm optimization,the effectiveness of reducing 9%redundancy based on firefly algorithm is proved in the case of faster convergence.(4)A computer interlocking simulation test platform is developed,and the method proposed in this paper is verified by a practical station.The results show that compared with the traditional method,the redundancy of abstract test sequence for full-function test of each route is reduced by 14%,and the specific test steps can be reduced by 36.1%.The time for testing a small station is reduced from 1-2 days to about 7 hours.The time for testing a medium station is reduced from 3-5 days to about 18 hours.The research results show that the interlocking simulation test method based on timed automata model and firefly algorithm improves the automation of test while ensuring the test coverage,and reduces the repetitive operation of test.Compared with the traditional test method,the interlocking simulation test method improves the test efficiency significantly.