随着航空电子系统综合化程度的提高,基于ARINC661规范的飞机座舱显示系统(CDS)变得越来越复杂,且其安全认证也要来越难,现有的验证技术包括验证工具和验证方法,逐渐无法满足其复杂的设计要求。ARINC661规范中的DF定义文件,约定了座舱显示系统与用户应用(UA)之间的图形接口,DF定义文件的正确性验证也成为保证飞机座舱显示系统可靠性所不可或缺的工作。因此开发一套ARINC661规范的DF定义文件验证平台非常重要,本文主要针对该实际需求,研究讨论了基于ARINC661规范的DF定义文件验证平台,阐述了平台的架构和实现细节。本文首先介绍了本课题的研究背景,并对飞机座舱显示系统的发展、ARINC661规范和机载软件测试做了概述,给出了课题的研究内容和论文的组织架构。其次,研究了机载软件验证和ARINC661规范,分析DF定义文件的结构和表现形式和验证难点,从软件实现的角度归纳出DF定义文件验证的软件需求。然后,针对DF定义文件验证平台的需求,从功能架构、技术架构和GUI三个方面进行了设计,并重点讨论了以下三个关键性技术：DF定义文件解析技术、XML与Binary文件正向与逆向转换技术和测试脚本自动生成技术。最后,阐述了软件开发的环境,对DF定义文件验证平台主要功能的实现进行了详细阐述,并对平台的测试进行了简要说明。从一个切实的验证场景体验了整个验证平台,表明了该平台是切实可行的。