机载软件验证（airborne software verification），工学-航空宇航科学与技术-航空-航空电子-〔机载计算机〕-机载软件验证，贯穿于机载软件全生命周期，通过评审、分析、仿真、测试等方法和活动对其进行检查及评估，并提供客观证据的过程。发展历程机载软件验证伴随机载软件测试发展而来，主要经历了三个阶段。第一阶段，20世纪70年代末，仅为发现错误为目标、运行程序的测试。第二阶段，20世纪80年代中期，采用软件全生命周期测试概念，将测试延伸到需求分析和设计阶段，同时认识到，没有发现错误的测试也有价值，完整的测试是评估软件质量的一种方法。第三阶段，20世纪90年代初期，基于机载设备适航理念，采用验证概念，通过一系列方法和活动，提供证据表明软件相关产品与生命周期活动的要求是否相一致。