一种星载嵌入式软件安全性测试方法.pdfVIP

一种星载嵌入式软件安全性测试方法·117·

一种星载嵌入式软件安全性测试方法

董燕，王小丽，

(1．北京控制工程研究所，北京100190；2．北京轩宇信息技术有限公司，北京100190)

摘要：研究了星载嵌入式软件安全性测试问题。提出一种基于故障注入的安全性测试框架，通过构建全

数字仿真测试环境，模拟目标系统输入异常故障及运行态异常故障，可以灵活地实现故障注入。根据软

件实际运行结果与预期结果的一致性来评价软件检错、容错能力，进而完成对软件的安全性测试及验证

过程。

关键词：星载嵌入式软件；安全性测试；故障注入

中图分类号：TP391．9；TP311．5文献标识码：A文章编号：1000—8829(2016)04—01l7—03

ASafetyTestingApproachforOn-BoardEmbeddedSoftware

DONGYan一．WANGXiao．1i