单项选择题

A.发现程序错误
B.证明程序无错
C.改进程序质量
D.预防程序缺陷