We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
基于模型的联锁软件测试用例生成方法.
- Authors
彭丽维; 宋鹏飞; 江雪莹; 谢 林
- 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.
- Subjects
TECHNICAL specifications; ERROR probability; CONCRETE testing; LABOR costs; TEST methods; COMPUTER software testing
- Publication
Railway Signalling & Communication Engineering, 2022, Vol 19, Issue 11, p32
- ISSN
1673-4440
- Publication type
Article
- DOI
10.3969/j.issn.1673-4440.2022.11.007