[发明专利]机载软件开发过程中引入错误的检测方法和系统

说明书

一种机载软件开发过程中引入错误的检测方法，包括：解析源代码文件信息以生成源文件列表；录入编译的软件版本信息，所述编译的软件版本信息包括编译判定结果；根据工程文件和所述源文件列表生成部件遗漏报告；根据链接器命令文件生成内存重叠报告；根据加载结果生成加载报告。本发明提供的机载软件开发过程中引入错误的检测方法，为评审机载软件开发过程提供依据，保证机载软件集成过程的输出是正确和完整的。本发明还提供了一种机载软件开发过程中引入错误的检测系统。

技术领域

本发明涉及机载软件开发技术领域，特别涉及一种机载软件开发过程中引入错误的检测方法和系统。

背景技术

非机载软件研制过程中，软件开发环境大多采用集成开发环境(IDE，IntegratedDevelopment Environment)。集成开发环境是用于提供程序开发环境的应用程序，一般包括编辑器、编译器、链接器和加载器，是集成了代码编写功能、编译功能、链接功能以及加载功能等一体化的开发软件服务套。所有具备这一特性的软件或者软件套都可以叫集成开发环境，如微软的Visual Studio系列，Borland的C++Builder、Delphi系列等。

由于集成开发环境提供的默认配置、编译参数以及链接参数足以支持编译过程和链接过程，非机载软件的编译过程和链接过程极少被关注。但机载软件作为高安全性和高可靠性软件，其在开发过程中应确保源代码被正确编译和链接且没有引入错误，这要求集成开发环境在进行编译工作和链接工作时应分析编译器和链接器的输出。图1是软件集成开发环境的结构示意图，集成开发环境包括编辑器10、编译器11、链接器12以及加载器13。其中，编辑器10向编译器11提供源代码和编译指南，编译器11向链接器12提供目标代码，链接器12向加载器13提供可执行代码，加载器13在加载指南的指导下将可执行代码加载到目标机上。如图1所示，机载软件集成过程中引入错误包括编译器错误、链接器错误以及加载器错误三种。

DO-178C标准要求机载软件集成过程的输出是正确和完整的，通过评审机载软件开发过程中引入错误来保证机载软件集成过程中引入错误已经被检测并被消除，但DO-178C标准中却未说明如何检测机载软件开发过程中的引入错误。

发明内容

本发明所要解决的问题是提供一种机载软件开发过程中引入错误的检测方法，为评审机载软件开发过程提供依据，保证机载软件集成过程的输出是正确和完整的。

为解决上述问题，本发明提供一种机载软件开发过程中引入错误的检测方法，包括：解析源代码文件信息以生成源文件列表；录入编译的软件版本信息，所述编译的软件版本信息包括编译判定结果；根据工程文件和所述源文件列表生成部件遗漏报告；根据链接器命令文件生成内存重叠报告；根据加载结果生成加载报告。本发明提供的机载软件开发过程中引入错误的检测方法，能够检测出机载软件开发过程中引入的编译错误、链接错误以及加载错误，并对各类引入错误生成相应的报告作为评审机载软件开发过程的依据，从而保证机载软件集成过程的输出是正确和完整的。

可选的，所述编译的软件版本信息还包括集成开发环境信息、编译所使用的硬件环境信息、源代码信息、集成开发环境配置文件信息、集成开发环境操作手册信息、集成开发环境安装手册信息以及编译日志信息。

可选的，所述根据工程文件和所述源文件列表生成部件遗漏报告包括：录入工程文件；检查所述工程文件中的目标文件名和所述源文件列表中的源文件名是否一致；若一致，则判定不存在部件遗漏，否则判定存在部件遗漏；根据判定结果生成部件遗漏报告。

可选的，所述根据工程文件和所述源文件列表生成部件遗漏报告还包括：在判定存在部件遗漏时，在所述源文件列表中检索未生成目标文件的源文件信息。