基于安全性的航空发动机控制软件测试技术

摘要：

针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术.从软件需求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况.

关键词：安全性分析、软件测试、航空发动机、需求模型

所属期刊栏目：44

分类号：TP311.11(计算技术、计算机技术)

资助基金：国防基础科研项目Z052013B009

在线出版日期：2018-03-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：91-96