A Model-Based Testing System for Safety of Railway Interlocking.

Haoxiang Su Ming Chai Hongjie Liu Jinchuan Chai Chaopeng Yue

Published in: ITSC (2022)

Keyphrases

model based testing
test cases
software development
software design
security policies
software testing
traffic safety
testing process
sequence diagrams
test data
traffic management
test sequences
regression testing
access control
test set
database systems
data sets
case study