情景简介
为了给出一个具体的示例，我们将就一个我们最近遇到的案例来介绍以及演示我们所推荐的缺陷查找策略：一个运行在ARM 板上的简单传感器应用程序。
假设我们已经创建了该应用系统，但是当我们将程序上载到系统目标板上并试图运行该程序时，我们没有在LCD屏上看到所预期的输出。
我们尚不明确系统不能正常工作的原因，因此我们设法对系统进行调试，但是在目标板上进行调试是一件耗时而且烦人的事。因为我们不得不手动分析调试器的结果并试图人工判断出问题的真正原因。或者我们使用一些被证实能自动定位出错误的工具或技术来帮助我们减轻负担。
从这一点而言，我们要么期待使用调试器来调试程序能够带来好运，要么我们尝试使用一种自动化的测试策略来查找代码中所存在的错误。如果自动化技术仍然没有帮助我们查找到错误，那么我们不得不回到使用调试器作为最后的办法。
基于模式的静态代码分析
这里，我们假设仅在绝对必要的情况下才使用调试器进行调试，因此我们从运行基于模式的静态代码分析开始。它将查找到如下图所示的问题：
这是违反了 MISRA 的一个规则，此违规说明该处的赋值运算符存在一些可疑情况。的确，编程者此处的本意是使用比较运算符而不是赋值运算符。因此我们将此处检测到的冲突修改掉，并重新运行程序。