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

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

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

选择评审方法最有效的标准是：对于最可能产生风险的工作成果，要采用最正式的评审方法。

判断题选择评审方法最有效的标准是：对于最可能产生风险的工作成果，要采用最正式的评审方法。

软件测试可以检测出软件产品中所有的bug。

判断题软件测试可以检测出软件产品中所有的bug。