Confidence
Dijkstra observed a long time ago that testing cannot show that a program is correct, testing can only show that a program is incorrect
This is accurate, but largely immaterial
- The objective is to build confidence, even in safety-critical applications
- A more important question is, “Can testing be made more rigorous?”