| 基于场景的车载设备测试用例自动生成方法研究 |
| |
| 引用本文： | 赵伟慧,吕继东,袁磊,唐涛,李辰岭.基于场景的车载设备测试用例自动生成方法研究[J].计算机应用与软件,2015(3):65-68. |
| |
| 作者姓名： | 赵伟慧 吕继东 袁磊 唐涛 李辰岭 |
| |
| 作者单位： | 1. 北京交通大学轨道交通控制与安全国家重点实验室 北京 100044
2. 北京交通大学轨道交通运行控制系统国家工程研究中心 北京 100044 |
| |
| 基金项目： | 国家高技术研究发展计划项目(2012AA112801) |
| |
| 摘 要： | 列控车载子系统是确保列车的安全运行的关键设备,对车载子系统进行测试是保证功能实现与系统规范一致性的重要手段。针对传统手工测试用例生成的效率低、耗时长、工作量繁杂、可重用性低等缺陷,提出一种基于场景的车载系统测试用例自动生成方法,依据CTCS-3级列控系统技术规范构造车载子系统场景树模型,由实时系统测试用例自动生成工具Co Ver对列车运行模式转换自动机网模型生成基于场景的测试用例,并由运行模式最小重复度选择算法生成全模式覆盖的测试序列。结论证明,基于场景自动生成的测试用例能够覆盖全部车载模式,并提高了模式转换测试序列生成效率。
|
| 关 键 词： | 车载系统 运营场景 模式转换 测试用例 观测自动机 |
ON SCENARIO-BASED AUTOMATIC TEST CASES GENERATION METHOD FOR ONBOARD DEVICES |
| |
| Zhao Weihui
,
LJidong
,
Yuan Lei
,
Tang Tao
,
Li ChenLing.ON SCENARIO-BASED AUTOMATIC TEST CASES GENERATION METHOD FOR ONBOARD DEVICES[J].Computer Applications and Software,2015(3):65-68. |
| |
| Authors: | Zhao Weihui LJidong Yuan Lei Tang Tao Li ChenLing |
| |
| Affiliation: | Zhao Weihui;Lü Jidong;Yuan Lei;Tang Tao;Li Chen Ling;State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University;National Engineering Research Center of Rail Transportation Operation and Control System,Beijing Jiaotong University; |
| |
| Abstract: | |
| |
| Keywords: | Onboard subsystem Operation scenario Mode transition Test case Observing automaton |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
