单项选择题

A.证明软件是正确的
B.发现错误、降低错误带来的风险
C.排除软件中所有的错误
D.与软件调试相同