对于程序测试，下列说法正确的是
A: 程序测试只能说明程序有错，不能说明该程序是没有错误的。
B: 程序测试中一般是通过穷举所有的输入以验证程序的正确性
C: 程序测试一般不需要特别的测试用例
D: 经过程序测试以后没有任何问题，就说明该程序是没有错误的。
A: 程序测试只能说明程序有错，不能说明该程序是没有错误的。
B: 程序测试中一般是通过穷举所有的输入以验证程序的正确性
C: 程序测试一般不需要特别的测试用例
D: 经过程序测试以后没有任何问题，就说明该程序是没有错误的。
