期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
适航认证中的目标码覆盖率分析工具VerOCode
被引量:
2
1
作者
任建国
《航空制造技术》
北大核心
2012年第22期102-104,共3页
在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标...
在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标码的额外验证工作"可以由目标码覆盖率分析来实现,即编译器在编译过程中在目标码中添加了额外的代码,可以通过目标码覆盖率分析发现这部分代码,并且可以建立源代码与目标代码之间的关系.
展开更多
关键词
适航认证
目标码
verocode
覆盖率分析
编译器
编译程序
下载PDF
职称材料
目标码覆盖率分析在PPC目标环境中的应用
2
作者
叶祥明
刘伟
《电子世界》
2013年第18期207-207,共1页
提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的代码进行验证,本文介绍了VerOCode软件在PPC目标环境中目标码覆盖率的分析验证。
关键词
DO-178B
目标码覆盖
verocode
下载PDF
职称材料
题名
适航认证中的目标码覆盖率分析工具VerOCode
被引量:
2
1
作者
任建国
机构
北京旋极信息技术股份有限公司
出处
《航空制造技术》
北大核心
2012年第22期102-104,共3页
文摘
在DO-178B 6.4.4.2中要求:"覆盖率分析可以在源代码上开展,对于A级软件并且编译器产生的目标代码不能直接追踪到源代码的语句,那么需要对目标码进行额外的验证工作以确保产生的代码序列是正确的." 这里提到的"基于目标码的额外验证工作"可以由目标码覆盖率分析来实现,即编译器在编译过程中在目标码中添加了额外的代码,可以通过目标码覆盖率分析发现这部分代码,并且可以建立源代码与目标代码之间的关系.
关键词
适航认证
目标码
verocode
覆盖率分析
编译器
编译程序
分类号
V221.91 [航空宇航科学与技术—飞行器设计]
下载PDF
职称材料
题名
目标码覆盖率分析在PPC目标环境中的应用
2
作者
叶祥明
刘伟
机构
中国船舶重工集团公司第七一〇研究所
出处
《电子世界》
2013年第18期207-207,共1页
文摘
提出了一种对编译器产生的目标代码覆盖率的分析方法。传统的结构化语言的覆盖技术使用的是源代码级的,无法对编译器产生的代码进行验证,本文介绍了VerOCode软件在PPC目标环境中目标码覆盖率的分析验证。
关键词
DO-178B
目标码覆盖
verocode
分类号
TP368.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
适航认证中的目标码覆盖率分析工具VerOCode
任建国
《航空制造技术》
北大核心
2012
2
下载PDF
职称材料
2
目标码覆盖率分析在PPC目标环境中的应用
叶祥明
刘伟
《电子世界》
2013
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部