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

发布时间：2022-05-06 19:26

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

【文章页数】：9 页

【文章目录】：
1 基于模型的车载ATP测试用例框架
    1.1 车载ATP系统介绍
    1.2 基于模型的测试用例生成
        (1)建模。
        (2)生成测试用例。
        (3)测试用例实例化。
2 基于SCADE的车载ATP系统功能建模
    2.1 SCADE建模方法
    2.2 速度监控功能建模
    2.3 模式转换功能建模
3 测试用例生成方法
    3.1 模型转换
    3.2 全迁移覆盖测试用例生成
    3.3 基于MC/DC的具体测试用例集生成
4 测试用例分析评估
5 结束语


【参考文献】：
期刊论文
[1]一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 袁磊,吕继东,刘雨,李辰岭,赵伟慧.  铁道学报. 2014(08)



本文编号：3651064