ABSTRACT

The development of aerospace industry has incomparable importance to the position of a country in the world; software as the critical high-tech products of aerospace industry, its quality plays a decisive role in aerospace task. However, in recent years, aerospace measurement and control software defects have become the dominant cause of system unavailability; improvements in software reliability and quality have become highly imperative. As we know software defect is a natural state of the software itself, different software development stages may introduce different types of software defects [1][2], when the defects contained software code is executed, the implementation results will not be consistent with the anticipated results, consequently the system or function of the system can not meet the task requirements. That is to say software defect is the cause of software failure; in addition different software defects will have different consequences. For aerospace measurement and control software, if the defects in software can not be discovered and exposed adequately in testing process, serious consequences and great loss may be caused once the software is delivered in orbit.