一种航空机载软件中源代码与目标代码一致性的分析方法技术

本发明专利技术公开了一种航空机载软件中源代码与目标代码一致性的分析方法，其中，包括：分析源代码，获得源代码的语言特征信息；根据语言特征信息获取源代码的典型代码特征，并选择包括典型代码特征的源代码函数；对目标代码进行反汇编得到反汇编代码，并对反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单；将源代码函数与目标代码的函数清单中的函数建立映射关系；比较源代码函数与目标代码的函数清单中的函数是否对应；将没有映射到目标代码的函数清单中的源代码函数及在源代码函数中不存在的目标代码的函数清单中的函数均标注为目标代码与源代码不一致。本发明专利技术提供的航空机载软件中源代码与目标代码一致性的分析方法提高了分析效率。

Analysis method of consistency between source code and target code in airborne software

The invention discloses a method of airborne software source code and object code consistency which includes: analysis of source code, language feature information access to the source code; according to the typical features of language code get the characteristic information of the source code, and select the source code for the function including the typical features of the target code; code the disassembly by anti assembler code, and the disassembly code segment identification tag as a function, get the object code of the function list; will establish mapping function and target code source code function list; function source code function and object code function in the list corresponds; there will be no mapping function the source code for the function code of the target function in the list and does not exist in the source code in the function code of the target function in the list are marked The object code is inconsistent with the source code. The analysis method of the source code and the target code in the airborne software provided by the invention improves the efficiency of the analysis.

【技术实现步骤摘要】
一种航空机载软件中源代码与目标代码一致性的分析方法
本专利技术涉及航空机载软件的代码验证
，尤其涉及一种航空机载软件中源代码与目标代码一致性的分析方法。
技术介绍
在航空机载软件开发过程中，软件开发人员使用高级语言，编制项目软件源代码文件，然后使用编译器软件、链接器软件将软件源代码文件编译、链接为可加载到机载设备中运行的目标代码，也就是最终交付的软件产品。由于编译器、链接器软件中可能存在缺陷，或者是对编译器、链接器软件的使用方法不当，可能使得目标代码和源代码存在不一致，例如生成的目标代码错误、部分源代码没有生成目标代码或者生成了没有源代码对应的目标代码。这些不一致的代码可能会造成软件功能的异常，从而引起航空器处于不安全的状态。因此，根据RTCA/DO-178C的要求，对于设计保证等级为A级的机载软件，需要分析目标代码和源代码是否一致。现有技术中分析航空机载软件目标代码和源代码是否一致，一般采用如下的方法进行：步骤S1、根据高级语言支持的特性、以及项目对软件编码的规范要求，编写一套包含所有允许使用的语言特性的样例代码；步骤S2、使用和项目相同的编译器软件、链接器软件，使用和项目相本文档来自技高网...

【技术保护点】
一种航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述航空机载软件中源代码与目标代码一致性的分析方法包括：分析源代码，获得所述源代码的语言特征信息；根据所述语言特征信息获取所述源代码中的典型代码特征，并选择多个包括所述典型代码特征的源代码函数；对目标代码进行反汇编得到反汇编代码，并对所述反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单；将所述源代码函数与所述目标代码的函数清单中的函数之间建立映射关系；比较所述源代码函数与所述目标代码的函数清单中的函数是否一一对应；将没有映射到目标代码的函数清单中的源代码函数以及在源代码函数中不存在的目标代码的函数清单中的函数均标注为所述...

【技术特征摘要】
1.一种航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述航空机载软件中源代码与目标代码一致性的分析方法包括：分析源代码，获得所述源代码的语言特征信息；根据所述语言特征信息获取所述源代码中的典型代码特征，并选择多个包括所述典型代码特征的源代码函数；对目标代码进行反汇编得到反汇编代码，并对所述反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单；将所述源代码函数与所述目标代码的函数清单中的函数之间建立映射关系；比较所述源代码函数与所述目标代码的函数清单中的函数是否一一对应；将没有映射到目标代码的函数清单中的源代码函数以及在源代码函数中不存在的目标代码的函数清单中的函数均标注为所述目标代码与所述源代码不一致。2.根据权利要求1所述的航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述分析源代码，获得所述源代码的语言特征信息包括：根据编写所述源代码所使用的语言的语法规则，对所述源代码进行词法分析、语法分析、数据流分析和控制流分析；通过分析列出所述源代码中的全部函数；根据所述函数统计所述源代码中使用的语言特征信息，其中，所述语言特征信息包括变量类型特征、数据流特征和控制流特征；存储所述语言特征信息。3.根据权利要求1所述的航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述根据所述语言特征信息获取所述源代码中的典型代码特征，并选择多个包括所述典型代码特征的源代码函数包括：根据软件编译原理，从所述语言特征信息中识别出所述源代码在软件编译和链接过程中编译器和链接器所能用到的源代码语言特征；将所述源代码语言特征标记为典型代码特征；从所述源代码中选择出多个包括所述典型代码特征的源代码函数。4.根据权利要求3所述的航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述从所述源代码中选择出多个包括所述典型代码特征的源代码函数包括采用贪吃法从所述源代码中优先选择出包括多个所述典型代码特征的源代码函数。5.根据权利要求1所述的航空机载软件中源代码与目标代码一致性的分析方法，其特征在于，所述对目标代码进行反汇编得到反汇编代码，并对所述反汇编代码进行分段识别标注成为函数，得到目标代码的函数清单包括：根据所述源代码使用的CPU的信息对逆向分析工具...

【专利技术属性】
技术研发人员：左振雷，熊波，张文娴，蒋平国，闻伟，张春，
申请(专利权)人：中国航发控制系统研究所，
类型：发明
国别省市：江苏,32