A成功的测试是指发现程序的所有错误B测试不能证明程序是正确的C测试不能证明程序中没有错误D测试是为了发现程序中的错误