下面说法正确的是()A成功的测试是没有发现错误的测试B成功的测试是发现了迄今尚未发现的错误的测试C测试的目标是为了证明程序没有错误D经过测试没有发现错误说明程序正确