Abstract:The ) is an automatic system which is an integrated of advanced control technology, advanced communication technology, advanced computer technology and railway signal technology.It plays an important role in assuring safety and improving efficiency in railway.As a core subsystem in CTCS-3, the onboard subsystem is a typical safety-critical system, in which any fault can lead to huge human injury or wealth losing.Function testing method which is mainly focus on the conformance relation between the specification and the System Under Test (SUT) has been widely used in testing onboard subsystem in the past few years.However, most of the test cases are manually generated which can't be reused and leads to repeated works when the specification is changed.To improve the testing efficiency and quality, model-based testing method is introduced.We use a tool chain to generate test case automatically based on Timed Automata theory and then apply in function testing of onboard subsystem.Firstly, we establish the scenario-tree by analyzing the specification of onboard subsystem and Vital Computer and Environment (V-E) timed automata network model of mode transition using tool Uppaal.Then, according to the relation between train modes and operational scenarios, test cases are automatically generated by tool CoVer with definition coverage criteria based on the Observer Automata theory.Finally, a selection algorithm is given to choose a complete test sequence from the test cases.Different test suitss of onboard subsystem are acquired and compared with different coverage criteria and coverage items.A complete model transition function test suits are derived which is proven very useful for testing the onboard subsystem.

Complete Testing for Speed Monitoring Function of Next-Generation Train Control System Based on IPOG Strategy.

Complete Test Suites Generation of CTCS-3 Target Speed Monitor Based on Combinatorial Testing

Complete Test Suite for the CTCS-3 Target Speed Monitor Based on IECP Test Theory.

Online Testing of Real-Time Performance in High-Speed Train Control System.

CTCS-N System Test Case Generation Based on Fault Injection

A test case generation method based on safety analysis for train positioning unit

A Model-Based Test Case Generation Method for Function Testing of Train Control Systems

Model-Based Test Case Generation for Function Testing of CTCS-3 Onboard Subsystem

Test Suite Generation for CTCS-3 Train Control System Based on TAIO and Mutation Theory

On-line Conformance Testing of the Communication-Based Train Control (CBTC) System

Research and Application of Automated Test for Background Program of Railway CTC System

Design and Performance Tests in Different Test Scenarios Based on the TD-LTE Train-Ground Communication System

Stability Optimization and Verification Based on SPTG of Constant Distance Control Strategy in Train-Train Communication Train Control System

Design for Testing and Analysis of Locomotive Synchronous Control System

Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON

Research on Generating Method of On-board Equipment Test Sequence in ATO System of High Speed Railway

Automated Generation of Test Cases and Sequences Based on Path Optimization Algorithm

Parallel Monitoring for the Next Generation of Train Control Systems

Design and Implementation of Remote Monitoring and Control System for Freight Train Load Testing

Method of the Laboratory Interoperability Test for the Onboard Equipment of CTCS-3 Train Control System

Study On The Method For Automatic Generation Of Test Sequence For Train Control System Based On State Matching