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

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

C．证明程序是正确的

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