试题题干
人们在实践中认识到，“
”检验方法只能证明程序有错 ，而不能保证程序的正确性。
参考答案
试题解析
一个人写程序，每一个程序员只了解自己这一部分，无法全面地预测自己的任何改动对其他部分的影响，而项目负责人也不可能深入每一个细节中去，只能采用所谓“黑箱”检验方法，即输入一些信息，观察是否能得出预期输出来判断。这种检验只能证明程序有错而不能证明程序没错。
人们在实践中认识到，“”检验方法只能证明程序有错 ，而不能保证程序的正确性。
一个人写程序，每一个程序员只了解自己这一部分，无法全面地预测自己的任何改动对其他部分的影响，而项目负责人也不可能深入每一个细节中去，只能采用所谓“黑箱”检验方法，即输入一些信息，观察是否能得出预期输出来判断。这种检验只能证明程序有错而不能证明程序没错。