)软件测试是软件质量 保证的重要手段，以下不属于测试阶段任务的是

A． 预防软件发生错误

B． 发现并改正程序错误

C． 提供软件错误诊断信息

D． 证明程序的正确性