A Model-Based Testing System for Safety of Railway Interlocking

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 an...

Full description

Saved in:
Bibliographic Details
Published in2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) pp. 335 - 340
Main Authors Su, Haoxiang, Chai, Ming, Liu, Hongjie, Chai, Jinchuan, Yue, Chaopeng
Format Conference Proceeding
LanguageEnglish
Published IEEE 08.10.2022
Subjects
Computational modeling
Manuals
Natural languages
Organizations
Process control
Rail transportation
Software
Online AccessGet full text

Cover

More Information
Summary: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.
DOI:10.1109/ITSC55140.2022.9922557