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

作　　者：童岳威[1] 刘建方[1] 

机构地区：[1]上海飞机设计研究院,中国上海201210

出　　处：《科技视界》2016年第20期3-4,共2页Science & Technology Vision

摘　　要：机载软件在某些特定情况下应该分析源代码和目标代码之间的对应关系,RTCA/DO-178B第6.4.4.2节指出:机载软件结构覆盖率分析可以在源代码层级进行,如果软件为A级别并且编译过程中生成了无法追溯到源代码的目标代码,则应该在目标代码层级完成额外的验证工作以保证这些目标代码的正确性。因此,对于A级别软件,如果编译器生成了无法追溯到源代码的目标代码,那么除了完成源代码层级结构覆盖率分析,还应该完成源代码和目标代码之间的追溯性分析,并对不能追溯到源代码的目标代码进行额外的验证。本文研究了源代码到目标代码的追溯性分析方法。

关 键 词：机载软件 源代码 目标代码 追溯性分析 结构覆盖率 

分 类 号：TP314[自动化与计算机技术—计算机软件与理论]