Study On The Automatic Testing Simulation System Of Computer Interlocking Software

With the rapid development of Electronic engineering and Computer technology and Fault-tolerant technique, Computer Interlocking System becomes the orientation of Station Interlocking System. Since Computer Interlocking System is a real-time and safety-critical system, it should have high reliability and safety (be satisfied with Fail-safety criterion in railway signaling system) quality. As safety-critical software, Interlocking software affects the reliability and safety of the whole system. So we should ensure the pre-delivery test quality of the Interlocking software.For a long time, Manual-test is used in Station signal interlocking system. Manual-test is not suitable for the development of the Computer Interlocking technique Because of its defect. In order to be up to the evolution demand of Computer Interlocking System, we successfully exploit a set of Automatic Testing Simulation System of Computer Interlocking Software. We can test the interlocking software automatically by this system. This system makes the test procedure standardization, simplification, thus improve the efficiency, reduce the trial time, and eliminate accident threat caused by misplay.The paper illustrates the Automatic Testing Simulation System of Computer Interlocking Software, and elaborates all the parts of the system.Firstly, it states the hardware and software structure of the system, and specifies what functions the system can test.Secondly, it develops the interlocking data and data structure, italso bring forward the route-searching method based on the geographical data structure to realize the automatic creation of Interlocking table.Thirdly, it analyzes and modeling the Station signal field system, and specifies the arithmetic and strategy of the simulation system and the design of the simulation software.Finally, the paper illustrates the creation and dispatcher' s control of the testing example, it put forward a way to describe the creation of the testing example using predication logic. In this way, it only takes the input and output of Interlocking software into account. The paper also discusses the automatic creation and control of the testing example in the point of software design.According to the practice, the system plays an important role in discovering defect of interlocking software. It improves the test efficiency, reduces the test workload, and is in favor of carrying out regression test, it cuts down the test cost by reducing the man-made operating misplay and the low technique demand for testing personnel.