With the rapid development of science and technology,Computer-based Interlocking System has replaced the electric interlocking system,and becoming the main development direction of station interlocking system.Computer-based interlocking software is the key to ensuring the safety of railway station and locomotive operation,and high-efficient and sufficient testing are indispensable to its security.On the stage, the testing of interlocking software mainly relies on manual testing to complete, which has the disadvantages of insufficiency and low-efficiency.So the researching of the automatic testing system for interlocking software is significant. It can not only promote interlock testing to standardization,procedures, simplification ,but enhance the efficiency and reduce the testing time, moreover,it can also eliminate the hidden dangers of the testing errors.To begin with, it illustrates the source, purpose and the significance of the dissertation,it puts its emphasis on the research of the HJ04A computer interlocking system's frame and structure, hardware and software architecture and functional characteristics and so on, it also analyses the input and output models of computer interlocking software, and on the basis of determining gray-box automatic testing methods, and on this basis was proposed graphics-based analysis of test results, and formed the automatic analysis and determination methods, followed by the OPC-based interlocking system state simulation method, which makes the test system can normally testing in the case of not directly tested the system's interface, guarantee the objectivity of test results,and makes the testing process easier .What's more, on the basis of analyzing the security requirement of interlocking software,established Petri Net models of security requirement of interlocking software, and given an implementation algorithm for solving cut set, and further constructed a auto-build method of security testing use cases.Finally,it detailed described the basic logic structure and function module design of the automatic test of the computer interlocking system,and makes a summary and outlook to the full text. |