Klocwork在TigerSHARC编译环境下的使用  

Usage of Klockwork in TigerSHARC Complication Environment

作　　者：王妍 WANG Yan(The 723 Institute of CSIC,Yangzhou 225001,China)

机构地区：[1]中国船舶重工集团公司第七二三研究所,江苏扬州225001

出　　处：《舰船电子对抗》2017年第4期95-97,共3页Shipboard Electronic Countermeasure

摘　　要：TigerSHARC是一种在VisualDSP++平台开发的高效、高速的数字信号处理器。Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术。介绍了利用Klockwork软件在TigerSHARC编译环境下进行动态错误检查测试的方法。TigerSHARC is an efficient digital signal processor （DSP） with high-speed,and is devel- oped on the platform of VisualDSP＋ ＋. Klockwork software is a static analysis software developed based on the patent technology analysis engine, blends various static analysis techniques such as constructing learning technique, edit and translation technique, data flow analysis technique, symbol execution technique. This article introduces the method for dynamic error checking test by using Klockwork software under the TigerSHARC compilation environment.

关 键 词：TIGERSHARC VisualDSP++ Klockwork 动态错误检查 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]