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