软件测试是保证软件质量的重要手段，其首要任务是( )。

A．保证软件的正确性

B．改正软件存在的错误 ，

C．发现软件的潜在错误

D．实现程序正确性证明