高虎,封二强,王宁.基于安全性的航空发动机控制软件测试技术[J].航空发动机,2018,44(1):91-96
基于安全性的航空发动机控制软件测试技术
Research on Aeroengine Control Software Testing Based on Safety
  
DOI:
中文关键词:  安全性分析  软件测试  航空发动机  需求模型
英文关键词:safety analysis  software test  aeroengine  requirements model
基金项目:国防基础科研项目(Z052013B009)资助
作者单位E-mail
高虎,封二强,王宁 中国航空综合技术研究所,北京100028 gaohu_2009@163.com 
摘要点击次数: 1863
全文下载次数: 1022
中文摘要:
      针对航空发动机控制软件安全性需求的验证问题,提出了基于需求模型与安全性分析结果的软件测试技术。从软件需 求的结构化描述和软件安全性分析结果中的失效和危险因果关系链出发,研究并制定了符合航空发动机控制软件特点的测试用例 生成方案,给出了程序化的自动实现算法,并描述了在某重点发动机型号的工程实践情况。
英文摘要:
      Aiming at the problem of safety requirements verification of aeroengine control software袁a software testing technology based on requirements model and safety analysis was proposed. Starting from the structured description of software requirements and causal chain of failure and hazard in software safety analysis, the scheme of testing cases generation was developed according to characteristics of aeroengine control software, the automatic algorithm of programming was given and engineering practices in one type of aeroengine were described
查看全文  查看/发表评论  下载PDF阅读器