期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Klocwork在TigerSHARC编译环境下的使用
1
作者
王妍
《舰船电子对抗》
2017年第4期95-97,共3页
TigerSHARC是一种在VisualDSP++平台开发的高效、高速的数字信号处理器。Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术。介绍了利用Kloc...
TigerSHARC是一种在VisualDSP++平台开发的高效、高速的数字信号处理器。Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术。介绍了利用Klockwork软件在TigerSHARC编译环境下进行动态错误检查测试的方法。
展开更多
关键词
TIGERSHARC
VisualDSP++
klockwork
动态错误检查
在线阅读
下载PDF
职称材料
题名
Klocwork在TigerSHARC编译环境下的使用
1
作者
王妍
机构
中国船舶重工集团公司第七二三研究所
出处
《舰船电子对抗》
2017年第4期95-97,共3页
文摘
TigerSHARC是一种在VisualDSP++平台开发的高效、高速的数字信号处理器。Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术。介绍了利用Klockwork软件在TigerSHARC编译环境下进行动态错误检查测试的方法。
关键词
TIGERSHARC
VisualDSP++
klockwork
动态错误检查
Keywords
TigerSHARC
VisualDSP++
~
klockwork
dynamic error checking
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Klocwork在TigerSHARC编译环境下的使用
王妍
《舰船电子对抗》
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部