目标码覆盖率分析在PPC目标环境中的应用  

作　　者：叶祥明[1] 刘伟[1] 

机构地区：[1]中国船舶重工集团公司第七一〇研究所

出　　处：《电子世界》2013年第18期207-207,共1页Electronics World

摘　　要：提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的代码进行验证,本文介绍了VerOCode软件在PPC目标环境中目标码覆盖率的分析验证。

关 键 词：DO-178B 目标码覆盖 VerOCode 

分 类 号：TP368.1[自动化与计算机技术—计算机系统结构]