Research On The Method Of Interlocking Test Cases Generation Based On UML State Machine

An interlocking system is the key technical equipment to ensure the safety of railway operations.The interlocking simulation test is an important part of the interlocking safety verification.The traditional interlocking simulation test method is faced with problems such as low efficiency,poor universality and unquantifiable test results.In order to overcome the shortcomings of traditional test methods,it is urgent to improve the automation level of interlocking simulation tests.The generation of test cases is an important link in the realization of interlocking automatic test,and an effective automatic generation method of interlocking test cases is crucial.In this thesis,UML state machine models with routes as the unit are constructed by using model-based testing method,and test cases are generated by using test case generation tool Par Teg,and then the effectiveness of the generated test cases is verified.In order to apply the models to interlocking test in different routes,the thesis builds an automatic platform for generating interlocking test cases.The main work of this thesis is as follows:(1)In order to break the traditional modeling idea based on station topology,a UML state machine construction method based on route was proposed for interlocking simulation test.Universal interlocking test models are built to avoid the problem of interlocking simulation test customization.The interlocking test models established by this method can be applied to different stations and realize the reuse of the test.(2)A quantitative evaluation method of interlocking relation check based on mutation testing is proposed.Compared with the test cases generated by the traditional algorithm,the mutation score of the test cases generated by the thesis is higher,and it can cover the test contents in the corresponding interlocking relation check items,which proves the validity and completeness of the test cases.(3)An automated test case generation platform is developed which is suitable for different station interlocking.The platform takes the interlocking test models as the framework and the interlocking table data as the input,which can automatically update the interlocking test models and generate test cases in different routes.Through comparative analysis,the test case generation method proposed in this thesis has more advantages in effectiveness and completeness compared with the test case generated by traditional methods,which can provide reliable basis for the automatic execution of interlocking test.