【单选题】

提高测试的有效性非常重要，成功的测试是指（ ）。

A.证明了被测试程序的正确无误   
B.说明了被测试程序符合相应的需求
C.未发现被测试程序的错误       
D.发现了至今为止尚未发现的错误