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

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