单项选择题

A.证明所编程序的正确性
B.完善已编程序的功能
C.保证程序各模块之间的正确连接
D.尽可能多的发现已编程序中存在的错误