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

摘要：

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

关键词：车载ATP系统、SCADE模型、测试用例、基于模型的测试、MC/DC覆盖准则

所属期刊栏目：42

分类号：U283.2(铁路通信、信号)

资助基金：国家重点研发计划;中国铁路总公司科技研发计划;北京市自然基金"轨道交通联合";国家自然科学基金;国家重点基础研究发展计划973计划

在线出版日期：2020-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：102-110