航空控制软件条件表达式故障分类及修复方法

【类型】期刊

【作者】谢文光 李琪 汪克念 马春燕 张涛 张国群  

【刊名】西北工业大学学报

【关键词】 条件表达式故障,故障修复,航空控制软件

【摘要】航空控制软件已成为航空系统的核心控制决策单元。布尔条件表达式是构成航空控制软件循环和分支逻辑代码的主要成分,研究了航空控制软件条件表达式故障分类及修复方法。①提出了一种2层次布尔条件表达式故障分类方法;②在设计变异算子、修复方案和变异修复停止条件的基础上,提出了一种条件表达式自动化修复方法;③设计和实现了面向条件表达式各类故障的修复辅助工具,对航空控制软件中155个故障表达式进行故障修复实验,结果表明,55.5%的故障表达式可以精确修复,44.5%的故障表达式修复后产生多个正确版本,部分版本存在运算冗余,尚需人工介入选择最优修复版本。

【年份】2021

【作者单位】民航航空器适航审定技术重点实验室;中国民航大学适航学院;西北工业大学软件学院;上海机电工程研究所;

【期号】04

【全文挂接】全文挂接