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.

Method to Automatic Testcase Generation toward Safety Critical Scenarios of Cyber-physical Systems

Method of Automatic Test Case Generation for Safety-Critical Scenarios in Train Control Systems

Generating Test Cases for Cyber Physical Systems from Formal Specifications

MC/DC Test Case Automatic Generation for Safety-Critical Systems.

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

A Quantitative Approach of Generating Challenging Testing Scenarios Based on Functional Safety Standard

Model-Based Generation of Safety Test-Cases for Onboard Systems

ON SCENARIO-BASED AUTOMATIC TEST CASES GENERATION METHOD FOR ONBOARD DEVICES

Attack Scenario Based Approach to Security Test Generation

A Test Scenario Automatic Generation Strategy for Intelligent Driving Systems

A Method of Test Case Automatic Generation for Embedded Software

Automated Scenario Generation and Evaluation Strategy for Automatic Driving System

A Safety Test Case Generation Approach for Airborne Software Based on General Failure Modes

Safety Test Case Generation of Train-ground Transmission Function for CTCS Based on Fault Models

Cyber-physical Test Case for Distribution Grid Operation and Control

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

Simulation-Based Automatic Generation of Risk Scenarios

A Systematic and Semi-Automatic Safety-Based Test Case Generation Approach Based on Systems-Theoretic Process Analysis

Generation from Formal M odels of Cyber Physical System

Bridging Data-Driven and Knowledge-Driven Approaches for Safety-Critical Scenario Generation in Automated Vehicle Validation