Abstract:
The operation scenarios of spacecraft on orbit are highly complex, and some scenarios are difficult to achieve dynamic verification in the real state on the ground. Through the analysis and research on the defects found in recent 30 years, a set of static testing scheme based on manual code inspection and supplemented by tool static scanning analysis is proposed, including checklist method, variable analysis method, interrupt access conflict analysis method, code logic analysis method and tool static scanning analysis method. Among them, the checklist method focuses on the comparative inspection and confirmation of inspection items, the variable analysis method and interrupted access conflict analysis method focus on the analysis and confirmation of variables and their variants, and the code logic analysis method focuses on the analysis and confirmation of the overall logic of the code at the function level, the tool static scanning analysis method takes the typical defect pattern set as the core to realize automatic defect detection. The research results have been widely used in the third-party evaluation of aerospace software. The comprehensive application data and the various methods application data show that the engineering application effect is good, and the defect detection rate of static test is generally increased to more than 95%. The relevant analysis methods and ideas have a certain reference and promotion for the research and development of software defect automatic detection tools and the continuous improvement of traditional software testing methods.