论文部分内容阅读
TigerSHARC是一种在VisualDSP＋＋平台开发的高效、高速的数字信号处理器。Klockwork软件是基于专利技术分析引擎开发的静态分析软件,其融合了多种静态分析技术包括构建学习技术、编译技术、数据流分析技术、符号执行技术。介绍了利用Klockwork软件在TigerSHARC编译环境下进行动态错误检查测试的方法。