测试的基本目的不是证明程序的正确性，而是查找是否存在错误，因此正确答案是B。