Abstract:Potential faults in safety critical systems may lead to system failures thus bring huge human injuries. How to ensure the correctness of the system during the system development is very important. System function testing has been regarded as an effective approach which normally applied in the final stage of system development to ensure the consistence of system functions and specifications. In this paper, an integrated model-based test case generation method combining Hybrid Communicating Sequential Processes (HCSP) and Timed Automata is introduced, in which HCSP is used to formally model the scenarios of the system, while Timed Automata is used to verify the system properties in HCSP models. To bridge the gap between the HCSP model and Timed Automata model, transition rules are defined according to the characteristics of systems. Based on the Network Timed Automaton model, a tool chain (UPPAAL and CoVer) is presented to automatically generate test case with coverage criteria in a simple and flexible manner. The tool chain is also applied to analyze the typical Radio Block Center (RBC) handover scenario in Chinese Train Control System Level 3 (CTCS-3). Logical and timing properties of the case study are verified and different test case suites of Vital Computer (VC) components in RBC handover model are automatically generated with different coverage criteria.

Multi-mode Test Method for IC Equipment Functional Simulation Platform

Design of Test System Software Based on IC Equipment Simulation Platform

Design and Realization of a Testing Software for the Multi-Serial Ports Card Based on CVI

Study on LSI's Function Test and Simulation

Design for HW/SW Co-Testing Based on FPGA

Designs of a modular general test platform

Design of a Platform for Logic Simulation and Testing

Application of Simulation Test Management Device in CTCS-3 Simulation Test Platform

A Contract-Checking Test Method for CTCS Hardware-in-the-Loop Simulation System

A Microprocessor Based SOC Built-In Test Scheme

Chip Tester Based on FPGA Commonly Used in Laboratory

Design for Testability of System on Chip

Function Verification of Interface IP Core Based on the Restricted Random Test Bench

Multi-Parameter Testing Platform Of Engine

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

Design of Multifunctional Built-in Test System for Communication Equipment

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

The Testing of PCB Digital Function Model Based on Virtual Instrument

Design and Verification of an Integrated Multi-task Testing Platform for FCV Powertrain System

Simulation combined model-based testing method for train control systems

Cloud-Based Simulated Automated Testing Platform for Virtual Coupling System