As Erik usually says, testing does not prove the absence of bugs, just the absence of known bugs.


I think it is worse. Testing can only prove the presence of bugs, not the absence...

If there, indeed is a diffrence, please elaborate.

Testing will, indeed, show some bugs and glory be for that, the issue is to design in such a way that onlu "clerical errors" will happen, since testing will catch those.

Erik

clerical error: e.g. using the wrong register