Program correctness makes sense only within the context of its specifications.

• A program is correct if it meets its specifications in all cases.
  • Program halts for each valid input.
  • Answer produced when program halts is correct.
• A program is not correct if there is at least one case in which it does not meet its specifications.

There are two main approaches to determine the correctness of a program:

• Testing, and
• Program Verification

created 3 January 2007 last revised 7 January 2007

previous   next