适航认证的FADEC软件自动测试平台的研究