人们在实践中认识到，“黑箱”检验方法只能证明程序   ，而不能保证程序的正确性。