如果通过软件测试没有发现错误,则说明软件是正确的。
出自:02333《软件工程》