An examination of the procedures used in a data processing system to evaluate their effectiveness and correctness, and to recommend improvements.