以下各项中，不属于软件测试任务的是（）。

A．发现程序中的错误

B．提供错误的位置

C．提供错误的性质

D．证明程序中没有错误