[发明专利]一种符合DO-178B/C A级软件目标码覆盖分析方法

摘要

本发明属于综合化航空电子系统软件技术领域，具体涉及一种符合DO-178B/C A级软件目标码覆盖分析方法。该方法采用编译工具LDRA Testbed或者Verocel VeroCode的主要步骤包括：1)采用源代码与目标码追踪技术制定编码规则表；2)对违反编码规则的源代码制定额外目标码映射表；3)目标码覆盖分析。本发明的使用既不需要经过FAA认证的目标码覆盖分析工具及硬件仿真设备做支持，又不需求对软件执行彻底的手工评审与分析，大大提高了目标码覆盖分析的效率与可信性。

主权项

一种符合DO‑178B/CA级软件目标码覆盖分析方法，其特征在于，包括以下步骤：1)根据源代码与目标码一一对应的映射关系制定编码规则表；所述编码规则表用于制定源代码编码规则及目标码编译规则；2)对违反编码规则的源代码制定额外目标码映射表；3)目标码覆盖分析；3.1)选择编译工具按照编码规则表中定义的编译规则对源代码进行编译，形成目标码；3.2)利用编译工具对目标码进行插桩，生成带插桩的可执行模块；3.3)使用一组语句、分支及判定覆盖均达到100％的测试用例驱动可执行模块，生成目标码覆盖分析报告；3.4)对目标码进行目标码覆盖分析；若生成的目标码覆盖分析报告中目标码的语句覆盖及分支覆盖均为100％，则证明目标码的合理性；若目标码的语句覆盖及分支覆盖不能达到100％，则按照以下原则之一执行：原则一：添加测试用例再次出具分析报告，证明目标码的合理性；原则二：利用步骤2)中的额外目标码映射表，证明未追踪目标码的合理性。