单项选择题

A.证明软件中没有错误
B.改正软件中的错误
C.发现软件中的错误
D.优化程序结构