单项选择题

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