Abstract:In order to improve the test quality of aerospace embedded software and ensure the successful completion of aerospace tasks, we study code logic analysis, one of the important contents of code inspection for aerospace embedded software. We analyze the mechanism, finding, exposure, and consequences of software defects and summarize many years of engineering practice in software testing. On this basis, we put forward ten methods for code logic analysis, such as scene analysis, time sequence analysis, and imaginary fault source tracing. The application of code logic analysis methods are analyzed and code inspection is compared with other test methods, through which the engineering applicability of code inspection is given. The methods have been widely adopted in the third-party testing of aerospace software. Practical data show satisfying application effect as the defect detection rate of code inspection has increased from generally accepted 30%~70% to more than 90%. The methods and ideas can provide reference for the design of dynamic test and the research and development of automatic detection tools for software defects.