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

• 作者: 刘建方 童岳威
• 来源期刊: 科技视界
• 关键词: 机载软件 源代码 目标代码 追溯性分析 结构覆盖率
• 年，卷（期）: 2016,（20）
• 所属期刊栏目: 本刊视点
• 页码范围: 3-4
• 页数: 2页
• 字数: 2723字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童岳威		4	1	1.0	1.0
2	刘建方		5	3	1.0	1.0