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

下面说法正确的是（）