基于SCADE模型的车载ATP测试用例生成方法

• 作者: 张启鹤 李兰心 汤圣杰 王海峰 齐志华
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 车载ATP系统 SCADE模型 测试用例 基于模型的测试 MC/DC覆盖准则
• 年，卷（期）: 2020,（9）
• 所属期刊栏目: 铁道通信信号、信息化
• 页码范围: 102-110
• 页数: 9页
• 分类号: U283.2
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2020.09.013

摘要

车载ATP是保证列车安全运行的关键列控设备.为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试.传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证.提出一种基于SCADE模型自动生成车载ATP测试用例的方法.首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据M C/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估.结果表明,测试用例具有良好的覆盖度,优于传统人工方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐志华		3	23	1.0	3.0
2	王海峰		31	313	10.0	17.0
3	李兰心		1	0	0.0	0.0
4	汤圣杰		1	0	0.0	0.0
5	张启鹤		1	0	0.0	0.0