单项选择题

A.没有发现错误
B.发现了错误
C.发现了迄今为止没有发现的错误
D.证明了信息系统的正确性