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

Discussion on Achievement of Additional Code Verification Objectives in DO-178C

作　　者：陈晓磊[1] 程小贤 CHEN Xiao-lei;CHENG Xiao-xian(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710000

出　　处：《航空计算技术》2024年第1期121-123,129,共4页Aeronautical Computing Technique

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

摘　　要：DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。DO-178C requires that the structural coverage analysis of requirement based testing can be conducted at source code,object code,or executable object code level.If structural coverage analysis is conducted at the source code level,then the analysis doesn't include the additional code,which is generated by the compiler or linker.According to DO-178C,Level A software should especially a concern the additional code,identify and verify it as same as normal code.Based on the DO-178C,DO-248C and CAST-12,this paper discusses how to satisfy objective 9 in DO-178C Table A-7"Verification of additional code,that cannot be traced to Source Code,is achieved",when the structural coverage analysis is based on the source code.

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

分 类 号：V247.1[航空宇航科学与技术—飞行器设计]