Test method of spaceborne attitude and orbit control guidance and navigation software

Abstract

The invention provides a test method for guidance and navigation software of satellite-bone attitude and orbit control. The method comprises following steps: a test design process; a test executing process and a full evaluation process of static tests and dynamic tests during and / or after the test expecting process. The test design process concretely comprises following steps: S0, utilizing a failure mode repository to improve a test case liberty such that the test case liberty covers all known failure modes; S1, dividing modules of test items to be tested according to criticality and dividing the priority of all test items; S2, determining test priority of test cases in the test case liberty based on the priority of all test items; S3, selecting a case collection for a test at this time according to the test priority and test demands. The test executing process concretely comprises following steps: S4, carrying out static tests to all the modules according to criticality of all the modules, applying test cases in the case collection and achieving dynamic tests.

Description

technical field [0001] The invention relates to the field of aerospace measurement and control, in particular to a test method for spaceborne attitude and orbit control guidance and navigation software. Background technique [0002] Spaceborne attitude and orbit control guidance and navigation software is an important control software for satellite spaceborne computers. The control process is characterized by complex constraints. [0003] At present, this type of software generally adopts traditional testing methods, and the control of verification adequacy depends on the level of the testers themselves. The accumulated experience data has not been systematically utilized, and the process control personnel do not have professional methods to support it; Statistics on dynamic test coverage can guarantee the adequacy of verification to a certain extent, but the statistics of coverage cannot show that all failure modes are covered. It can be seen that in the existing technolo...

AI Technical Summary

Problems solved by technology

[0002] Spaceborne attitude and orbit control guidance and navigation software is an important control software for satellite spaceborne computers. The characteristics of complex control process constraints

[0003] At present, this type of software generally adopts traditional testing methods, and the control of verification adequacy depends on the level of the testers themselves. The accumulated experience data has not been systematically utilized, and the process control personnel do not have professional methods to support it; The dynamic test coverage rate will be counted, which can guarantee the adequacy of the verification to a certain extent, but the coverage rate statistics cannot show that all failure modes are covered

It can be seen that in the existing technology, the adequacy of its verification cannot be evaluated and guaranteed, and it is completely dependent on personal ability, which also leads to problems such as low quality and low efficiency of verification

Images