题目：航空机载软件安全性通用测试需求分析研究

随着航空机载系统复杂程度的不断增加，软件的规模、复杂度及在整个系统中的功能比重急剧上升，软件在运行和控制危险以及安全关键的功能中起着越来越重要的作用，其失效可能造成严重的设备损坏或财产损失，甚至威胁人员的生命。

软件安全性测试是保证机载软件质量的关键步骤，根本目的是减小系统发生灾难性事故的风险和排除设计错误缺陷，是验证和确认软件安全性需求实现的重要手段，从而保证机载软件的安全性。即软件安全性测试的重点需要放在覆盖软件的安全要素，尽可能多地暴露可能导致危险发生的条件上。

软件安全性通用测试需求是指从经验积累的角度获取的软件安全性测试需求。软件安全性通用测试需求分析是保障软件安全性通用测试充分性的关键。本文在对机载软件安全性通用测试充分分析的基础上，主要研究内容如下：

1.      首先通过调研分析、收集软件安全性要素，并将其进行分类、整理、细化，给出机载软件安全性测试需求的框架。

2.      对软件危险进行了分类，围绕通用安全性需求，收集整理软件危险，并从软件结构、系统类型、软件过程及执行操作特点四个方面对其进行具体分类，为后面建立测试需求奠定基础。

3.      提出了软件安全性通用测试需求模型，给出模型的概念，对其基本结构和要素进行详细描述。基于软件危险分类、参考攻击树建立安全性通用测试需求模型，充分的覆盖软件危险。

4.      综合软件危险及通用测试需求模型，提出了以软件安全性通用测试需求覆盖为目标的测试需求分析方法和过程，从而有效且高效的实现机载软件的安全性测试。

最后，将本文提出的航空机载软件安全性通用测试需求分析方法应用于直升机系统，验证本次研究的可行性。