测试的目的是（），而不是对正确性进行形式化证明。

A、要暴露程序中的bug

B、要纠正程序中的错误

C、要暴露程序中的错误

D、要纠正程序中的bug