航空机载软件安全性测试技术研究.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 相关研究
统,以及上述系统的依托平台(如嵌