这里没有软件测试的泛泛理论，只有博主的最佳实践。博主的研究方向为静态分析和性能测试，致力于各种测试工具的引入、评估和开发。本博的测试文章均为作者原创，转载请务必注明出处。

静态分析工具技术支持问题

上一篇 / 下一篇 2008-10-28 11:19:58 / 个人分类：静态分析

转载请保留：本文出自huior的51Testing软件测试博客：http://www.51testing.com/?10851

之所以没有具体到某个工具，是因为这三个问题是通用的，不论你用的是那一种工具。

问题一：如何解决不识别'@'的问题，看下图

一些单片机的编译器支持@符号，但标准C中却没有该符号，所以大多数静态分析工具都会认为是语法错误，怎么解决呢？

QAC中提供了一个宏来解决这个问题，只需要在macro中添加 tiny=_ignore_at 即可忽略掉它。没关系的，因为它本身对静态分析的结果不会有任何影响。

2 直接看图

请注意看提示信息，wchar_t的类型定义和配置的不一致。

解决的方法很简单，把配置的wchar_t的类型改成char即可。

具体操作是在project的compiler personalities中，选择datatype页面，找到wchar_t的类型定义，修改保存即可。

3 看图

很显然，这里只是和被测代码相关，不是工具使用的问题。
具体到这段代码，需要两个macro定义
TIM1_DIV=1
TIM2_DIV=2 或者 = 64，自己根据系统的情况来决定

没了，本来还想小结发几句牢骚，但兴致没了，干脆不发了。

呵呵，这里不是写报告，这里是我的地盘。