Abstract:A Train Control System (TCS) is utilised to guard the operational safety of the trains in railway systems. Therefore, functional testing is applied to verify consistency between the TCS and specification requirements. Traditional functional testing in TCSs is mainly based on manually designed test cases, which is becoming unsuitable for testing increasingly complex TCSs. Therefore, Model-Based Testing (MBT) methods have been introduced into TCS functional testing, to improve the efficiency and coverage of TCS testing, with application difficulties. To overcome the difficulties of applying MBT methods to test TCSs, the author introduces simulation combined MBT which combines an MBT method with simulation. Modelling method and implementation method for the proposed approach were explained in detail. Two case studies were undertaken to explore the effectiveness of the testing platform developed. The testing results obtained prove that the testing platform can be utilised to implement the functional testing of TCSs. To prove that the MBT platform is effective in detecting errors in the SUT, validation and verification was undertaken, which include validation of specification requirements and verification of the MBT platform. The testing performance is proven to be better than existing MBT methods in terms of coverage and efficiency.

A Maglev Transportation Simulation Platform Using UML

Model-based Simulation and Verification on Typical Function Scenes of High-Speed Maglev Vehicle Operation Control System

Object-Oriented Software Design Based on UML

Vehicle Structural Design and Analysis in Maglev Experimental Line

Object-Oriented Modeling of Elevator Control System and Strategies of Elevator Group Control

Design of UML-based Auxiliary Decision-making Software for Railway Transportation

A Platform for Simulation of Railway Network Operation Scheduling

UML Modeling and Development of an Urban Rail Transit Network Passenger Travel Process

A Unified Modeling Language-Based Design And Application For A Library Management Information System

Modeling and Simulation of Traction Power Supply System for High-Speed Maglev Train

Energy-Saving Operation Control Strategy of High-Speed Maglev Train

SysML-based Uniform Behavior Modeling and Automated Mapping of Design and Simulation Model for Complex Mechatronics

Dynamic Simulation of the HTS Maglev Vehicle-Bridge Coupled System Based on Levitation Force Experiment

Simulation of Maglev ATO Control System Based on MATLAB

An approach for design and formal verification of safety-critical software

Simulation combined model-based testing method for train control systems

Using uml and petri nets for the design and verification of a railway interlocking system

A System Test Methodology Based on Markov Chain Usage Model

Research on Modeling of Graduate Training System Based on UML

Manufacturing Plant Management Information System Analysis and Design Based on UML

Design and Implementation of Online Examination System Based on UML