A Contract-checking Test Method for CTCS Hardware-in-the-loop Simulation System
The CTCS HardwareIntheLoop 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 contractchecking test method (CCTM) is proposed to execute the test verdict online. By analyzing several test applications, the test process could be ed 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.
Contract-checking Automatic Test Test Process Model CTCS
Changbo KE Yindong JI Shuai WANG Xinya SUN
Department of Automation, Tsinghua UniversityTsinghua National Laboratory for Information Science an Department of Automation, Tsinghua University TsinghuaNational Laboratory for Information Science an Department of Automation, Tsinghua University Tsinghua National Laboratory for Information Science a
国际会议
成都
英文
1-5
2010-04-16（万方平台首次上网日期，不代表论文的发表时间）