企源知识库

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