单项选择题

A.要证明程序无错
B.发现软件的错误
C.找出编码错误
D.找出数据错误