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

下载PDF

导出

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

作者叶祥明刘伟

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

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

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

参考文献3

1DO-178B,DO-178B software considerations in airborne systems and equipment certification[S].
2Verocel inc.VerOCode-software coverage tool[OL]. hup://www.verocel.com.
3文勇,蔡铭,陈刚,杨子江,金星.目标码流图和结构覆盖率获取方法[J].计算机工程与设计,2010,31(11):2568-2571. 被引量：1

1DO- 178B,DO- 178B software considerations in airbome systems and equipment certification[S].
2Intel Corp.Intel 64 and IA-32 architectures software developer's manual volume 1 :basic architecture[OL].http://www.intel. com/,2009.
3Intel Corp. Intel 64 and IA-32 architectures software developer's manual volume 2A: instruction set reference, A-M[OL]. http://www.intel.com/,2007.
4Intel Corp. Intel 64 and IA-32 architectures software developer's manual volume 2B: instruction set reference, N-Z [OL]. http://www.intel.com/,2008.
5Clair Bill St. The development of object code verification[OL]. http://www.ldra.com,2008.
6IBM Corp.TestRT DO-178B requires code coverage on the object code level[OL], http://www-01 .ibm.com, 2008.
7Verocel Inc.VerOCode-software coverage tool[OL].http://www. verocel.com,2008.
8IBM Corp. Rational test realtime user guide version 7.0 [OL]. http://www.ibm.com/,2008.

电子世界

2013年第18期

内容加载中请稍等...