Research And Design On Key Techniques Of Computer Interlocking Software Testing Platform

Safety is the permanent themes of railway transportation and production. Interlocking software is the key software to ensure the safety of railway station and locomotive operation, and high-efficient and sufficient testing holds the balance to ensure its security. On the stage, the testing of interlocking software mainly relies on manual testing, which has the disadvantages of insufficiency and low-efficiency. With these facts before us, it is imperative under the situation to research an auto-testing platform of interlocking software.On the basis of the analyses of input and output fault models of computer interlocking software, this dissertation proposes an auto-testing platform which bases on comparing environment, and relative key techniques which composes the testing platform is studied and discussed.The paper firstly introduces relative concepts of railway signal, the characteristic of computer interlocking software and present situation of testing technology of computer interlocking software at home and abroad. Then it analyses input and output fault models of computer interlocking software, on the basis of which this chapter constructs models of interlocking software testing platform which bases on comparing environment. The following chapter elaborates the necessity of formalization modeling on interlocking software requirement, and it summarizes the functional requirement of interlocking software;by using two kinds of formalization method, it does modeling on requirement of interlocking software. On the basis of analyses on security requirement of interlocking software, the fourth chapter establishes Petri Net models of security requirement of interlocking software, and it gives algorithm implementation of solving the cutset problem, and it constructs auto-build method of security testing use cases. On the basis of the discussion on relative methods of auto-decision software testing, the fifth chapter elaborates decision method which the testing platform uses. Finally it summarizes the full text and puts forward the reformative job latter.