“Testing can show the presence of errors, but not their absence.”