适航认证中的目标码覆盖率分析工具VerOCode

摘要：

在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的."
这里提到的"基于目标码的额外验证工作"可以由目标码覆盖率分析来实现,即编译器在编译过程中在目标码中添加了额外的代码,可以通过目标码覆盖率分析发现这部分代码,并且可以建立源代码与目标代码之间的关系.

机标关键词：适航、认证、目标码、覆盖率分析、源代码、目标代码、编译器、验证、编译过程、码序列、追踪、软件、保产

分类号：TS9;TP3

在线出版日期：2013-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：102-104