单项选择题

A.证明程序正确
B.找出程序全部错误
C.尽量不发现程序错误
D.发现程序的错误