Discussion on Achievement of Additional Code Verification Objectives in DO-178C
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 doesnt include the additional code,which is genera-ted 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 addi-tional code,that cannot be traced to Source Code,is achieved",when the structural coverage analysis is based on the source code.
万方数据
维普
