I. Introduction
With the development of software technology, the scale and complexity of software have increased accordingly. How to ensure the quality of software has become an urgent problem to be solved, especially in some key application areas, such as aviation and aerospace. If the error in the software cannot be effectively eliminated at the first time, it may lead to catastrophic consequence in real operation, such as the great economy loss or even human injuries and casualties.