[prev] [index] [next]

Testing (cont)

Testing alone cannot establish that a program is correct.

Why not?

To show that a program is correct, we need to show

  • for all possible inputs, it produces the correct output
Problem: even small programs have too many possible inputs.
  • we can only feasibly test a small subset of possible inputs

Testing increases our confidence that the program is ok.

Well-chosen tests significantly increase our confidence.