July 2009
Intermediate to advanced
544 pages
11h 24m
English
Although one program run can tell you quite a great deal, having multiple runs to compare offers several opportunities for locating commonalities and anomalies—anomalies that frequently help to locate defects. In this chapter, we discuss how to detect anomalies in code coverage and anomalies in data accesses. We also demonstrate how to infer invariants from multiple test runs automatically, in order to flag later invariant violations. All of these anomalies are good candidates for infection sites.
If we have a full specification of a program’s behavior, we can easily narrow down an infection (as discussed in Chapter 10). So why not simply use assertions all the way through? The ...
Read now
Unlock full access