Quality Analysis of Development SW of Satellite Control Systems using SW Static Testing Techniques

摘要

In recent years, roles and functions of the software are becoming a key factor in determining the maturity of the product. Accordingly, efforts to control quality of the software are being undertaken in development phase unlike the past and quality control indicators are presented to be performed according to the development SW type. These quality indicators allow for the determination of whether the quality of the development software has been achieved through static testing and dynamic testing during the quality verification process. In this paper, the static test to control the development quality of the unit SW and the results of the SW quality analysis based on the static test results were presented. And it was shown the process for selecting coding rules and memory error rules for static testing of C # languages as well as the procedure that performed the static test using selected rules. Also it was shown SW quality analysis results from analysis of SW potential defects derived from static test. SW quality as well as stability were assured by conducting SW static tests during development process.