航空机载软件安全性测试技术研究,航空机载软件安全性测试技术研究.pdf

航空机载软件安全性测试技术研究.pdf

文章编号：1671—4598(2010)05一1017—04中圈分类号：TP391 文献标识码：A

航空机载软件安全性测试技术研究

万永超，赵宏赋，董云卫

(西北工业大学计算机学院，陕西西安710129)

摘要：航空机载软件的安全性问题日趋严重，亟需对其进行严格的专门性测试，首先对当前的软件安全性铡试研究现状予以总结。

针对航空领域测试环境的特点提出了各种机载软件安全性指标l其次，在充分的安全性分析和传统的可靠性测试理论基础上，依照软件

运行的关联风险值构建出机载软件的关键运行剖面，对机载软件安全性的关键运行进行严格的测试，并提出了机载软件安全性测试用例

的生成算法I最后，利用统计理论探讨了测试用例数的改进和加速确定方法，用以提高软件的安全性测试效率．

关键词：机载软件I软件测试；安全性；运行剖面；风险

on towardsAeronauticAirborneSoftware

StudySafetyTesting

wall Yunwei

Yongchao，ZhauHongbin，Dong

of Science，Northwestern

(DepartmentComputer PolytechnicUniversity。xi’an710129，China)

Abstr叠ct：Thehasbecomean issueinairborne shouldbeexecuted soft·

safety quiteimportant systems．which throughrigorousspecific

ware

testing．Inthis anal”icalmethodis to theaeronauticsoftware summarizethe

paper·an proposedperform safetytesting．Firstly，we

variousairborne

softwaremetricsat criticalaeronauticsoftware isobtained tOthe

safety present．Then，the operatingprofile accordingoper-

riskvalues．After be basedon

ating that，the shouldexecuted sufficient andsoftware tes-

safetytesting rigorously safetyanalysis reliability

the discussmethodtOdetermine of test

tingknowledge．Inend，we the thequantitiesthe cases tOthestatistical order

according sampling，in

tO the

improvetestingefficiency．

words：aeronautic risk

Key software；softwaretesting，safety；operatingprofile

O引言 研究．

航空机载软件主要包括飞机上的信息管理和指令控制系 1 相关研究

统，以及上述系统的依托平台(如嵌