基于场景的车载设备测试用例自动生成方法研究  

ON SCENARIO-BASED AUTOMATIC TEST CASES GENERATION METHOD FOR ONBOARD DEVICES

作　　者：赵伟慧 吕继东[2] 袁磊[1] 唐涛[1] 李辰岭[1] 

机构地区：[1]北京交通大学轨道交通控制与安全国家重点实验室,北京100044 [2]北京交通大学轨道交通运行控制系统国家工程研究中心,北京100044

出　　处：《计算机应用与软件》2015年第3期65-68,共4页Computer Applications and Software

基　　金：国家高技术研究发展计划项目(2012AA112801)

摘　　要：列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。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 Co Ver,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.

关 键 词：车载系统 运营场景 模式转换 测试用例 观测自动机 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]