测试只能证明软件存在错误而不能证明软件没有错误