问题
单项选择题
测试的目的是（），而不是对正确性进行形式化证明。
A、要暴露程序中的bug
B、要纠正程序中的错误
C、要暴露程序中的错误
D、要纠正程序中的bug
答案
参考答案：C
搜题请搜索小程序“爱下问搜题”
测试的目的是（），而不是对正确性进行形式化证明。
A、要暴露程序中的bug
B、要纠正程序中的错误
C、要暴露程序中的错误
D、要纠正程序中的bug
参考答案：C