选项
A.
未发现程序错误
B.
发现了程序错误
C.
证明了程序的正确性
D.
改正了程序的错误
正确答案：