所属科学技术领域本项目属于航空机载软件验证技术领域。主要科学技术内容本项目按照国内外通用的民机适航标准DO-178B/C软件验证过程的要求，提出了一种基于模板和活动向导的软件验证过程控制管理方法，开发了集项目管理、软件评审和分析过程管理、软件测试过程管理、问题管理和测试文档管理等功能于一体的管理平台软件，可显著提高软件验证活动和验证数据文档的完整性、符合性、规范性和一致性，在提高软件验证质量和效率方面，尤其是满足软件适航验证要求方面，具有实际工程应用价值。技术指标1）完成系统管理和软件项目的管理功能；2）完成软件评审和分析和软件测试过程管理功能；3）完成软件测试过程包括测试用例和测试程序的自动生成功能；4）完成软件问题报告的管理和软件验证全过程适航验证数据的自动生成功能。主要技术创新内容：本项目研究了DO-178B/C标准的软件适航验证技术，提出了一种基于过程模板和活动向导的软件验证过程控制管理方法，设计开发了满足DO-178B/C标准的软件验证全过程管理平台，实现了通过软件验证全过程自动引导，辅助验证人员有序高效地完成软件验证过程的各项活动，显著提高民机适航软件验证目标和要求的符合性，能有效地达到航空机载软件通过适航验证的目的。解决了软件需求、测试用例、测试程序、测试记录的双向可追踪性和完整性分析的难点，确保了测试过程数据的客观、正确和一致，显著提高了软件验证数据的集中管理能力、验证效率和质量。知识产权：获得软件著作权2项，发表论文1篇。应用推广情况本项目成果已应用于国内外的B747-8、A350、B767-KC46A、GEM、C919、蛟龙600、Y12F、CJ-1000AX和CJ-2000AX等飞机和发动机型号项目，已通过使用此平台为美国Rockwell Collins(现为Collins Aerospace)、中国航发商发和中国航空无线电电子研究所等公司的航空软件产品进行基于DO-178B/C的软件验证。使用此平台为B747-8、A350、B767-KC46A、GEM等飞机的全球定位卫星导航软件产品进行基于DO-178B或C的 A级软件验证，并通过了FAA的适航软件验证，目前正在用此平台进行C919 COMAC全球定位卫星导航软件的基于DO-178B 的A级软件验证。本项目成果适用于要求基于适航标准DO-178B/C进行软件验证的软件产品的验证，也可推广使用到军机软件产品的软件验证测试中。