下面关于软件测试定义的描述正确的有（）。
软件测试是为了发现错误而执行程序的过程
测试是为了证明程序有错，而不是证明程序没有错误
一个好的测试用例在于它能发现至今未发现的错误
一个成功的测试是发现了至今未发现的错误