关于程序测试，下面说法正确的是（）。

A . 经过测试没有发现错误说明程序正确

B . 测试的目标是为了证明程序没有错误

C . 成功的测试是发现了迄今尚未发现的错误的测试

D . 成功的测试是没有发现错误的测试