Abstract
As playing a key role in high-speed railway, CTCS-3 (Chinese Train Control System - Level 3) is a typical safety-critical system. Effective testing is an important mean to improve security of safety-critical system. A set of test case generation method for CTCS-3 based on Colored Petri net is proposed in this paper. According to CTCS-3 technical specification, corresponding models are established, then state space of the models are generated and path to goal state is queried. The test case is generated based on the path to target state. By comparing the test case generated by Colored Petri net and the existing test case, the correctness of test case generation method based on Colored Petri net is verified, which avoids the possible ambiguity in the natural language description of traditional test case.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
