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

Abstract 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.
AbstractList 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.
Author Chai, Jinchuan
Su, Haoxiang
Chai, Ming
Yue, Chaopeng
Liu, Hongjie
Author_xml – sequence: 1
  givenname: Haoxiang
  surname: Su
  fullname: Su, Haoxiang
  organization: National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044
– sequence: 2
  givenname: Ming
  surname: Chai
  fullname: Chai, Ming
  email: chaiming@bjtu.edu.cn
  organization: National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044
– sequence: 3
  givenname: Hongjie
  surname: Liu
  fullname: Liu, Hongjie
  organization: National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University,Beijing,China,100044
– sequence: 4
  givenname: Jinchuan
  surname: Chai
  fullname: Chai, Jinchuan
  organization: National Railway Track Test Center China Academy of Railway Sciences Corporation Limited,Beijing,China
– sequence: 5
  givenname: Chaopeng
  surname: Yue
  fullname: Yue, Chaopeng
  organization: Beijing National Railway Research & Design Institute of Signal & Communication Group Co, Ltd.,Beijing
BookMark eNotj8tKxDAUQCPoQsf5AkHyA603N71tspKx-CiMCLauh7S5kWKnkbYg_XsFZ3U2hwPnSpyPcWQhbhWkSoG9q5q6JFIZpAiIqbWIRMWZ2NrCqDynLDcG4FLc7-Rr9DwkD25mLxuel378lPU6L3yUIU6ydoGXVcYg310__LhVVuPC0xC7rz_zWlwEN8y8PXEjPp4em_Il2b89V-Vun_RK6yWxnqC1FJCAoQu6a5EcIuStp8xyS9hpq1ABGKN1QZ1XCk3mvHXGo2e9ETf_3Z6ZD99Tf3TTejht6V_9a0Yi
ContentType Conference Proceeding
DBID 6IE
6IH
CBEJK
RIE
RIO
DOI 10.1109/ITSC55140.2022.9922557
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan (POP) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library Online
IEEE Proceedings Order Plans (POP) 1998-present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library Online
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 9781665468800
1665468807
EndPage 340
ExternalDocumentID 9922557
Genre orig-research
GrantInformation_xml – fundername: Beijing Natural Science Foundation
  grantid: L201004
  funderid: 10.13039/501100004826
– fundername: Fundamental Research Funds for the Central Universities
  grantid: 2022JBZY003
  funderid: 10.13039/501100012226
GroupedDBID 6IE
6IH
CBEJK
RIE
RIO
ID FETCH-LOGICAL-i133t-9d50b95f250e0cf3cb25a2206bd549eb52c3912100883375cd11284ad9a8d2de3
IEDL.DBID RIE
IngestDate Thu Jan 18 11:13:38 EST 2024
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i133t-9d50b95f250e0cf3cb25a2206bd549eb52c3912100883375cd11284ad9a8d2de3
PageCount 6
ParticipantIDs ieee_primary_9922557
PublicationCentury 2000
PublicationDate 2022-Oct.-8
PublicationDateYYYYMMDD 2022-10-08
PublicationDate_xml – month: 10
  year: 2022
  text: 2022-Oct.-8
  day: 08
PublicationDecade 2020
PublicationTitle 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)
PublicationTitleAbbrev ITSC
PublicationYear 2022
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.8659793
Snippet Testing is an important safety assurance technique for railway interlocking systems. Model-based testing (MBT) allows for designing and maintaining tests with...
SourceID ieee
SourceType Publisher
StartPage 335
SubjectTerms Computational modeling
Manuals
Natural languages
Organizations
Process control
Rail transportation
Software
Title A Model-Based Testing System for Safety of Railway Interlocking
URI https://ieeexplore.ieee.org/document/9922557
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LSwMxEB7anjyptOKbHDyabTa72W5OosVShYrYLfRW8pRi2RXZIvXXm-yuFcWDtxBCHszhm5nM9w3ARarSSMWpwqnz9rEbUCxpqLAIE8JNnNiQeDby5CEZz-L7OZu34HLLhTHGVMVnJvDD6i9fF2rtU2V9r6HK2KAN7QHnNVerIf2GhPfvsunQ4z9xUR-lQbP4R9eUCjRGuzD5Oq6uFXkJ1qUM1McvJcb_3mcPet_0PPS4BZ59aJm8C1fXyPc1W-Ebh0saZV49I39GtSI5cq4pmgpryg0qLHoSy9W72KAqHejQzKfLezAb3WbDMW66I-CliytLzDUjkjPrfBhDlI2UpExQShKpXcxnJKMq4l4ejPh-wgOmdOixSGguUk21iQ6gkxe5OQQUmVhxFQoX2_CYSCuFwyguU7cTE5baI-j6xy9eawGMRfPu47-nT2DHG6AulDuFTvm2NmcOuUt5XpnsE3ejmSc
link.rule.ids 310,311,783,787,792,793,799,27937,55086
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3PS8MwGA1zHvSksom_zcGj6dK06ZKT6HBsug1xHXgb-SnD0Yl0yPzrTdo6UTx4C6EkDTm893353vsAuGCKRSpmCjHH9pEbECRJqJAIE8xNnNgQezXycJT0JvHdE32qgcu1FsYYUxSfmcAPi7d8vVBLnypreQ9VStsbYNPxapaUaq1K9hti3uqn445nANjFfYQE1ec_-qYUsNHdAcOvDctqkZdgmctAffzyYvzvH-2C5rdADz6soWcP1EzWAFfX0Hc2m6Mbh0wapt4_I3uGpSc5dOQUjoU1-QouLHwUs_m7WMEiIejwzCfMm2DSvU07PVT1R0AzF1nmiGuKJafWsRiDlY2UJFQQghOpXdRnJCUq4t4gDPuOwm2qdOjRSGgumCbaRPugni0ycwBgZGLFVShcdMNjLK0UDqW4ZG4lKiyxh6DhDz99LS0wptW5j_6ePgdbvXQ4mA76o_tjsO0voyybOwH1_G1pTh2O5_KsuL5Pq2-ccg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2022+IEEE+25th+International+Conference+on+Intelligent+Transportation+Systems+%28ITSC%29&rft.atitle=A+Model-Based+Testing+System+for+Safety+of+Railway+Interlocking&rft.au=Su%2C+Haoxiang&rft.au=Chai%2C+Ming&rft.au=Liu%2C+Hongjie&rft.au=Chai%2C+Jinchuan&rft.date=2022-10-08&rft.pub=IEEE&rft.spage=335&rft.epage=340&rft_id=info:doi/10.1109%2FITSC55140.2022.9922557&rft.externalDocID=9922557