void reportSensorFailure（）
{
initialize（）;
printMessage（ERROR， 0）;
finalize（）;
}
当我们再次运行该测试用例时，仅有一个任务被报告出来：未经验证的单元测试用例（an unvalidated unit test case），这其实并不算一条错误。我们只需对输出进行一下验证，以将该测试用例转换为回归测试。通过创建合适的断言，C++test会自动为我们完成这些步骤。
接下来我们再次运行整个程序。覆盖率分析告诉我们几乎整个程序都已经被覆盖到了，并且没有发现任何内存错误。
这样就结束了吗？其实不然。虽然我们运行了整个程序并为未覆盖到的函数创建了单元测试用例，但还是有一些路径是没有被覆盖到的。我们仍然可以继续创建单元测试用例，但是若指望通过这样的方法来覆盖程序中的所有路径将耗费相当长的时间。或者我们使用另外的方法，使用数据流分析来对这些路径进行模拟。
数据流分析
我们使用C++test的BugDetective来进行数据流分析，BugDetective能模拟系统中的不同路径并检查这些路径中是否存在潜在的问题。进行数据流分析后，我们得到如下结果：
仔细分析报告的结果，我们发现程序中存在一条未被覆盖到的潜在路径可能会造成在finalize（）函数中出现两次free的操作。在程序中，reportSensorValue（）函数调用了finalize（）函数，然后finalize（）函数调用了free（）。同时，finalize（）函数还会被mainLoop（）函数调用。我们可以修改finalize（）函数以使其更加智能化，从而修复这个问题，修改后的代码如下：
void finalize（）
{
if （messages） {
free（messages［0］）;
free（messages［1］）;
free（messages［2］）;
free（messages）;
messages = 0;