期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
基于SCADE模型的车载ATP测试用例生成方法 被引量:10
1
作者 李兰心 王海峰 +2 位作者 齐志华 汤圣杰 张启鹤 《铁道学报》 EI CAS CSCD 北大核心 2020年第9期102-110,共9页
车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用... 车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。 展开更多
关键词 车载ATP系统 SCADE模型 测试用例 基于模型的测试 mc/dc覆盖准则
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部