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.
|