浅谈DO-178C中附加代码验证目标的实现

作     者：陈晓磊 程小贤 CHEN Xiao-lei;CHENG Xiao-xian

作者机构：航空工业西安航空计算技术研究所陕西西安710000 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2024年第54卷第1期

页      面：121-123,129页

学科分类：08[工学] 0825[工学-航空宇航科学与技术] 

基　　金：工信部民机专项项目资助(MJ-2016-S-42) 

主　　题：结构覆盖分析(SCA) 源代码(SC) 目标码(OC) 可执行目标码(EOC) 

摘      要：DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成。