The software fault prediction model based on the AltaRica language

Many existing software fault prediction methods are difficult to identify and predict various complex faults such as the abnormal interface data, the concurrency conflict between functions, and the invalid state transition. To solve this problem, a new software fault prediction model based on AltaRica language is proposed in this paper based on the AltaRica language and the Line Temporal Logic (LTL) with the operation characters of the airborne support system. The experimental results show that this new model can improve the effectiveness and applicability of the fault prediction methods which can describe the operation characters of the airborne support system software accurately and identify the complex faults adequately.