关于软件测试，下列说法正确的是（）

• A、软件测试是为了发现错误而执行程序的过程
• B、测试是为了证明程序有错，而不是证明程序无错
• C、一个好的测试用例是在于它能发现至今未发现的错误
• D、一个成功的测试是发现了程序中所有的错误