软件测试的目的是（59） ，通常可分为白盒测试和黑盒测试。白盒测试根据程序的（60）来设计测试用例，黑盒测试根据软件规格说明来设计测试用例。

A．尽可能多地发现程序中的错误

B．改正程序中的所有错误

C．证明程序是正确的

D．证明程序完成了应完成的功能