航空机载软件一般依靠硬件在环实时仿真平台进行软件验证，存在周期长、成本高等缺点。为了在设计初期快速、低成本地验证软件的正确性，提出了一种基于全数字仿真的软件验证方案，并以航空发动机引气控制系统为例验证这种方案的有效性。实际验证表明，该方案的测试用例配置方便且测试结果形象直观，为航空机载软件迭代验证提供了一种快捷的手段。