UML sequence based interlocking test case generation.

Computer interlocking software is the highest safety integrity level software, so it is essential to test it before putting it into use. In order to get interlocking software test cases, combined with UML models with sufficient testing information, this paper proposed a method of test case generation based on UML sequence diagram. By proposing generating algorithm of directed graph SG, transferred sequence diagram into SG and traversed SG based on specific coverage criteria and by using depth-first algorithm. It generated the input, respected output, constraint and scenario context and these four constituted the test case. Finally, route setting example proves the feasibility and correctness of this method. [ABSTRACT FROM AUTHOR]