测试能够发现程序中的错误，但不能发现程序中的全部错误，不能证明程序无错。