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