单项选择题

A.表明程序没有错误
B.发现所有错误
C.发现尚未发现的错误
D.提高软件可靠性