本技术应用于飞机座舱显示系统ARINC 661规范符合性软件测试过程中，技术复杂、难度大，技术水平国际先进，具有自主知识产权，获授权专利一项（ZL201110303769.7），受理专利一项（CN201410022618.8），软件著作权一项（2014SR001545），国内公开发表论文3篇。 目前国内同类软件测试基本都是通过人工的方式完成。国外同类软件测试基本都是人工设计测试用例、编写测试程序，然后在仿真测试环境中自动执行测试程序，仅实现了测试程序执行的自动化。与国内外软件测试技术相比，本技术实现了测试用例设计、测试程序生成和执行的自动化，自动化水平更高，可重用性强，解决了人工测试效率低、周期长和难以重用的难题。 本技术首次提出了基于形式化需求的规范符合性自动化测试方法，并成功开发了可定制、可扩展的自动化测试软件，在以下技术中取得了很大的突破和创新： 1) 通过对ARINC 661规范和形式化语言的研究，构建了服务器软件需求的XML模型，基于因果图理论构建了用户系统软件需求的XML模型，对规范进行了完整的无二义性的描述。 2) 通过对国际DO-178B标准的研究，提出了满足其适航要求测试用例生成策略，支持全部五种安全等级的软件测试，保证了测试的完备性，满足了适航审定的要求。 3) 依据软件需求的XML模型和测试用例生成策略，开发了基于形式化需求的通用解析内核和测试用例生成器，实现了测试用例的自动生成。 4) 通过对ARINC 661规范显示定义文件的研究，提出了采用树型数据结构和递归算法生成显示定义文件和期望结果的方法，实现了测试程序的自动生成。 5) 通过对测试工程数据的研究，提出了基于序列化和反序列化技术的数据保存和解析方法，提高了软件的可维护性，保证了测试用例的可重用性，提高了软件回归测试效率。 6) 通过对多个应用项目特点的研究，设计了开放灵活的图形用户接口、命令行用户接口和定制需求接口。测试人员可通过图形用户接口和命令用户接口自动完成规范符合性测试，可通过构建定制需求的XML模型实现用户需求的自动化测试。 本技术已成功应用于我国C919型民机、意大利AW101型直升机和我国某军机座舱显示系统软件测试项目中。应用本技术开发的自动化测试软件提供了可扩展的图形用户接口和支持批处理的命令行接口，自动生成并执行了约23000个测试用例。经统计分析，测试工作量减少了95%，测试周期缩短了97%。测试总开销降低了98%。应用证明该软件大幅提高了软件测试的自动化水平，提高了软件测试的效率和质量，缩短了测试周期，降低了测试开销，具有很大的社会和经济价值。 本技术可推广应用于任何座舱显示系统ARINC 661规范符合性测试项目中，也可延伸应用到如ARINC 429等行业标准符合性测试中。因此，随着ARINC 661的广泛应用和各行业标准的推广，本软件将具有非常广阔的市场前景。 本技术体现了一种基于形式化方法的自动化测试思想，提供了一套完备的形式化描述方法、一套完整的自动化测试实现方法，对实现基于形式化方法的软件自动化测试技术具有一定的借鉴作用。