下列对于软件测试的描述正确的是（ ）。

A、软件测试的主要目的是发现程序中的错误

B、软件测试的目的是证明程序是否正确

C、软件测试的目的是使程序运行结果正确

D、软件测试是证明软件中没有错误