Conditional Expression Fault Classification and Repair Method of Aviation Control Software

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

¹ Key Laboratory of Civil Aircraft Airworthiness Technology, Tianjin 300300, China
² College of Airworthiness, Civil Aviation University of China, Tianjin 300300, China
³ School of Software, Northwestern Polytechnical University, Xi'an 710072, China
⁴ Shanghai Mechanical & Electrical Engineering Research Institute, Shanghai 201109, China

Received: 28 October 2019

Abstract

Aviation control software has become the core control decision-making unit of the aviation system. The Boolean conditional expressions are the main parts of the branch and loop control logic of aviation control software. This paper studies the fault classification and repair method of conditional expression of aviation control software. 1) a two-level Boolean conditional expression fault classification method is proposed; 2) based on the design of mutation operator, repair solution and stop condition of mutation repair, an automatic repair method of conditional expression is proposed; 3) a repair assistant tool for conditional expression is designed and implemented, and 155 fault expressions are repaired. The results show that 55.5% of fault expressions can achieve accurate repair, 44.5% of fault expressions can generate multiple correct versions after a repair, and some versions have operation redundancy, so it is necessary to select the optimal version manually.

摘要

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