A contract-checking test method for CTCS Hardware-in-the-Loop Simulation system

The CTCS Hardware-In-the-Loop Simulation (HILS) system is currently under developing and needs to be tested thoroughly. According to the requirements of concurrency and configurability, a test process model based contract-checking test method (CCTM) is proposed to execute the test verdict on-line. By analyzing several test applications, the test process could be abstracted as a test event chain. And every test event has its own preconditions and consequences, which are considered as a formal contract. Checking a contract, we can easily monitor the test stimuli, observation and verdict. Then, the function modules and the crucial techniques in applying CCTM to distributed railway test system are described. The applications in CCTM show that the proposed test method satisfies the test requirements of the CTCS HILS system.