基于有色Petri网的测试案例生成方法及其CTCS-3车地通信中的应用
Test case generation method based on colored Petri net and its application in OnBoard-Trackside communication of CTCS-3

摘要 CTCS-3级列控系统作为高速铁路的中枢神经系统，是典型的安全苛求系统.对安全苛求系统进行有效测试是提高系统安全性的重要手段.鉴于车地通信在列控系统中的重要性，提出一套基于有色Petri网的车地通信测试案例的生成方法.参考CTCS-3级列控系统技术规范，构建车地通信流程的有色Petri网模型，生成状态空间并搜索到达目标状态的路径，在路径的基础上自动生成测试案例.通过对比使用有色Petri网自动生成和现有的测试案例，验证了测试案例生成方法的正确性，提高了测试案例生成方法的自动化程度，为基于模型的系统测试提供了参考.
Abstract：As playing a key role in high-speed railway, CTCS-3 is a typical safety-critical system. Effective testing is an important mean to improve security of safety-critical system.Considering the importance of OnBoard-Trackside communication in train control system, a set of test case generation method for OnBoard-Trackside communication based on colored Petri net is proposed. According to CTCS-3 technical specification, models of OnBoard-Trackside communication procedure are established, then state space of the models are generated and path to target state is queried. The test case is generated automatically based on the path to target state. By comparing the test case generated by colored Petri net and the existing test cases, the correctness of test case generation method based on colored Petri net is verified, which could raise the automation degree of writing of test case. It provides the references for the model-based system test.