A.

证明了被测试程序正确无误

B.

说明了被测试程序符合相应的要求

C.

未发现被测程序的错误

D.

发现了至今为止尚未发现的错误