Limitations of Testing
-
Difficult to estabilish that a program is free of non-terminating
loops
-
Even in a loopless program - while solving nonlinear equations
finding input that take the same path is difficult
-
It may not be possible to tell whether a result is correct
- Test Oracles (Eg:- Complex Non Linear Problem) - Result will be accepted
as long as it "looks reasonable"
-
Sometimes verification of a result is easier than it's
computation (Eg:- Hamiltonian Path Problem)