1979年G1enford Myers出版的《the Art of Software Testing》一书除了介绍众多的测试经典方法之外，还向人们揭示了测试的目的是______。

A．证真，而非证伪

B．证伪，而非证真

C．证真，且证伪

D．验证程序的正确性

南园实业公司拖欠海达电脑公司货款7万元，海达电脑公司多次催付没有结果，遂向人民法院申请支付令。法院受理后经过审查，向南园实业公司发布了支付令，限期还款。支付令送达后，南园实业公司以书面形式提出原合同规定价格不合法，愿意付款 5.8万元，另1.2万元不应当承担。在这种情况下法院应如何处理

A．法院应当直接裁定终结督促程序

B．法院应进行必要的调查，如合同确定的价格合理，则支付令有效

C．法院应进行必要的调查，如合同确定的价格确实不合理，裁定驳回债权人的申请，支付令无效

D．法院应询问债权人的意见，如其同意债务人只付款5.8万元，可将支付令数额改为5.8万元