July 2009
Intermediate to advanced
544 pages
11h 24m
English
Observation alone is not enough for debugging. One must compare the observed facts with the expected program behavior. In this chapter, we discuss how to automate such comparisons, using well-known assertion techniques. We also show how to ensure the sanity of important system components such as memory.
Observing what is going on in a program can be a burden for a programmer. First, there are many states and events that can and must be observed. Second, for each new run (or each new defect) the same items must be observed again. The burden is not so much the observation itself but the act of judging whether the observed state is sane or not—which of course multiplies with the amount ...
Read now
Unlock full access