Conditional Expression Fault Classification and Repair Method of Aviation Control Software
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 ex...
| Format: | Article |
|---|---|
| Language: | zho |
| Published: |
EDP Sciences
2020-08-01
|
| Series: | Xibei Gongye Daxue Xuebao |
| Subjects: | |
| Online Access: | https://www.jnwpu.org/articles/jnwpu/full_html/2020/04/jnwpu2020384p862/jnwpu2020384p862.html |
| _version_ | 1827802330343407616 |
|---|---|
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-11T20:37:21Z |
| format | Article |
| id | doaj.art-7349854bb4664a49b88b367954d8fc47 |
| institution | Directory Open Access Journal |
| issn | 1000-2758 2609-7125 |
| language | zho |
| last_indexed | 2024-03-11T20:37:21Z |
| publishDate | 2020-08-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | Xibei Gongye Daxue Xuebao |
| spelling | doaj.art-7349854bb4664a49b88b367954d8fc472023-10-02T05:06:34ZzhoEDP SciencesXibei Gongye Daxue Xuebao1000-27582609-71252020-08-0138486287210.1051/jnwpu/20203840862jnwpu2020384p862Conditional Expression Fault Classification and Repair Method of Aviation Control Software0123School of Software, Northwestern Polytechnical UniversitySchool of Software, Northwestern Polytechnical UniversitySchool of Software, Northwestern Polytechnical UniversityShanghai Mechanical & Electrical Engineering Research InstituteAviation 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.https://www.jnwpu.org/articles/jnwpu/full_html/2020/04/jnwpu2020384p862/jnwpu2020384p862.htmlconditional expression faultfault repairaviation control softwarefault classification |
| spellingShingle | Conditional Expression Fault Classification and Repair Method of Aviation Control Software Xibei Gongye Daxue Xuebao conditional expression fault fault repair aviation control software fault classification |
| title | Conditional Expression Fault Classification and Repair Method of Aviation Control Software |
| title_full | Conditional Expression Fault Classification and Repair Method of Aviation Control Software |
| title_fullStr | Conditional Expression Fault Classification and Repair Method of Aviation Control Software |
| title_full_unstemmed | Conditional Expression Fault Classification and Repair Method of Aviation Control Software |
| title_short | Conditional Expression Fault Classification and Repair Method of Aviation Control Software |
| title_sort | conditional expression fault classification and repair method of aviation control software |
| topic | conditional expression fault fault repair aviation control software fault classification |
| url | https://www.jnwpu.org/articles/jnwpu/full_html/2020/04/jnwpu2020384p862/jnwpu2020384p862.html |