通过逐步跟踪程序的执行步骤，并记录每个变量，便可监视程序的状态。程序状态是在程序的执行过程中，某给定点上所有变量值的集合。它是计算机当前状态的一个快照。
我们刚刚讨论了一种跟踪程序状态的方法：自己模拟计算逐步执行程序，但是，如果程序中有10000次循环，这种方法恐怕行不通。不过，你可以跟踪一小部分循环，看看程序是否按照预期的方式执行。另外，还要考虑一种情况:你很可能按照自己所想去执行程序，而不是根据实际写出来的代码去执行。因此，要尽量忠实于代码来模拟。
定义语义错误的另一种方法是：在程序中的关键点插入额外的printf()语句，以监视指定变量值的变化。通过查看值的变化可以了解程序的执行情况。对程序的执行满意后，便可删除额外的printf()语句，然后重新编译。
