This paper makes a deeply analysis on the principle of DF and its verification, and provides a new kind of verification method. Based on the auto-analysis technology, the method can provide the verification result based on the data, and also submit an impersonal and efficient method of DF verification to the researchers for the airborne display software.