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

Study on Safety Testing towards Aeronautic Airborne Software

作　　者：万永超[1] 赵宏斌[1] 董云卫[1] 

机构地区：[1]西北工业大学计算机学院,陕西西安710129

出　　处：《计算机测量与控制》2010年第5期1017-1020,共4页Computer Measurement &Control

基　　金：国家自然科学基金(60736017);国家863高科技研究发展计划基金项目(2007AA010304)

摘　　要：航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照软件运行的关联风险值构建出机载软件的关键运行剖面,对机载软件安全性的关键运行进行严格的测试,并提出了机载软件安全性测试用例的生成算法;最后,利用统计理论探讨了测试用例数的改进和加速确定方法,用以提高软件的安全性测试效率。The safety has become quite an important issue in airborne systems, which should be executed through rigorous specific software testing. In this paper, an analytical method is proposed to perform the aeronautic software safety testing. Firstly, we summarize the various airborne software safety metrics at present. Then, the critical aeronautic software operating profile is obtained according to the operating risk values. After that, the safety testing should be executed rigorously based on sufficient safety analysis and software reliability testing knowledge. In the end, we discuss the method to determine the quantities of the test cases according to the statistical sampling, in order to improve the testing efficiency.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]