中文摘要：

航空机载软件的安全性问题日趋严重，亟需对其进行严格的专门性测试，首先对当前的软件安全性测试研究现状予以总结，针对航空领域测试环境的特点提出了各种机载软件安全性指标；其次，在充分的安全性分析和传统的可靠性测试理论基础上，依照软件运行的关联风险值构建出机载软件的关键运行剖面，对机载软件安全性的关键运行进行严格的测试，并提出了机载软件安全性测试用例的生成算法；最后，利用统计理论探讨了测试用例数的改进和加速确定方法，用以提高软件的安全性测试效率。

英文摘要：

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.