单项选择题

A.证明程序的正确性
B.发现错误和纠正错误
C.检查程序的可靠性
D.验证程序功能的完备性