飞行操作程序的动态模拟验证方法

本发明公开了一种在飞行操作程序的动态模拟验证方法，包括以下步骤：确定需要模拟的飞行操作程序的类别，所述类别包括正常程序、非正常程序、应急程序、补充程序四类；根据所述飞行操作程序所属类别，确定所述程序设计的设计约束条件，并基于所述设计约束条件设计或变更设计所述飞行操作程序；在所述飞行程序设计辅助设备上对所述飞行操作程序进行操作验证，在所述操作验证过程中提供验证辅助信息，以辅助确定所述飞行操作程序是否符合飞行操作程序的验证标准；对于不符合所述验证标准的所述飞行操作程序，将和验证失败相关联的要素添加至所述设计约束条件。本发明提供了一种无需占用飞行模拟机的飞行操作程序验证解决方案。