Abstract:As a unified technology platform for high speed railway in China, CTCS-3 train control system can ensure the safety and high efficiency of train operation. In order to verify whether a CTCS-3 system is consistent with the system requirements specification, it is necessary to carry out a series of testing, including laboratory testing, field testing, integrated testing and commissioning, as well as interoperability testing, for whose purposes a set of test sequences must be prepared. The manual preparation of test sequence is characteristic of heavy work load, low efficiency and high demand for professional expertise. Although a computer-aided tool has been developed to provide an integrated graphical editing environment, with such functions as automatic generation of WORD test sequence files and XML test scripts, as well as electronic management of test cases, test sub-sequences and test sequences, however its intelligence and flexibility is limited because human efforts and expertise are stilled needed in such works as preparing pre-defined test sub-sequences, choosing proper test sub-sequences and concatenating them to form a test sequence, as well as setting up various test conditions. To address these issues, this paper proposes a new approach for generating the test sequence by building an expert system, with the aim to increase the degree of automation in concatenating test cases, determining test location and setting up test condition for each test case. Firstly on the basis of analyzing the process of manually generating test sequence, the related domain knowledge are summarized; secondly the knowledge tree method is adopted for compiling the knowledge about test cases and their test method, the typical test scenarios and some rules of thumb; thirdly production rules are adopted to represent the knowledge and relational database is utilized to build the knowledge base; finally a hybrid inference mechanism by combining model-based forward inference and rule-based backward inference is adopted to generate the test sequence.

Research on Model-based Test Case Generation Method of Onboard Subsystem in CTCS-3

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

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

Research on Automatic Generation of Test Cases for on-board Equipment CTCS-3Based on Model

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

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

Scenario-Based Testing for Onboard Subsystem

Fault Model-Based Safety Test Method and Application for Ctcs-3 Train Control System

Test Case Generation Method Based on Colored Petri Net for Train Control System.

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

Towards A Test Paths Generation Method for CTCS Level Transition

Study of CTCS-3 Control System Risk Assessment Based Unified Modeling Language

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

Study on the Computer-Aided Tool for Generation of Test Sequence for CTCS-3 Train Control System

Mutation model-based generation of test cases for CTCS-3 Train Control System

A Kind of Modeling Method for CTCS-3 Based on Operation Scenario

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

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

An expert system approach for generating test sequence for CTCS-3 train control system

Multi-port Based Automatic Formal Testing Generation and Its Application in CTCS-3 Level On-board System

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