Reserch Of Interlocking Software Formal Testing Technology

According to the small construction area, renovation and maintenance are easy,and adding a new features easily, Computer interlocking system has been widely used in the railway transport system.In the Rail transport system safe is the most enduring topic,so the computer-based interlocking system has the most security and reliability. Today, under the premise of the high-quality computer interlocking system hardware, how to improve the quality of the software has been pay more attention. Software testing is one way to improve software quality. Traditional interlocking software testing is usually done by hand, heavy workload, and often rely on the expertise and experience of testers, so the test efficiency and test quality is difficult to be guaranteed. Thus, the interlocking software test automation is currently being more focused.The case’s design and generation of Interlocking Software test is the key and the difficulty, and also for the test automation. The quality and efficiency of automated testing process is depend on this program. This paper analyzes the function and structure of computer hardware and software interlocking system, use of UML modeling language to module the relevant modules interlock system and-based on the UML modeling to generate UML interlock test case. because of the different emphases of the different modules interlock system,the paper use state diagrams and sequence diagrams to model its modeling approach and to generate a process state diagram,an approach routing process and the sequence diagram, and signal open process sequence diagram, and then made the interlock test based on the state diagram and sequence diagram.Based on the State diagram of interlocking software,the techniques to generate the test case automaticly, for example, combining state diagram the test coverage criteria. based on the graph theory,cases test coverage criteria are transformed into a circle of Hamilton,solving the problem of the Euler track and vertex degree.Automatic generation of test cases based on the sequence diagram of interlocking technology software, proposed a sequence diagram into a directed graph SG, combined with sequence diagram test coverage criteria, using a depth-first traversal algorithm has to traverse the map SG to get the test scene under the corresponding sequence graph, and generate a test case. the paper approach the process of routing the signal sequence diagrams and open process sequence diagram as an example, this method was applied.The paper is contain the techniques of generation’s interlocking software based on the UML model, it reduces the dependence on technology testers and improve the degree of automation of test case generation, enhance the quality and efficiency of software testing, protect the computer interlocking system safety and reliability.