
263
Chapter 9
Let’s Get It Correct
It is much easier to be critical than to be correct.
BENJAMIN DISRAELI
OBJECTIVES
• To know that many, if not most, of so-called computer errors are
really human errors, generally data entry errors
• To know that correctness is impossible without a specification defin-
ing what correctness means
• To be able to explain the difference between verification and valida-
tion, and the reasons that each is important
• To realize that it is possible to prove the correctness of some software,
but that such proofs are only used in rare occasions due to their cost
and complexity
• To know the limitations of software testing ...