A证明程序是正确的B改正程序中的所有错误C证明程序完成了相应的功能D尽可能多地发现程序中的错误