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

题库:计算机程序设计 类型:最佳选择题 时间:2017-06-23 23:42:04 免费下载:《计算机程序设计综合练习》Word试卷

测试的目的是（），而不是对正确性进行形式化证明。
A.要暴露程序中的bug
B.要纠正程序中的错误
C.要暴露程序中的错误
D.要纠正程序中的bug

本题关键词:纠正偏差过程,错误说明,程序,投标可更正错误,千金要方·自序,程序化决策,程序性文件,程序性审查,暴露评价,控制测试程序;