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

权利要求书

1.一种符合DO-178B/CA级软件目标码覆盖分析方法，其特征在于，包括以下步骤：

1)根据源代码与目标码一一对应的映射关系制定编码规则表；所述编码规则表用于制定源代码编码规则及目标码编译规则；

2)对违反编码规则的源代码制定额外目标码映射表；

3)目标码覆盖分析；

3.1)选择编译工具按照编码规则表中定义的编译规则对源代码进行编译，形成目标码；

3.2)利用编译工具对目标码进行插桩，生成带插桩的可执行模块；

3.3)使用一组语句、分支及判定覆盖均达到100％的测试用例驱动可执行模块，生成目标码覆盖分析报告；

3.4)对目标码进行目标码覆盖分析；

若生成的目标码覆盖分析报告中目标码的语句覆盖及分支覆盖均为100％，则证明目标码的合理性；

若目标码的语句覆盖及分支覆盖不能达到100％，则按照以下原则之一执行：

原则一：添加测试用例再次出具分析报告，证明目标码的合理性；

原则二：利用步骤2)中的额外目标码映射表，证明未追踪目标码的合理性。

2.根据权利要求1所述的符合DO-178B/CA级软件目标码覆盖分析方法，其特征在于：所述编译工具采用LDRA Testbed或者Verocel VeroCode。

3.根据权利要求1或2所述的符合DO-178B/CA级软件目标码覆盖分析方法，其特征在于：所述编码规则表包括三个属性，分别是：标识：对编码规则进行标识；内容：描述软件编码中应符合的编码结构及编译参数；等级:定义该规则执行力度。

4.根据权利要求3所述的符合DO-178B/CA级软件目标码覆盖分析方法，其特征在于：所述额外目标码映射表包括三个属性，分别是：标识：对额外目标码结构进行标识；内容：描述额外目标码结构内容，通常为一组重复出现、独立的单元；条件：额外目标码产生的条件。