Static Verification: Program Inspections
Program reviews whose objective is to detect faults
? Code may be read or reviewed line by line.
? 150 to 250 lines of code in 2 hour meeting.
? Use checklist of common errors.
? Requires team commitment, e.g., trained leaders
So effective that it can replace unit testing