An Automatic Test Method Based on Avionics System Requirement

An automatic test method is proposed based on system requirements.With this method V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.An effective and comprehensive automatic test system is designed to meet the system requirements verification.Finally,further research directions are pointed out.The software test results prove the effectiveness and efficiency of the proposed method.