列控车载子系统是确保列车的安全运行的关键设备，对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷，提出一种基于场景的车载系统测试用例自动生成方法，依据 CTCS-3级列控系统技术规范构造车载子系统场景树模型，由实时系统测试用例自动生成工具 CoVer 对列车运行模式转换自动机网模型生成基于场景的测试用例，并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明，基于场景自动生成的测试用例能够覆盖全部车载模式，并提高了模式转换测试序列生成效率。%Train control onboard subsystem is the key device for ensuring the safety operation of trains,testing the onboard subsystem is an important means to guarantee the functions implementation and the consistency of system specification.In this paper,aiming at the deficiencies of traditional manual test cases generation such as low efficiency,time-consuming,workload complexity and low reusability, etc.,we present a scenario-based automatic test cases generation method for onboard subsystem.It builds the scenario-tree model of onboard subsystem according to the technical specification of CTCS-3 train control system first,and then generates the scenario-based test cases by CoVer,an automatic generation tool of real-time system test cases,on automata network model of train operation mode transition,finally generates the test sequence covering full modes using the selection algorithm with minimum operation mode repeatability.Conclusion proves that the test cases automatically generated based on scenario can cover all onboard modes,and improves the generation efficiency of mode transition test sequence.
展开▼
