满足标准的目标码验证方案.docVIP

满足DO-178B标准的目标码验证解决方案概述随着软件测试需求的增加，软件测试在不同的行业的之间交叉的趋势呈现出来；公司在寻找最实际的技术和标准时，也会关注除本行业外，相关行业的情况。例如在汽车和航空电子这两个行业，以前都基于DO-178B标准，随后也采用了MISRA的标准。 采用“行业外”的测试标准成为一种趋势并由此带来新的测试技术的引入。在这当中，以DO-178B标准的目标码验证要求为例。目标码验证是许多航空电子程序的一个关键测试要素，但是该技术并没有在行业以外的应用。然而，许多现代嵌入式控制应用软件的尖端和安全苛刻的提高意味着随着厂商采用DO-178B，目标码验证也成为其中的关键要素，这个关键要素已经就位并正在被注意。 目标码验证什么是目标码验证呢？DO-178B标准（6.4.4.2结构化语言覆盖率分析）相应部分描述的需求如下： “结构化语言的覆盖率分析可以在源代码级进行，但是如果A级软件并且编译器产生的目标代码不能直接追踪到源代码中的语句。那么，其他的验证要在目标代码中执行，这样来确定产生的代码序列的正确性。在目标码中检查编译器生成的数组的边界就是目标码不能直接追踪到源代码的一个例子。” 简而言之，目标码的验证关心的是编译器产生的目标码的控制流结构的多少与源代码不一致。这些不一致产生的原因有许多，如：编译器的解释、优化等。然而，传统的结构化语言的覆盖率技术使用的是源码级