软件测试只能发现错误，但不能保证测试后的软件没有错误。