试题详情

（ ）软件测试能证明程序有错误但不能证明程序中已经没有错误。

测试只能查找出程序中的错误，不能证明程序中没有错误

软件测试的目的是（)。A．证明程序正确B．找出程序全部错误C．尽量不发现程序错误D．发现程序的错误

软件测试是为了证明程序是否正确。

软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（ ）。