介绍一个单片机代码可用的静态测试工具——CppCheck

什么是静态测试

按照《系统分析师教程》里给出的定义，静态测试指被测程序不在机器上运行，而采用人工检测和计算机辅助静态分析的手段进行检测，其中静态测试包括对文档的静态测试和对代码的静态测试。正常流程下，静态测试包含桌面检查、代码审查和代码走查，由若干程序员和测试人员开个会，磕着瓜子聊着天把代码看一遍来检查存在的问题以及不合理的地方（系分考试差点挂在静态测试上。。）
然而作为小作坊里的单片机工程师，兼单片机、上位机、Linux、调电路板、出原理图、画PCB为一身的任务，不用出机械结构图就已经很庆幸了，所以不用考虑还有测试人员这么一说，代码和人有一个能跑就行。且由于单片机本身的测试工具比较欠缺，大部分情况下的测试都是下到板子上跑一下看通不通，不通打个断点反复DEBUG直到发现哪里写得不对或者确定是硬件问题后找硬件人员“亲切交流”一番。（正经软件测试分为白盒测试和黑盒测试，单片机软件测试还多一个“盲盒测试”，即你永远无法确定拿来调的板子是不是有问题的板子）。
正是因为如此，为了减少代码写成之后上板子反复DEBUG的时间，也为了减少和硬件人员“亲切交流”大半天发现是自己变量写错的尴尬，使用静态测试工具检查一下代码是很重要的过程。
在这里，推荐一个单片机工程师可用的静态测试工具——CppCheck。顾名思义，这个工具是用来检查C++代码的，作为（近乎是）C++的子集，C程序自然也可以用该工具进行检查测试。官网的介绍如下：

官网网址：CppCheck
在官网上下载最新版本的安装包后，安装（解压）进入其主界面：

在这里，以一些编译器难以检查出来的问题为例，例如数组越界错误：

int errorbuf[10];
for(int i=0;i<1000;i++)
{
	errorbuf[i] = 20;
}

这段代码在编译器看来是完全没问题的：

然而真正跑起来的话立马就会因为数组越界异常立马进入Hardfault_Handler。像这样的问题有的可能很明显一眼就能看出来，但有的就很隐晦无法容易看出来，这时可以使用CppCheck进行检查。
点击analyze->目录，打开代码所在目录
可以看到，数组越界的错误被检查工具发现了：

此外，它还会检查一些书写习惯或者可能产生潜在错误的问题：

甚至于分支判断是否能进去或者判断条件是否能省略：

在检查基本错误和风格问题之外，它还能导入MISRA-C（Motor Industry Software Reliability Association）规则进行检查

经过检查之后的代码可以减少很多风险和不必要的麻烦，因此强烈推荐各位有条件的试一试这个工具，没有条件的创造条件也要试一试它。