/* CPPtest_TEST_CASE_BEGIN test_reportSensorFailure */
/* CPPTEST_TEST_CASE_CONTEXT void reportSensorFailure（void） */
void sensor_tests_test_reportSensorFailure（）
{
/* Pre-condition initialization */
/* Initializing global variable messages */
{
messages = 0 ;
}
{
/* Tested function call */
reportSensorFailure（）;
/* Post-condition check */
CPPTEST_ASSERT（0 == （ messages ））;
}
}
/* CPPTEST_TEST_CASE_END test_reportSensorFailure */
作为最终的确认，我们需要独立地运行整个程序——在IDE中关闭掉运行时内存监测来对程序进行构建。结果显示一切如我们所预期一样运行。
总结
作为全文的结尾，让我们一起对上述各个步骤进行一个鸟瞰式的总结。
首先，我们开发的程序并未如我么所预期那样运行，我们不得不在两种解决方法中选择一种来查找程序中的错误：通过运行调试器或者使用自动错误检测技术。
如果我们使用调试器运行代码来查找错误，我们将会看到一些很奇怪的现象：程序中的一些变量总是被赋予了相同的值。基于这种现象我们不得不通过排除法来查找问题的原因——即在应该使用比较运算符的地方我们错误地使用了赋值运算符。而静态代码分析则能为我们自动地检查出该逻辑错误。运行时内存分析是不可能检查出这种错误的，因为这种错误与内存无关。数据流分析也很有可能找不到这类错误因为数据流分析仅仅是通过这些路径而不会验证这些条件的正确性。
当我们解决了这个问题后，程序可以运行了，但是仍然还有内存相关的问题。内存相关的问题是很难被调试器发现的；当用户使用调试器调试程序时，用户并不知道内存的实际大小。但是自动错误检查工具能够做到这点。因此，为了查找这些内存问题，我们将整个程序进行插装，并使用运行时内存分析工具来运行程序。这样我们就能知道到底是那一片内存发生了写溢出错误。
