Test method of airborne software

Abstract

The invention provides a test method of airborne software. The method comprises the following steps of analyzing and logically resolving the functions of airborne software; compiling a demand expression in a specified use case generation tool according to the logic diagram; compiling and automatically generating a condition exhaustion file of the function requirement of the airborne software according to the requirement expression; establishing a software function test sequence template, and generating a function test case example template file; establishing a mapping relation between the software function requirements and the software test requirements; enabling the content of the condition exhaustion file to be in one-to-one correspondence with the content of the function test case example template file according to the mapping relation, and generating a new exhaustion file; changing the test drive file into a test case set; importing the test case set by using a software test tool,and then automatically generating a driving module; and automatically testing the airborne software based on the driving module. According to the invention, the workload is reduced, the test efficiency and the accuracy are improved, the universality is high, and the quality and reliability of software are improved.

Description

technical field [0001] The invention relates to the technical field of airborne software testing, in particular to an airborne software testing method. Background technique [0002] From traffic lights in daily life to high-tech fields, and even other fields may involve the logical calculation of data. With the development of modern aircraft, the requirements for aircraft functions, performance and safety are getting higher and higher, and the landing gear is an important part of the aircraft, and its reliability directly affects the safety of the aircraft. [0003] The software of the landing gear retraction control system realizes the retraction control of the landing gear and the landing gear door, the alarm of the fault information, etc. through the analysis of a large number of collected sensor signals and the functional logic calculation. At present, most airborne systems adopt a similar redundancy structure, so the sensor signals to be processed are doubled, and the ...

AI Technical Summary

Problems solved by technology

At present, the airborne system mostly adopts a similar redundancy structure, so the sensor signals that need to be processed are doubled, and the logic algorithm of the software function is more complex and accurate

[0004] However, as the safety of the landing gear system increases, the defect rate of the software also increases. Due to the increase of processing signals, the condition combinations of logic solutions also increase. For important-level software, it is necessary to achieve MC / DC coverage, test The design of use cases is not only time-consuming, brain-intensive, but also error-prone for testers; if only based on the source code to test, to achieve 100% coverage of MC / DC, and lose the meaning of software testing, can not Discover hidden flaws in software that could directly affect aircraft safety in the future

Images