a test suite is a way to stochastically reduce certain classes of risk

it doesn't assert, or imply, correctness in the sense that is used here