A.為了發(fā)現(xiàn)程序中的錯(cuò)誤而執(zhí)行程序的過程 B.為了表明程序是正確的 C.成功的測試是沒有發(fā)現(xiàn)錯(cuò)誤的測試 D.證明程序中沒有錯(cuò)誤