软件评审可以揭露软件中的缺陷然后加以改正。

如果测试数据满足条件覆盖，则必然满足判定覆盖。

判断题如果测试数据满足条件覆盖，则必然满足判定覆盖。

测试的主要目的是为了验证程序是正确的。

判断题测试的主要目的是为了验证程序是正确的。

软件测试只能证明程序有错误，不能证明程序没有错误。

判断题软件测试只能证明程序有错误，不能证明程序没有错误。