如果通过软件测试没有发现错误，则说明软件是正确的。