民用飞机A级别机载软件的项目源代码到目标代码追溯性分析的研究.docVIP

民用飞机A级别机载软件的项目源代码到目标代码追溯性分析的研究 　　【摘 要】机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系，RTCA/DO-178B第6.4.4.2节指出：机载软件结构覆盖率分析可以在源代码层级进行，如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码，则应该在目标代码层级完成额外的验证工作以保证这些目标代码的正确性。因此，对于A级别软件，如果编译器生成了无法追溯到源代码的目标代码，那么除了完成源代码层级结构覆盖率分析，还应该完成源代码和目标代码之间的追溯性分析，并对不能追溯到源代码的目标代码进行额外的验证。本文研究了源代码到目标代码的追溯性分析方法。 　　【关键词】机载软件；源代码；目标代码；追溯性分析；结构覆盖率 　　0 引言 　　随着电子计算机技术快速地发展，机载软件在民用飞机上的使用越来越广泛，并且扮演着日益关键的角色。许多高安全关键性的机载系统都由机载软件实现主要的控制、监控和维护功能，并且通过系统初步安全性分析过程为这些机载软件分配相应的IDAL等级。对于IDAL级别为A、B和C级的机载软件，RTCA/DO-178B要求除了满足基于需求的测试覆盖率分析外，还需要完成结构覆盖率分析，结构覆盖率分析用于确定基于需求的测试未覆盖到的代码结构，结构覆盖率分析目的的详细信息可参考RTCA/DO-248B FAQ#43。 　　R