A Model-Based Testing System for Safety of Railway Interlocking
Haoxiang Su, Ming Chai, Hongjie Liu, Jinchuan Chai, Chaopeng Yue · 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) · 2022
Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with high-level models and generating test suites from these models automatically. Although MBT has the potential to improve testing efficiency and quality, it is not clear whether this technique is applicable for testing complex variant-rich interlocking software. In this paper, we report our experience in introducing MBT in inter-locking testing. We develop feature models of the interlocking route control process to improve the reusability of the models. The experimental results show that our approach is able to improve the quality and efficiency of real-world interlocking acceptance testing.