关键词: 模型, 树形网状结构, 状态转换, 测试用例

Abstract: Interlocking software test is one of the important means to ensure interlocking safety. In order to solve the problems of low generality and high labor cost of interlocking software test, a method of general-purpose interlocking software test case generation was proposed. This paper analyzes the problems of traditional test methods and proposes a test case generation method of general interlocking software. Combined with the technical specifications for computer based interlocking and the functional requirements of the software, it is transformed into the state object that can be identified by tools, and the identified states are divided to form several quaternion combinations to generate the tree network structure of interlocking state transition. Through the analysis of the established tree network structure, the interlocking condition and target state of several quaternion combinations in the structure are obtained and the abstract test cases are generated, and each group of abstract test cases are deduced according to the pre-defined input to generate a series of concrete test cases. The cases generated using this method can cover all the interlocking test functions in known scenarios, reduce the time of manual writing of cases, reduce the probability of errors caused by human factors, and improve the test reliability.

Key words: model, tree network structure, state transition, test case