Volume 38, Number 4, August 2020
|Page(s)||862 - 872|
|Published online||06 October 2020|
Conditional Expression Fault Classification and Repair Method of Aviation Control Software
Key Laboratory of Civil Aircraft Airworthiness Technology, Tianjin 300300, China
2 College of Airworthiness, Civil Aviation University of China, Tianjin 300300, China
3 School of Software, Northwestern Polytechnical University, Xi'an 710072, China
4 Shanghai Mechanical & Electrical Engineering Research Institute, Shanghai 201109, China
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.
Key words: conditional expression fault / fault repair / aviation control software / fault classification
关键字 : 条件表达式故障 / 故障修复 / 航空控制软件
© 2020 Journal of Northwestern Polytechnical University. All rights reserved.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.