成功的测试是指运行测试用例后（）。

A.未发现程序错误

B.发现了程序错误

C.证明程序正确性

D.如何采用综合策略

正确答案：发现了程序错误