Please wait a minute...
Welcome to Railway Signalling & Communication Engineering, Today is 中文

Current Issue

  • Model-based Test Case Generating Method of Interlocking Software
  • Peng Liwei, Song Pengfei, Jiang Xueying, Xie Lin
  • 2022 Vol. 19 (11): 32-36. DOI:10.3969/j.issn.1673-4440.2022.11.007
  • Abstract ( ) PDF (1073KB)( )
  • 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.
Railway Signalling & Communication Engineering
  • 月刊 Monthly
  • 第21卷 第6期 总第期
  • Vol.21 No.6 S.No.
  • 出版: 2024-06-24
  • Published on:
  • 创刊:2004 年
  • First Issue: 2004