Quick algorithm verification method and system for embedded flight control software

Abstract

The invention provides a quick algorithm verification method and system for embedded flight control software. Embedded flight control software algorithm implementing item and test item are separatelyestablished in a developing environment and a test environment according to certain item composition based on functional decomposition for the embedded flight control software according to test requirements; the items share an embedded software algorithm file to finish platform transplanting of the embedded software in the developing environment and the test environment; in the test environment, an input data file is introduced to an algorithm of the embedded flight control software via an interface program so that the data file is docked to the algorithm of the embedded flight control software under test; output of the algorithm of the embedded flight control software is acquired finally by compiling test scripts and executing a test program; whether the output is consistent with that from the task requirements is determined by comparing so as to judge whether the algorithm of the embedded flight control software passes verification. The method herein enables algorithm verification for the embedded flight control software to be free of the limits of a hardware platform and a semi-physical simulation environment, and quick verification is achieved.

Description

technical field [0001] The invention relates to a fast verification method and system for an embedded flight control software algorithm, which belongs to the technical field of embedded software testing in the field of aircraft control, and is used for fast verification of complex algorithms of embedded flight control software. Background technique [0002] Embedded flight control software is usually used to realize the guidance and stable flight control of the aircraft, including complex algorithm implementation and strict flight timing. It has the characteristics of complex calculation, many functional modules and input parameters, strong real-time performance, and complex timing. After this kind of software is implemented, since its operation cannot be separated from the solidified hardware platform environment provided by the stand-alone device, it usually needs to be debugged and verified on the stand-alone device. [0003] However, in the process of software developmen...

AI Technical Summary

Problems solved by technology

These factors make the initial preparation time for the hardware-in-the-loop simulation environment and the verification cycle of the embedded flight control software very long, requiring a lot of manpower, material resources, and financial resources

[0004] For the algorithm verification of embedded flight control software, there are also professional test systems including tool software and equipment on the market, but it is necessary to build an embedded flight control software operating environment and interface environment in the software environment of the test system for secondary development of test software The workload is very large, which cannot meet the algorithm verification requirements of embedded flight control software under the tight development cycle

Images