一种保证目标码和源代码一致性的编译链接方法

摘要

本发明涉及一种保证目标码和源代码一致性的编译链接方法，充分利用源代码覆盖率测试的结果，达到目标码的全覆盖，以保障保证航空软件的安全性和可靠性。本发明定制编译参数，分析C语言基本结构及其编译所形成的目标码，证明定制的编译参数没有引入额外代码；定制链接参数，关闭代码优化功能，对源代码进行编译链接，生成目标码；目标码分析，对源代码进行模式匹配，未匹配上的部分进行目标码覆盖率测试，分析证明目标码和源代码的一致性。本发明充分利用源代码覆盖率测试的结果，达到目标码的全覆盖，以保障保证航空软件的安全性和可靠性。

主权项

一种保证目标码和源代码一致性的编译链接方法，其特征在于：包括以下步骤：1】定制编译参数：1.1】在源代码编译前打开GNU编译器的参数说明文件；1.2】分析可能会产生额外代码的编译参数，集中关闭该类编译参数；1.3】关闭编译系统对代码的优化操作选项；2】验证编译参数：通过分析常用C语言基本结构及其编译所形成的目标码，验证步骤1】所定制的编译参数是否引入额外代码；如果引入，则关闭或修改相应的编译参数，如果没有引入，则无需关闭或修改，确定最终的编译参数；3】定制链接参数；4】验证链接参数：关闭代码优化功能，验证所定制的链接参数没有引入额外的库文件；如果引入，则关闭或修改相应的链接参数，如果没有引入，则无需关闭或修改，确定最终的链接参数；5】生成目标码：根据步骤2】确定的最终的编译参数以及4】确定的最终的链接参数，对源代码进行编译链接，生成目标码；6】对源代码进行模式匹配：对于匹配成功的源代码，不再进行一致性分析；对于匹配不成功的源代码，通过目标码覆盖率测试，分析证明目标码和源代码的一致性。