自动化测试在嵌入式系统安全性验证中的应用探索

闫 腾, 郭 新伟
中国电子科学研究院

摘要


伴随嵌入式系统于航空航天、汽车电子、医疗设备等关键领域的大量应用，对其安全性进行验证极为关键，本文以自动化测试在嵌入式系统安全性验证中的应用为聚焦点，解析嵌入式系统安全需求及传统测试存在的局限，解读自动化测试的技术优势及实施框架内容，对代码静态分析、动态功能测试、形式化验证等自动化测试方法的实际应用展开探讨，且凭借汽车电子ECU系统案例验证其成效性，志在为增强嵌入式系统安全性验证效率与质量提供理论参考和实践帮扶。

关键词


自动化测试；嵌入式系统；安全校验；动态测试

全文:

PDF


参考


[1]赵昶宇.嵌入式软件安全性测试技术研究[J].科技与创新,2023(21):81-83.

[2]范娜,李全洲.面向安全性分析的嵌入式软件测试方法浅析[J].信息系统工程,2023(6):80-83.

[3]肖蕾,卢倩,冉毅德,等.基于功能安全的汽车嵌入式软件单元验证技术研究[J].汽车电器,2023(10):64-66,69.

[4]董丽,赵琪,周健.嵌入式软件安全性分析和测试方法研究[J].信息系统工程,2021(5):70-71.

[5]张宝斌.面向安全性分析的嵌入式软件测试方法研究[J].电子测试,2020(11):117-118.


Refbacks

  • 当前没有refback。